Stefano Tonetta

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 67

Top Venues

CoRR

Formal Methods Syst. Des.

SAFECOMP

CAV (1)

Publications

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS (2024)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23 (2) (2024)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) (2024)
Alexander Artikis, Roberto Posenato, Stefano Tonetta
Temporal representation and reasoning in data-intensive systems. Inf. Syst. 122 (2024)
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
Unifying Asynchronous Logics for Hyperproperties. CoRR (2024)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19 (3) (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
GR(1) is equivalent to R(1). Inf. Process. Lett. 179 (2023)
Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni
Symbolic Model Checking of Relative Safety LTL Properties. iFM (2023)
Alberto Bombardelli, Stefano Tonetta
Asynchronous Composition of LTL Properties over Infinite and Finite Traces. CoRR (2023)
Alberto Bombardelli, Stefano Tonetta
Metric Temporal Logic with Resettable Skewed Clocks. DATE (2023)
Isabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. ICSRS (2023)
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W (2023)
Alberto Bombardelli, Stefano Tonetta
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks. NFM (2023)
Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. CoRR (2023)
Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta
Set-Based Invariants over Polynomial Systems. CILC (2023)
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) (2023)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-based Runtime Verification. Formal Methods Syst. Des. 60 (2) (2022)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová
Diagnosability of fair transition systems. Artif. Intell. 309 (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterisation of safety and co-safety languages. FoSSaCS (2022)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta
Verification modulo theories. Formal Methods Syst. Des. 60 (3) (2022)
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA (2022)
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
A comprehensive framework for the analysis of automotive systems. MoDELS (2022)
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
The VMT-LIB Language and Tools. SMT (2022)
Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. CoRR (2022)
Alberto Bombardelli, Stefano Tonetta
Asynchronous Composition of Local Interface LTL Properties. NFM (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Expressiveness of Extended Bounded Response LTL. GandALF (2021)
Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) (2021)
Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87 (2021)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM (2021)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-Based Runtime Verification of Infinite-State Systems. RV (2021)
Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC (2021)
Jabier Martinez, Alejandra Ruiz, Ansgar Radermacher, Stefano Tonetta
Assumptions and Guarantees for Composable Models in Papyrus for Robotics. RoSE@ICSE (2021)
Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta
Model-based Analysis Support for Dependable Complex Systems in CHESS. MODELSWARD (2021)
Alberto Griggio, Marco Roveri, Stefano Tonetta
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57 (2) (2021)
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
The VMT-LIB Language and Tools. CoRR (2021)
Jabier Martinez, Alejandra Ruiz, Ainara Garzo, Thierry Keller, Ansgar Radermacher, Stefano Tonetta
Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics. RoSE@ICSE (2021)
Felicien Ihirwe, Silvia Mazzini, Pierluigi Pierini, Alberto Debiasi, Stefano Tonetta
Model-based analysis support for dependable complex systems in CHESS. CoRR (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR (2020)
Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD (2020)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272 (2020)
Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová
Model-Based Safety Analysis of Mode Transitions. SAFECOMP (2020)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-Based Runtime Verification with Partial Observability and Resets. RV (2019)
Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. SAFECOMP (2019)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
NuRV: A nuXmv Extension for Runtime Verification. RV (2019)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) (2019)
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
COMPASS 3.0. TACAS (1) (2019)
Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52 (1) (2018)
Alessandro Cimatti, Ivan Stojic, Stefano Tonetta
Formal Specification and Verification of Dynamic Parametrized Architectures. FM (2018)
Alberto Griggio, Marco Roveri, Stefano Tonetta
Certifying Proofs for LTL Model Checking. FMCAD (2018)
Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN (2018)
Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta
From System Specification to Anomaly Detection (and back). CPS-SPC@CCS (2017)
Stefano Tonetta
Linear-time Temporal Logic with Event Freezing Functions. GandALF (2017)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49 (3) (2016)
Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) (2016)
Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
Tightening a Contract Refinement. SEFM (2016)
Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
Verification of Railway Interlocking - Compositional Approach with OCRA. RSSRail (2016)
Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta
Model-Based Design of an Energy-System Embedded Controller Using Taste. FM (2016)
Victor Bos, Harold Bruintjes, Stefano Tonetta
Catalogue of System and Software Properties. SAFECOMP (2016)
Alessandro Cimatti, Marco Gario, Stefano Tonetta
A Lazy Approach to Temporal Epistemic Logic Model Checking. AAMAS (2016)
Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
Verification of railway interlocking - Compositional approach with OCRA. CoRR (2016)
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) (2016)
Harald Rueß, Stefano Tonetta
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. MILS@HiPEAC (2015)
Thomas Arts, Stefano Tonetta
Safely Using the AUTOSAR End-to-End Protection Library. SAFECOMP (2015)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Log. Methods Comput. Sci. 11 (4) (2015)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
HyComp: An SMT-Based Model Checker for Hybrid Systems. TACAS (2015)
Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier
Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD (2015)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Parameter Synthesis with IC3 (Informal Presentation). SynCoP (2015)
Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta
Combining MILS with Contract-Based Design for Safety and Security Requirements. SAFECOMP Workshops (2015)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta
Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) (2015)
Alessandro Cimatti, Stefano Tonetta
Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Program. 97 (2015)
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
HRELTL: A temporal logic for hybrid systems. Inf. Comput. 245 (2015)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98 (2015)
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
The nuXmv Symbolic Model Checker. CAV (2014)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS (2014)
Thomas Arts, Michele Dorigatti, Stefano Tonetta
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. SAFECOMP (2014)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS (2014)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta
Formal Safety Assessment via Contract-Based Design. ATVA (2014)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
Quantifier-free encoding of invariants for hybrid systems. Formal Methods Syst. Des. 45 (2) (2014)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV (2014)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR (2013)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
SMT-based scenario verification for hybrid systems. Formal Methods Syst. Des. 42 (1) (2013)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42 (3) (2013)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Parameter synthesis with IC3. FMCAD (2013)
Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta
OCRA: A tool for checking the refinement of temporal contracts. ASE (2013)
Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta
Time-aware relational abstractions for hybrid systems. EMSOFT (2013)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) (2013)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
SMT-Based Verification of Hybrid Systems. AAAI (2012)
Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
An abstraction refinement approach combining precise and approximated techniques. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Alessandro Cimatti, Stefano Tonetta
A Property-Based Proof System for Contract-Based Design. EUROMICRO-SEAA (2012)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
A quantifier-free SMT encoding of non-linear hybrid automata. FMCAD (2012)
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Validation of requirements for hybrid systems: A formal approach. ACM Trans. Softw. Eng. Methodol. 21 (4) (2012)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
OthelloPlay: a plug-in based tool for requirement formalization and validation. TOPI@ICSE (2011)
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Int. J. Softw. Tools Technol. Transf. 13 (4) (2011)

Stefano Tonetta.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefano Tonetta