Marco Gario

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