| 2025 | FASE | Reasoning about Substitutability at the Level of JVM Bytecode. | Marco Paganoni, Carlo A. Furia |
| 2025 | IFM | Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. | Lidia Losavio, Marco Paganoni, Carlo A. Furia |
| 2024 | FM | Automated Repair of Information Flow Security in Android Implicit Inter-App Communication. | Abhishek Tiwari, Jyoti Prakash, Zhen Dong, Carlo A. Furia |
| 2024 | ISoLA | Challenges of Multilingual Program Specification and Analysis. | Carlo A. Furia, Abhishek Tiwari |
| 2023 | FM | Verifying Functional Correctness Properties at the Level of Java Bytecode. | Marco Paganoni, Carlo A. Furia |
| 2023 | IFM | Reasoning About Exceptional Behavior at the Level of Java Bytecode. | Marco Paganoni, Carlo A. Furia |
| 2021 | ICSE | Bayesian Data Analysis for Software Engineering. | Richard Torkar, Carlo A. Furia, Robert Feldt |
| 2021 | MSR | How Java Programmers Test Exceptional Behavior. | Diego Marcilio, Carlo A. Furia |
| 2019 | SCAM | Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings. | Diego Marcilio, Carlo A. Furia, Rodrigo Bonifcio, Gustavo Pinto |
| 2018 | ATVA | Robustness Testing of Intermediate Verifiers. | Yuting Chen, Carlo A. Furia |
| 2017 | ICSE | What good is bayesian data analysis for software engineering? | Carlo A. Furia |
| 2017 | IFM | Triggerless Happy - Intermediate Verification with a First-Order Prover. | Yuting Chen, Carlo A. Furia |
| 2016 | IFM | Why Just Boogie? - Translating Between Intermediate Verification Languages. | Michael Ameri, Carlo A. Furia |
| 2015 | FM | A Fully Verified Container Library. | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia |
| 2015 | ICSE | Automated Program Repair in an Integrated Development Environment. | Yu Pei, Carlo A. Furia, Martn Nordio, Bertrand Meyer |
| 2015 | ICSE | A Comparative Study of Programming Languages in Rosetta Code. | Sebastian Nanz, Carlo A. Furia |
| 2015 | TACAS | AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova |
| 2014 | FASE | Automatic Program Repair by Fixing Contracts. | Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2014 | FM | Contracts in Practice. | H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer |
| 2014 | FM | Flexible Invariants through Semantic Collaboration. | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer |
| 2014 | ICGSE | Awareness and Merge Conflicts in Distributed Software Development. | H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer |
| 2014 | TIME | Bounded Variability of Metric Temporal Logic. | Carlo A. Furia, Paola Spoletini |
| 2013 | ECOOP | Really Automatic Scalable Object-Oriented Reengineering. | Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2013 | ESEM | An Empirical Study of API Usability. | Marco Piccioni, Carlo A. Furia, Bertrand Meyer |
| 2013 | ICGSE | Collaborative Debugging. | H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer |
| 2013 | ICSE | What good are strong specifications? | Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer |
| 2013 | SAC | The search for the laws of automatic random testing. | Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei |
| 2013 | RV | To Run What No One Has Run Before: Executing an Intermediate Verification Language. | Nadia Polikarpova, Carlo A. Furia, Scott West |
| 2012 | ATVA | A Verifier for Functional Properties of Sequence-Manipulating Programs. | Carlo A. Furia |
| 2012 | ICGSE | Agile vs. Structured Distributed Software Development: A Case Study. | H.-Christian Estler, Martn Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider |
| 2012 | TIME | Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. | Carlo A. Furia, Paola Spoletini |
| 2011 | ICSE | Inferring better contracts. | Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer |
| 2011 | SEFM | Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2011 | TIME | On Relaxing Metric Information in Linear Temporal Logic. | Carlo A. Furia, Paola Spoletini |
| 2010 | ATVA | What's Decidable about Sequences? | Carlo A. Furia |
| 2010 | ICECCS | Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. | Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
| 2010 | ICECCS | A Tile-Based Approach for Self-Assembling Service Compositions. | Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella |
| 2010 | ISSTA | Automated fixing of programs with contracts. | Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller |
| 2009 | SEFM | Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | ATVA | Practical Efficient Modular Linear-Time Model-Checking. | Carlo A. Furia, Paola Spoletini |
| 2008 | FM | Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | ICFEM | Practical Automated Partial Verification of Multi-paradigm Real-Time Models. | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | ICTAC | Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. | Carlo A. Furia, Paola Spoletini |
| 2007 | ICSE | Modeling the Environment in Software-Intensive Systems. | Carlo A. Furia, Matteo Rossi, Dino Mandrioli |
| 2005 | FASE | Automated Compositional Proofs for Real-Time Systems. | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |