Marco Gario

According to our database, Marco Gario authored at least 19 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Diagnosability of fair transition systems.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová

Artif. Intell., 2022

2021

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

2020

Automated Reasoning in Temporal DL-Lite.

Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki

CoRR, 2020

Automated Reasoning in Temporal DL-Lite (Extended Abstract).

Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

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

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

Guided test case generation through AI enabled output space exploration.

Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

2017

Formal Verification of Train Control with Air Pressure Brakes.

Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Testbed for Model-based Verification of Cyber-physical Production Systems.

Christof J. Budnik, Sebastian Eckl, Marco Gario

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

A Formal Foundation of FDI Design via Temporal Epistemic Logic.

Marco Gario

PhD thesis, 2016

The xSAP Safety Analysis Platform.

Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration.

Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

A Lazy Approach to Temporal Epistemic Logic Model Checking.

Alessandro Cimatti, Marco Gario, Stefano Tonetta

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

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

Comparing Different Functional Allocations in Automated Air Traffic Control Design.

Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier

Proceedings of the Formal Methods in Computer-Aided Design, 2015

SMT-Based Validation of Timed Failure Propagation Graphs.

Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic.

Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Towards Pareto-optimal parameter synthesis for monotonic cost functions.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

A Formal Framework for the Specification, Verification and Synthesis of Diagnosers.

Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta

Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013