Scholar
Carlo A. Furia
Google Scholar ID: pqbv1BAAAAAJ
Software Institute - USI Università della Svizzera italiana
Computer Science
Formal Methods
Software Engineering
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,826
H-index
21
i10-index
40
Publications
20
Co-authors
94
list available
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
Co-authors
12 total
Bertrand Meyer
Professor of Software Engineering, Constructor Institute of Technology
Matteo G. Rossi
Associate Professor, Politecnico di Milano
Nadia Polikarpova
UCSD
Andreas Zeller
Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
Richard Torkar
Prof., Chalmers and University of Gothenburg, Sweden
Robert Feldt
Professor of Software Engineering, Chalmers University of Technology
Paola Spoletini
Kennesaw State University
Juan Pablo Galeotti
Universidad de Buenos Aires
