Carlo A. Furia
Scholar

Carlo A. Furia

Google Scholar ID: pqbv1BAAAAAJ
Software Institute - USI Università della Svizzera italiana
Computer ScienceFormal MethodsSoftware EngineeringVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,826
 
H-index
21
 
i10-index
40
 
Publications
20
 
Co-authors
94
list available
Contact
No contact links provided.
Publications
5 items
Petrify: Petri-net Based Analysis of Concurrency Properties in Java Bytecode
2026
Cited
0
Practical Range Refinement Types with Inference
2026
Cited
0
Towards Improving the External Validity of Software Engineering Experiments with Transportability Methods
2026
Cited
0
Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
2025
Cited
0
Mitigating Omitted Variable Bias in Empirical Software Engineering
2025
Cited
0
Resume (English only)
Co-authors
94 total
Bertrand Meyer
Bertrand Meyer
Professor of Software Engineering, Constructor Institute of Technology
Co-author 2
Co-author 2
Matteo G. Rossi
Matteo G. Rossi
Associate Professor, Politecnico di Milano
Co-author 4
Co-author 4
Nadia Polikarpova
Nadia Polikarpova
UCSD
Co-author 6
Co-author 6
Andreas Zeller
Andreas Zeller
Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
Richard Torkar
Richard Torkar
Prof., Chalmers and University of Gothenburg, Sweden