IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 95
Titolo Data di pubblicazione Autore(i) File
Model-Based Codesign of Critical Embedded Systems 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
A Model Checker for AADL 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer
Design and Safety Assessment of Critical Systems 1-gen-2010 Bozzano, Marco; Villafiorita Monteleone, Adolfo
COMPASS Tool 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto
Formal Verification and Validation of AADL Model 1-gen-2010 Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 1-gen-2010 Oleg, Lisagor; Bozzano, Marco; Matthias, Bretschneider; Tim, Kelly
Safety, Dependability and Performance Analysis of Extended AADL Models 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
Model Checking and Safety Assessment of Altarica models 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Symbolic Synthesis of Observability Requirements for Diagnosability 1-gen-2011 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
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
Symbolic Synthesis of Observability Requirements for Diagnosability 1-gen-2012 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Formal Specification and Synthesis of FDI through an Example 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Automated Analysis of Reliability Architectures 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 1-gen-2013 R., Banach; Bozzano, Marco
Efficient Analysis of Reliability Architectures via Predicate Abstraction 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
Safety Critical Systems 1-gen-2013 Bozzano, Marco; Villafiorita Monteleone, Adolfo
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 1-gen-2013 R., Banach; Bozzano, Marco
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
Mostrati risultati da 41 a 60 di 95
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