Stefano Tonetta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
82
Venues
29
Active years
2004–2026
Best venue rank
A*
Where they publish
- A*CAV13 papers
- ATACAS11 papers
- BSAFECOMP8 papers
- BFMCAD7 papers
- BSEFM5 papers
- BATVA3 papers
- CFMICS3 papers
- BRV3 papers
- BFM3 papers
- CMODELSWARD2 papers
- ACADE2 papers
- AMODELS2 papers
- CSIMULTECH2 papers
- A*AAAI2 papers
- A*ICSE2 papers
- A*ICAPS1 paper
- A*KR1 paper
- CTIME1 paper
- CICINCO1 paper
- CISoLA1 paper
- ADATE1 paper
- ADSN1 paper
- BIFM1 paper
- BFOSSACS1 paper
- NationalQUATIC1 paper
- A*CCS1 paper
- Journal PublishedEMSOFT1 paper
- CFORTE1 paper
- MulticonferenceSAC1 paper
Papers
82 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MODELSWARD | A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins. | Luca Cristoforetti, Alessandro Flori, Tommaso Fonda, Kostantinos Kapellos, Andrea Micheli, Stefano Tonetta, Alessandro Valentini |
| 2026 | SAFECOMP | Diagnosis of Runtime Property Violations. | Marco Bozzano, Alessandro Cimatti, Alberto Sambrotta, Stefano Tonetta |
| 2026 | SAFECOMP | A Safety Cage for Reliable GNSS and AI-Based PNT: An Experience Report. | Guillermo Gomez, Alberto Griggio, Luca Morelli, Theodore Russell, Stefano Tonetta, Pawel Trybala |
| 2026 | TACAS | VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems. | Ludovico Battista, Stefano Tonetta, Gianni Zampedri |
| 2025 | ATVA | Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates. | Ludovico Battista, Stefano Tonetta |
| 2025 | CADE | A Theorem Prover Based Approach for SAT-Based Model Checking Certification. | Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta |
| 2025 | CAV | Infinite-State Liveness Checking with rlive. | Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta |
| 2025 | FMICS | A Specification-Driven Approach to Embedded FDIR Code Generation. | Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta |
| 2025 | ICAPS | Platform-Aware Mission Planning. | Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta |
| 2025 | KR | Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems. | Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta |
| 2025 | TIME | Safety and Liveness on Finite Words. | Luca Geatti, Stefano Pessotto, Stefano Tonetta |
| 2024 | FMICS | Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa |
| 2024 | ICINCO | A Switching Event-Triggered Model Predictive Control for HVAC Systems. | Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta |
| 2024 | ISoLA | Towards Formal Design of FDIR Components with AI. | Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta |
| 2024 | MODELS | Towards the Formal Verification of SysML v2 Models. | Vince Molnr, Bence Graics, Andrs Vrs, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Kthe, John Hester, Jamie Smith, Christoph Grimm |
| 2024 | SEFM | Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. | Alessandro Cimatti, Thomas Mller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann |
| 2024 | SEFM | Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. | Srajan Goyal, Alberto Griggio, Stefano Tonetta |
| 2024 | TACAS | Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. | Lukas Knig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kperkoch, Dennis Fassbender, Michael Hanselmann |
| 2023 | DATE | Metric Temporal Logic with Resettable Skewed Clocks. | Alberto Bombardelli, Stefano Tonetta |
| 2023 | DSN | SMT-Based Stability Verification of an Industrial Switched PI Control Systems. | Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis |
| 2023 | IFM | Symbolic Model Checking of Relative Safety LTL Properties. | Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni |
| 2023 | TACAS | EVA: a Tool for the Compositional Verification of AUTOSAR Models. | Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau |
| 2022 | FOSSACS | A first-order logic characterisation of safety and co-safety languages. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2022 | MODELS | A comprehensive framework for the analysis of automotive systems. | Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
| 2022 | TACAS | Searching for Ribbon-Shaped Paths in Fair Transition Systems. | Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktria Vozrov |
| 2021 | CAV | Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. | Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta |
| 2021 | MODELSWARD | Model-based Analysis Support for Dependable Complex Systems in CHESS. | Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta |
| 2021 | QUATIC | A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. | 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 Proena, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie |
| 2021 | RV | Assumption-Based Runtime Verification of Infinite-State Systems. | Alessandro Cimatti, Chun Tian, Stefano Tonetta |
| 2021 | SEFM | Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2020 | FMCAD | Reactive Synthesis from Extended Bounded Response LTL Specifications. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2020 | SAFECOMP | Model-Based Safety Analysis of Mode Transitions. | Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktria Vozrov |
| 2020 | SIMULTECH | A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. | Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr. |
| 2020 | SIMULTECH | HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. | 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 |
| 2020 | TACAS | Safe Decomposition of Startup Requirements: Verification and Synthesis. | Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta |
| 2019 | CAV | Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. | Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta |
| 2019 | RV | Assumption-Based Runtime Verification with Partial Observability and Resets. | Alessandro Cimatti, Chun Tian, Stefano Tonetta |
| 2019 | RV | NuRV: A nuXmv Extension for Runtime Verification. | Alessandro Cimatti, Chun Tian, Stefano Tonetta |
| 2019 | SAFECOMP | Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. | Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta |
| 2019 | TACAS | COMPASS 3.0. | Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta |
| 2018 | FM | Formal Specification and Verification of Dynamic Parametrized Architectures. | Alessandro Cimatti, Ivan Stojic, Stefano Tonetta |
| 2018 | FMCAD | Certifying Proofs for LTL Model Checking. | Alberto Griggio, Marco Roveri, Stefano Tonetta |
| 2017 | CCS | From System Specification to Anomaly Detection (and back). | Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta |
| 2016 | CAV | Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. | Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover |
| 2016 | CAV | Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. | Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier |
| 2016 | FM | Model-Based Design of an Energy-System Embedded Controller Using Taste. | Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta |
| 2016 | SAFECOMP | Catalogue of System and Software Properties. | Victor Bos, Harold Bruintjes, Stefano Tonetta |
| 2016 | SEFM | Tightening a Contract Refinement. | Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta |
| 2015 | CAV | Formal Design and Safety Analysis of AIR6110 Wheel Brake System. | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta |
| 2015 | FMCAD | Comparing Different Functional Allocations in Automated Air Traffic Control Design. | Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier |
| 2015 | SAFECOMP | Safely Using the AUTOSAR End-to-End Protection Library. | Thomas Arts, Stefano Tonetta |
| 2015 | SAFECOMP | Combining MILS with Contract-Based Design for Safety and Security Requirements. | Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta |
| 2015 | TACAS | HyComp: An SMT-Based Model Checker for Hybrid Systems. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2014 | ATVA | Formal Safety Assessment via Contract-Based Design. | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta |
| 2014 | CAV | The nuXmv Symbolic Model Checker. | Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta |
| 2014 | CAV | Verifying LTL Properties of Hybrid Systems with K-Liveness. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2014 | SAFECOMP | Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. | Thomas Arts, Michele Dorigatti, Stefano Tonetta |
| 2014 | TACAS | Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |
| 2014 | TACAS | IC3 Modulo Theories via Implicit Predicate Abstraction. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2013 | AAAI | A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |
| 2013 | EMSOFT | Time-aware relational abstractions for hybrid systems. | Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta |
| 2013 | FMCAD | Parameter synthesis with IC3. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2012 | AAAI | SMT-Based Verification of Hybrid Systems. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2012 | FMCAD | A quantifier-free SMT encoding of non-linear hybrid automata. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2011 | CAV | Efficient Scenario Verification for Hybrid Automata. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2011 | FMCAD | Proving and explaining the unfeasibility of message sequence charts for hybrid systems. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2011 | ICSE | OthelloPlay: a plug-in based tool for requirement formalization and validation. | Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2010 | CADE | Loopfrog - loop summarization for static analysis. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2010 | FORTE | Model Checking of Hybrid Systems Using Shallow Synchronization. | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |
| 2010 | ICSE | Formalization and validation of a subset of the European Train Control System. | Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini |
| 2009 | CAV | Requirements Validation for Hybrid Systems. | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
| 2009 | FM | Abstract Model Checking without Computing the Abstraction. | Stefano Tonetta |
| 2009 | SAC | The synergy of precise and fast abstractions for program verification. | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
| 2008 | ATVA | Loop Summarization Using Abstract Transformers. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2008 | FMICS | From Informal Requirements to Property-Driven Formal Validation. | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2008 | SEFM | Object Models with Temporal Constraints. | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2007 | CAV | Boolean Abstraction for Temporal Logic Satisfiability. | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
| 2007 | TACAS | Syntactic Optimizations for PSL Verification. | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
| 2007 | TACAS | Property-Driven Partitioning for Abstraction Refinement. | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
| 2006 | FMCAD | From PSL to NBA: a Modular Symbolic Encoding. | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta |
| 2005 | CAV | Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
| 2004 | CAV | GSTE Is Partitioned Model Checking. | Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi |