Tonetta, Stefano
Tonetta, Stefano
FM
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces
2025-01-01 Bombardelli, Alberto; Bozzelli, Laura; Sanchez, Cesar; Tonetta, Stefano
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 Specification-Driven Approach to Embedded FDIR Code Generation
2025-01-01 Bonafini, Federico; Cavada, Roberto; Cimatti, Alessandro; Gomez, Guillermo; Tonetta, Stefano
A Switching Event-Triggered Model Predictive Control for HVAC Systems
2024-01-01 Sharifzadeh, Mojtaba; Beirami, Hani; Bonafini, Federico; Campidelli, Matteo; Cavada, Roberto; Cimatti, Alessandro; Tonetta, Stefano
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins
2026-01-01 Cristoforetti, Luca; Flori, Alessandro; Fonda, Tommaso; Kapellos, Kostantinos; Micheli, Andrea; Tonetta, Stefano; Valentini, Alessandro
A Theorem Prover Based Approach for SAT-Based Model Checking Certification
2025-01-01 Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano
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
Another Look at LTL Modulo Theory over Finite and Infinite Traces
2024-01-01 Bombardelli, Alberto; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Asynchronous) Temporal Logics for Hyperproperties on Finite Traces | 1-gen-2025 | Bombardelli, Alberto; Bozzelli, Laura; Sanchez, Cesar; Tonetta, Stefano | |
| 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 Specification-Driven Approach to Embedded FDIR Code Generation | 1-gen-2025 | Bonafini, Federico; Cavada, Roberto; Cimatti, Alessandro; Gomez, Guillermo; Tonetta, Stefano | |
| A Switching Event-Triggered Model Predictive Control for HVAC Systems | 1-gen-2024 | Sharifzadeh, Mojtaba; Beirami, Hani; Bonafini, Federico; Campidelli, Matteo; Cavada, Roberto; Cimatti, Alessandro; Tonetta, Stefano | |
| A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins | 1-gen-2026 | Cristoforetti, Luca; Flori, Alessandro; Fonda, Tommaso; Kapellos, Kostantinos; Micheli, Andrea; Tonetta, Stefano; Valentini, Alessandro | |
| A Theorem Prover Based Approach for SAT-Based Model Checking Certification | 1-gen-2025 | Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano | |
| 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 | |
| Another Look at LTL Modulo Theory over Finite and Infinite Traces | 1-gen-2024 | Bombardelli, Alberto; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano | |
| 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 |