Sfoglia per Autore
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach
2014-01-01 Laura, Baracchi; Cimatti, Alessandro; Gerald, Garcia; Silvia, Mazzini; Stefano, Puri; Tonetta, Stefano
Quantifier-free encoding of invariants for hybrid systems
2014-01-01 Cimatti, Alessandro; Mover, Sergio; 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 Safety Assessment via Contract-Based Design.
2014-01-01 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
Verifying LTL Properties of Hybrid Systems with K-Liveness
2014-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
The nuXmv Symbolic Model Checker
2014-01-01 Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Contracts-refinement proof system for component-based embedded systems
2015-01-01 Cimatti, Alessandro; Tonetta, Stefano
Combining MILS with Contract-Based Design for Safety and Security Requirements
2015-01-01 Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano
HRELTL: A temporal logic for hybrid systems
2015-01-01 Cimatti, Alessandro; Roveri, Marco; 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
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
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 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
Safely Using the AUTOSAR End-to-End Protection Library
2015-01-01 Arts, Thomas; Tonetta, Stefano
Infinite-state invariant checking with IC3 and predicate abstraction
2016-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Model-Based Design of an Energy-System Embedded Controller Using Taste
2016-01-01 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
Tightening a Contract Refinement
2016-01-01 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
IC3 Modulo Theories via Implicit Predicate Abstraction | 1-gen-2014 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach | 1-gen-2014 | Laura, Baracchi; Cimatti, Alessandro; Gerald, Garcia; Silvia, Mazzini; Stefano, Puri; Tonetta, Stefano | |
Quantifier-free encoding of invariants for hybrid systems | 1-gen-2014 | Cimatti, Alessandro; Mover, Sergio; 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 Safety Assessment via Contract-Based Design. | 1-gen-2014 | Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano | |
Verifying LTL Properties of Hybrid Systems with K-Liveness | 1-gen-2014 | 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 | |
The nuXmv Symbolic Model Checker | 1-gen-2014 | Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
Contracts-refinement proof system for component-based embedded systems | 1-gen-2015 | Cimatti, Alessandro; Tonetta, Stefano | |
Combining MILS with Contract-Based Design for Safety and Security Requirements | 1-gen-2015 | Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano | |
HRELTL: A temporal logic for hybrid systems | 1-gen-2015 | Cimatti, Alessandro; Roveri, Marco; 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 | |
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 | |
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 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 | |
Safely Using the AUTOSAR End-to-End Protection Library | 1-gen-2015 | Arts, Thomas; Tonetta, Stefano | |
Infinite-state invariant checking with IC3 and predicate abstraction | 1-gen-2016 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Model-Based Design of an Energy-System Embedded Controller Using Taste | 1-gen-2016 | Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano | |
Tightening a Contract Refinement | 1-gen-2016 | Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano |
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