Tonetta, Stefano
Tonetta, Stefano
FM
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference
2022-01-01 Artikis, Alexander; Posenato, Roberto; Tonetta, Stefano
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems
2020-01-01 Gorm Larsen, Peter; Daniel Macedo, Hugo; Fitzgerald, John S.; Pfeifer, Holger; Benedikt, Martin; Tonetta, Stefano; Marguglio, Angelo; Gusmeroli, Sergio; Jr., George Suciu
A comprehensive framework for the analysis of automotive systems
2022-01-01 Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano
A first-order logic characterisation of safety and co-safety languages
2022-01-01 Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A first-order logic characterization of safety and co-safety languages
2023-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Lazy Approach to Temporal Epistemic Logic Model Checking
2016-01-01 Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Property-Based Proof System for Contract-Based Design
2012-01-01 Cimatti, Alessandro; Tonetta, Stefano
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
2021-01-01 Luis de la Vara, Jose; Bauer, Thomas; Fischer, Bernhard; Karaca, Mustafa; Madeira, Henrique; Matschnig, Martin; Mazzini, Silvia; Spilere Nandi, Giann; Patrone, Fabio; Pereira, David; Proenca, Jose'; Schlick, Rupert; Tonetta, Stefano; Yayan, Ugur; Sangchoolie, Behrooz
A Uniform Framework for Predicate Abstraction Approximation
2006-01-01 Tonetta, Stefano; Natasha, Sharygina
Abstract Model Checking without Computing the Abstraction
2009-01-01 Tonetta, Stefano
An abstraction refinement approach combining precise and approximated techniques
2012-01-01 N., Sharygina; Tonetta, Stefano; A., Tsitovich
Assumption-based Runtime Verification
2022-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-Based Runtime Verification of Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumptions and Guarantees for Composable Models in Papyrus for Robotics
2021-01-01 Martinez, Jabier; Ruiz, Alejandra; Radermacher, Ansgar; Tonetta, Stefano
Asynchronous Composition of Local Interface LTL Properties
2022-01-01 Bombardelli, Alberto; Tonetta, Stefano
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
2023-01-01 Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Catalogue of System and Software Properties
2016-01-01 Victor, Bos; Harold, Bruintjes; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference | 1-gen-2022 | Artikis, Alexander; Posenato, Roberto; Tonetta, Stefano | |
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems | 1-gen-2020 | Gorm Larsen, Peter; Daniel Macedo, Hugo; Fitzgerald, John S.; Pfeifer, Holger; Benedikt, Martin; Tonetta, Stefano; Marguglio, Angelo; Gusmeroli, Sergio; Jr., George Suciu | |
A comprehensive framework for the analysis of automotive systems | 1-gen-2022 | Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano | |
A first-order logic characterisation of safety and co-safety languages | 1-gen-2022 | Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
A first-order logic characterization of safety and co-safety languages | 1-gen-2023 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; 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 | |
A Lazy Approach to Temporal Epistemic Logic Model Checking | 1-gen-2016 | Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
A Property-Based Proof System for Contract-Based Design | 1-gen-2012 | Cimatti, Alessandro; Tonetta, Stefano | |
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems | 1-gen-2021 | Luis de la Vara, Jose; Bauer, Thomas; Fischer, Bernhard; Karaca, Mustafa; Madeira, Henrique; Matschnig, Martin; Mazzini, Silvia; Spilere Nandi, Giann; Patrone, Fabio; Pereira, David; Proenca, Jose'; Schlick, Rupert; Tonetta, Stefano; Yayan, Ugur; Sangchoolie, Behrooz | |
A Uniform Framework for Predicate Abstraction Approximation | 1-gen-2006 | Tonetta, Stefano; Natasha, Sharygina | |
Abstract Model Checking without Computing the Abstraction | 1-gen-2009 | Tonetta, Stefano | |
An abstraction refinement approach combining precise and approximated techniques | 1-gen-2012 | N., Sharygina; Tonetta, Stefano; A., Tsitovich | |
Assumption-based Runtime Verification | 1-gen-2022 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
Assumption-Based Runtime Verification of Infinite-State Systems | 1-gen-2021 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
Assumption-based Runtime Verification with Partial Observability and Resets | 1-gen-2019 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
Assumptions and Guarantees for Composable Models in Papyrus for Robotics | 1-gen-2021 | Martinez, Jabier; Ruiz, Alejandra; Radermacher, Ansgar; Tonetta, Stefano | |
Asynchronous Composition of Local Interface LTL Properties | 1-gen-2022 | Bombardelli, Alberto; Tonetta, Stefano | |
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems | 1-gen-2023 | Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano | |
Boolean Abstraction for Temporal Logic Satisfiability | 1-gen-2007 | Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano | |
Catalogue of System and Software Properties | 1-gen-2016 | Victor, Bos; Harold, Bruintjes; Tonetta, Stefano |