Tonetta, Stefano

Tonetta, Stefano  

Mostra records
Risultati 1 - 20 di 103 (tempo di esecuzione: 0.022 secondi).
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 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 Stefano Tonetta; 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 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
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta
Catalogue of System and Software Properties 1-gen-2016 Victor, Bos; Harold, Bruintjes; Tonetta, Stefano
Certifying Proofs for LTL Model Checking 1-gen-2018 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Certifying proofs for SAT-based model checking 1-gen-2021 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Combining MILS with Contract-Based Design for Safety and Security Requirements 1-gen-2015 Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano