Sfoglia per Autore  Gario, Marco Elio Gustavo

Opzioni
Mostrati risultati da 1 a 17 di 17
Titolo Data di pubblicazione Autore(i) File
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
Formal Specification and Synthesis of FDI through an Example 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 1-gen-2013 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
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 1-gen-2014 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto
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.
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.
SMT-based Validation of Timed Failure Propagation Graphs 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Micheli, Andrea
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
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 1-gen-2015 Gario, Marco Elio Gustavo; Micheli, Andrea
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
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
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
A Lazy Approach to Temporal Epistemic Logic Model Checking 1-gen-2016 Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
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
Diagnosability of fair transition systems 1-gen-2022 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória
Mostrati risultati da 1 a 17 di 17
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile