| 2019 | ICSE | FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. | Daniel Ratiu, Marco Gario, Hannes Schoenhaar |
| 2018 | ICSE | Guided test case generation through AI enabled output space exploration. | Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang |
| 2016 | CAV | Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. | Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
| 2015 | AAAI | SMT-Based Validation of Timed Failure Propagation Graphs. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli |
| 2015 | FMCAD | Comparing Different Functional Allocations in Automated Air Traffic Control Design. | Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier |
| 2014 | FMCAD | Towards Pareto-optimal parameter synthesis for monotonic cost functions. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio |
| 2014 | TACAS | Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |
| 2013 | AAAI | A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |