Tonetta, Stefano

Tonetta, Stefano  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
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 Property-Based Proof System for Contract-Based Design 1-gen-2012 Cimatti, Alessandro; Tonetta, Stefano
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
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
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
Combining MILS with Contract-Based Design for Safety and Security Requirements 1-gen-2015 Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; 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
COMPASS 3.0 1-gen-2019 Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 1-gen-2017 Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 1-gen-2017 Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann
Contracts-refinement proof system for component-based embedded systems 1-gen-2015 A. Cimatti; S. Tonetta
Diagnosability of fair transition systems 1-gen-2022 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória