Gario, Marco Elio Gustavo
Gario, Marco Elio Gustavo
ES
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Lazy Approach to Temporal Epistemic Logic Model Checking
2016-01-01 Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
An Integrated Process for FDIR Design in Aerospace
2014-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y.
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
2012-01-01 Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia
Comparing Different Functional Allocations in Automated Air Traffic Control Design
2015-01-01 Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Rozier, Kristin Yvonne
Diagnosability of fair transition systems
2022-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória
FAME Process: A Dedicated Development and V&V Process for FDIR
2014-01-01 Guiotto, A.; De Ferluc, R.; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Yushtein, Y.
FAME: A Model-Based Environment for FDIR Design in Aerospace
2014-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y.
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
2014-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Formal Specification and Synthesis of FDI through an Example
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
2016-01-01 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Model-based Safety Assessment of a Triple Modular Generator with XSAP
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
2015-01-01 Gario, Marco Elio Gustavo; Micheli, Andrea
SMT-based Validation of Timed Failure Propagation Graphs
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Micheli, Andrea
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions
2014-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
A Lazy Approach to Temporal Epistemic Logic Model Checking | 1-gen-2016 | Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
An Integrated Process for FDIR Design in Aerospace | 1-gen-2014 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y. | |
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) | 1-gen-2012 | Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia | |
Comparing Different Functional Allocations in Automated Air Traffic Control Design | 1-gen-2015 | Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Rozier, Kristin Yvonne | |
Diagnosability of fair transition systems | 1-gen-2022 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória | |
FAME Process: A Dedicated Development and V&V Process for FDIR | 1-gen-2014 | Guiotto, A.; De Ferluc, R.; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Yushtein, Y. | |
FAME: A Model-Based Environment for FDIR Design in Aerospace | 1-gen-2014 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y. | |
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic | 1-gen-2014 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
Formal Specification and Synthesis of FDI through an Example | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration | 1-gen-2016 | Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne | |
Model-based Safety Assessment of a Triple Modular Generator with XSAP | 1-gen-2021 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian | |
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms | 1-gen-2015 | Gario, Marco Elio Gustavo; Micheli, Andrea | |
SMT-based Validation of Timed Failure Propagation Graphs | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Micheli, Andrea | |
The xSAP Safety Analysis Platform | 1-gen-2016 | Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni | |
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions | 1-gen-2014 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto |