Marco Gario

ORCID

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 15

Top Venues

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová
Diagnosability of fair transition systems. Artif. Intell. 309 (2022)
Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei
Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Aspects Comput. 33 (2) (2021)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
Automated Reasoning in Temporal DL-Lite (Extended Abstract). Description Logics (2020)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
Automated Reasoning in Temporal DL-Lite. CoRR (2020)
Daniel Ratiu, Marco Gario, Hannes Schoenhaar
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. FormaliSE@ICSE (2019)
Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang
Guided test case generation through AI enabled output space exploration. AST@ICSE (2018)
Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
Formal Verification of Train Control with Air Pressure Brakes. RSSRail (2017)
Christof J. Budnik, Sebastian Eckl, Marco Gario
Testbed for Model-based Verification of Cyber-physical Production Systems. ARCH@CPSWeek (2017)
Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) (2016)
Alessandro Cimatti, Marco Gario, Stefano Tonetta
A Lazy Approach to Temporal Epistemic Logic Model Checking. AAMAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. CoRR (2015)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Log. Methods Comput. Sci. 11 (4) (2015)
Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier
Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD (2015)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli
SMT-Based Validation of Timed Failure Propagation Graphs. AAAI (2015)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein
An Integrated Process for FDIR Design in Aerospace. IMBSA (2014)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD (2014)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS (2014)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) (2013)

Marco Gario.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Gario