Marco Gario
Marco Gario
GitHub
Email verificata su github.com - Home page
Titolo
Citata da
Citata da
Anno
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
M Gario, A Micheli
SMT Workshop 2015, 2015
612015
The xsap safety analysis platform
B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
542016
An integrated process for FDIR design in aerospace
B Bittner, M Bozzano, A Cimatti, R De Ferluc, M Gario, A Guiotto, ...
International Symposium on Model-Based Safety and Assessmemt, 82-95, 2014
312014
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier
International Conference on Computer Aided Verification, 3-22, 2016
262016
SMT-based validation of timed failure propagation graphs
M Bozzano, A Cimatti, M Gario, A Micheli
Twenty-ninth AAAI Conference on Artificial Intelligence, 2015
162015
Comparing Different Functional Allocations in Automated Air Traffic Control Design
C Mattarei, A Cimatti, M Gario, S Tonetta, KY Rozier
FMCAD, 2015
152015
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
M Bozzano, A Cimatti, M Gario, S Tonetta
Tools and Algorithms for the Construction and Analysis of Systems - 20th …, 2014
142014
Towards Pareto-optimal parameter synthesis for monotonic cost functions
B Bittner, M Bozzano, A Cimatti, M Gario, A Griggio
Proceedings of the 14th Conference on Formal Methods in Computer-Aided …, 2014
112014
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
M Bozzano, A Cimatti, M Gario, S Tonetta
Logical Methods In Computer Science 11 (4), 2015
102015
Formal Verification of Train Control with Air Pressure Brakes
S Mitsch, M Gario, CJ Budnik, M Golm, A Platzer
International Conference on Reliability, Safety and Security of Railway …, 2017
92017
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
E Alaña, H Naranjo, Y Yushtein, M Bozzano, A Cimatti, M Gario, ...
DASIA 2012, 2012
62012
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV
D Ratiu, M Gario, H Schoenhaar
Proceedings of the 7th International Workshop on Formal Methods in Software …, 2019
42019
Formal Specification and Synthesis of FDI through an Example
M Bozzano, A Cimatti, M Gario, S Tonetta
Proceedings of the 24th International Workshop on Principles of Diagnosis, 2013
42013
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers.
M Bozzano, A Cimatti, M Gario, S Tonetta
AAAI (Late-Breaking Developments), 2013
42013
A Lazy Approach to Temporal Epistemic Logic Model Checking
A Cimatti, M Gario, S Tonetta
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
32016
Fame process: A dedicated development and V&V process for FDIR
A Guiotto, R De Ferluc, M Bozzano, A Cimatti, M Gario, Y Yushtein
Proc. DAta Systems In Aerospace, DASIA 2014, 2014
32014
Horn backdoor detection via vertex cover: benchmark description
M Gario
SAT CHALLENGE 2012, 77, 2012
32012
A Formal Foundation of FDI Design via Temporal Epistemic Logic.
M Gario
University of Trento, Italy, 2016
22016
Guided test case generation through AI enabled output space exploration
C Budnik, M Gario, G Markov, Z Wang
Proceedings of the 13th International Workshop on Automation of Software …, 2018
12018
Testbed for Model-based Verification of Cyber-physical Production Systems.
CJ Budnik, S Eckl, M Gario
ARCH@ CPSWeek, 92-99, 2017
12017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20