Sfoglia per Autore
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Model Checking and Safety Assessment of Altarica models
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Automated Analysis of Reliability Architectures
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
Efficient Analysis of Reliability Architectures via Predicate Abstraction
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
Formal Safety Assessment via Contract-Based Design.
2014-01-01 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
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
Efficient Anytime Techniques for Model-Based Safety Analysis
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian
Safety Assessment of AltaRica Models via Symbolic Model Checking
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; 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
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
Formal reliability analysis of redundant architectures
2019-01-01 Bozzano, M.; Cimatti, A.; Mattarei, C.
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Supporting Requirements Validation: The EuRailCheck Tool | 1-gen-2009 | Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano | |
| 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 | |
| Automated Analysis of Reliability Architectures | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian | |
| Efficient Analysis of Reliability Architectures via Predicate Abstraction | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian | |
| Formal Safety Assessment via Contract-Based Design. | 1-gen-2014 | Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano | |
| 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 | |
| Efficient Anytime Techniques for Model-Based Safety Analysis | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian | |
| Safety Assessment of AltaRica Models via Symbolic Model Checking | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; 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 | |
| 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 | |
| Formal reliability analysis of redundant architectures | 1-gen-2019 | Bozzano, M.; Cimatti, A.; Mattarei, C. | |
| 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 |
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