A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta (AAAI (Late-Breaking Developments), 2013)

Towards Pareto-optimal parameter synthesis for monotonic cost functions. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Marco Gario; Alberto Griggio (FMCAD, 2014)

An Integrated Process for FDIR Design in Aerospace. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Régis De Ferluc; Marco Gario; Andrea Guiotto; Yuri Yushtein (IMBSA, 2014)

Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta (TACAS, 2014)

SMT-Based Validation of Timed Failure Propagation Graphs. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Andrea Micheli (AAAI, 2015)

Comparing Different Functional Allocations in Automated Air Traffic Control Design. - Cristian Mattarei; Alessandro Cimatti; Marco Gario; Stefano Tonetta; Kristin Y. Rozier (FMCAD, 2015)

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta (Log. Methods Comput. Sci., 2015)

A Lazy Approach to Temporal Epistemic Logic Model Checking. - Alessandro Cimatti; Marco Gario; Stefano Tonetta (AAMAS, 2016)

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. - Marco Gario; Alessandro Cimatti; Cristian Mattarei; Stefano Tonetta; Kristin Yvonne Rozier (CAV (2), 2016)

The xSAP Safety Analysis Platform. - Benjamin Bittner; Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Marco Gario; Alberto Griggio; Cristian Mattarei; Andrea Micheli; Gianni Zampedri (TACAS, 2016)

A Formal Foundation of FDI Design via Temporal Epistemic Logic. - Marco Gario (2016)

Testbed for Model-based Verification of Cyber-physical Production Systems. - Christof J. Budnik; Sebastian Eckl; Marco Gario (ARCH@CPSWeek, 2017)

Formal Verification of Train Control with Air Pressure Brakes. - Stefan Mitsch; Marco Gario; Christof J. Budnik; Michael Golm; André Platzer (RSSRail, 2017)

Guided test case generation through AI enabled output space exploration. - Christof J. Budnik; Marco Gario; Georgi A. Markov; Zhu Wang 009 (AST@ICSE, 2018)

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 (FormaliSE@ICSE, 2019)

Automated Reasoning in Temporal DL-Lite (Extended Abstract). - Sabiha Tahrat; Germán Alejandro Braun; Alessandro Artale; Marco Gario; Ana Ozaki (Description Logics, 2020)

Automated Reasoning in Temporal DL-Lite. - Sabiha Tahrat; Germán Alejandro Braun; Alessandro Artale; Marco Gario; Ana Ozaki (CoRR, 2020)

Model-based Safety Assessment of a Triple Modular Generator with xSAP. - Marco Bozzano; Alessandro Cimatti; Marco Gario; David Jones; Cristian Mattarei (Formal Aspects Comput., 2021)

Diagnosability of fair transition systems. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta; Viktória Vozárová (Artif. Intell., 2022)