Sfoglia per Serie
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 and Safety Analysis of AIR6110 Wheel Brake System
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano
HYCOMP - an SMT-based model checker for hybrid systems
2015-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case
2014-01-01 Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano
Mining User Opinions to Support Requirement Engineering: An Empirical Study
2020-01-01 Dabrowski, Jacek; Letier, Emmanuel; Perini, Anna; Susi, Angelo
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows
2017-01-01 dos Santos, Daniel Ricardo; Ranise, Silvio
Safely Using the AUTOSAR End-to-End Protection Library
2015-01-01 Arts, Thomas; Tonetta, Stefano
Tightening a Contract Refinement
2016-01-01 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
TLSAssistant Goes FINSEC - A Security Platform Integration Extending Threat Intelligence Language
2021-01-01 Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro
Verification of Railway Interlocking - Compositional Approach with OCRA
2016-01-01 Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 and Safety Analysis of AIR6110 Wheel Brake System | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano | |
| HYCOMP - an SMT-based model checker for hybrid systems | 1-gen-2015 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
| Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case | 1-gen-2014 | Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano | |
| Mining User Opinions to Support Requirement Engineering: An Empirical Study | 1-gen-2020 | Dabrowski, Jacek; Letier, Emmanuel; Perini, Anna; Susi, Angelo | |
| On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows | 1-gen-2017 | dos Santos, Daniel Ricardo; Ranise, Silvio | |
| Safely Using the AUTOSAR End-to-End Protection Library | 1-gen-2015 | Arts, Thomas; Tonetta, Stefano | |
| Tightening a Contract Refinement | 1-gen-2016 | Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano | |
| TLSAssistant Goes FINSEC - A Security Platform Integration Extending Threat Intelligence Language | 1-gen-2021 | Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro | |
| Verification of Railway Interlocking - Compositional Approach with OCRA | 1-gen-2016 | Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano | |
| 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 |
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