Stefano Tonetta

161 papers A* 12A 9B 30C 10Misc 3Journal 40Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins. MODELSWARD Luca Cristoforetti, Alessandro Flori, Tommaso Fonda, Kostantinos Kapellos, Andrea Micheli, Stefano Tonetta, Alessandro Valentini
2026	J	`jnl`	Asynchronous Composition of LTL Properties over Infinite and Finite Traces. Log. Methods Comput. Sci. Alberto Bombardelli, Stefano Tonetta
2026	—	`conf`	VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems. TACAS (1) Ludovico Battista, Stefano Tonetta, Gianni Zampedri
2025	—	`conf`	(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces. SPIN Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2025	C	`conf`	A Specification-Driven Approach to Embedded FDIR Code Generation. FMICS Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta
2025	A	`conf`	A Theorem Prover Based Approach for SAT-Based Model Checking Certification. CADE Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta
2025	—	`conf`	AI for industry at FBK. Ital-IA Alessandro Cimatti, Fabio Antonelli, Luisa Bentivogli, Marco Cristoforetti, Andrea Micheli, Fabio Poiesi, Fabio Remondino, Angelo Susi, Stefano Tonetta
2025	—	`conf`	Certifying rlive: A New Proof Strategy for Liveness Model Checking. FroCoS Giulia Sindoni, Alberto Griggio, Stefano Tonetta
2025	B	`conf`	Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates. ATVA Ludovico Battista, Stefano Tonetta
2025	A*	`conf`	Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems. KR Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta
2025	—	`conf`	Infinite-State Liveness Checking with rlive. CAV (1) Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta
2025	J	`jnl`	Platform-Aware Mission Planning. CoRR Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta
2025	C	`conf`	Safety and Liveness on Finite Words. TIME Luca Geatti, Stefano Pessotto, Stefano Tonetta
2025	—	`ed.`	Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025. OVERLAY Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta
2025	J	`jnl`	System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator. Sci. Comput. Program. Srajan Goyal, Alberto Griggio, Stefano Tonetta
2024	C	`conf`	A Switching Event-Triggered Model Predictive Control for HVAC Systems. ICINCO (1) Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta
2024	—	`conf`	Another Look at LTL Modulo Theory over Finite and Infinite Traces. Principles of Verification (1) Alberto Bombardelli, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
2024	B	`conf`	Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. SEFM Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann
2024	J	`jnl`	Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability. CoRR Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann
2024	J	`jnl`	Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. Formal Methods Syst. Des. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2024	J	`jnl`	Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2024	—	`conf`	Formal Verification of Stability for Parametric affine Switched Systems. ADHS Ludovico Battista, Stefano Tonetta
2024	B	`conf`	Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. SEFM Srajan Goyal, Alberto Griggio, Stefano Tonetta
2024	—	`conf`	Model Checking of Optimal LTL and ASAP Properties. OVERLAY Davide Bresolin, Filippo Fantinato, Stefano Tonetta
2024	C	`conf`	Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa
2024	—	`conf`	Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright
2024	J	`jnl`	Temporal representation and reasoning in data-intensive systems. Inf. Syst. Alexander Artikis, Roberto Posenato, Stefano Tonetta
2024	—	`conf`	Towards Formal Design of FDIR Components with AI. ISoLA (4) Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta
2024	—	`conf`	Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
2024	—	`conf`	Towards the Formal Verification of SysML v2 Models. MoDELS (Companion) Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm
2024	—	`conf`	Unifying Asynchronous Logics for Hyperproperties. FSTTCS Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2024	J	`jnl`	Unifying Asynchronous Logics for Hyperproperties. CoRR Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2023	J	`jnl`	A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2023	J	`jnl`	Asynchronous Composition of LTL Properties over Infinite and Finite Traces. CoRR Alberto Bombardelli, Stefano Tonetta
2023	—	`conf`	Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. FMAS@iFM Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta
2023	B	`ed.`	Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings SAFECOMP Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch
2023	—	`ed.`	Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings SAFECOMP Workshops Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
2023	—	`conf`	EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
2023	J	`jnl`	GR(1) is equivalent to R(1). Inf. Process. Lett. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2023	A	`conf`	Metric Temporal Logic with Resettable Skewed Clocks. DATE Alberto Bombardelli, Stefano Tonetta
2023	—	`conf`	Reasoning with Metric Temporal Logic and Resettable Skewed Clocks. NFM Alberto Bombardelli, Stefano Tonetta
2023	—	`conf`	SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
2023	—	`conf`	Set-Based Invariants over Polynomial Systems. CILC Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta
2023	B	`conf`	Symbolic Model Checking of Relative Safety LTL Properties. iFM Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni
2023	—	`conf`	Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. ICSRS Isabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta
2023	—	`ed.`	Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers VSTTE Akash Lal, Stefano Tonetta
2022	C	`ed.`	29th International Symposium on Temporal Representation and Reasoning, TIME 2022, Virtual Conference, November 7-9, 2022 TIME Alexander Artikis, Roberto Posenato, Stefano Tonetta
2022	A	`conf`	A comprehensive framework for the analysis of automotive systems. MoDELS Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
2022	B	`conf`	A first-order logic characterisation of safety and co-safety languages. FoSSaCS Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2022	J	`jnl`	A first-order logic characterization of safety and co-safety languages. CoRR Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2022	J	`jnl`	Assumption-based Runtime Verification. Formal Methods Syst. Des. Alessandro Cimatti, Chun Tian, Stefano Tonetta
2022	—	`conf`	Asynchronous Composition of Local Interface LTL Properties. NFM Alberto Bombardelli, Stefano Tonetta
2022	—	`conf`	COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
2022	J	`jnl`	Diagnosability of fair transition systems. Artif. Intell. Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová
2022	—	`conf`	Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová
2022	—	`conf`	The VMT-LIB Language and Tools. SMT Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
2022	J	`jnl`	Verification modulo theories. Formal Methods Syst. Des. Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta
2021	Misc	`conf`	A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC 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
2021	B	`conf`	Assumption-Based Runtime Verification of Infinite-State Systems. RV Alessandro Cimatti, Chun Tian, Stefano Tonetta
2021	—	`conf`	Assumptions and Guarantees for Composable Models in Papyrus for Robotics. RoSE@ICSE Jabier Martinez, Alejandra Ruiz, Ansgar Radermacher, Stefano Tonetta
2021	J	`jnl`	Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. Alberto Griggio, Marco Roveri, Stefano Tonetta
2021	—	`conf`	Expressiveness of Extended Bounded Response LTL. GandALF Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2021	B	`conf`	Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2021	—	`conf`	Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta
2021	C	`conf`	Model-based Analysis Support for Dependable Complex Systems in CHESS. MODELSWARD Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta
2021	—	`conf`	Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics. RoSE@ICSE Jabier Martinez, Alejandra Ruiz, Ainara Garzo, Thierry Keller, Ansgar Radermacher, Stefano Tonetta
2021	J	`jnl`	The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 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
2021	J	`jnl`	The VMT-LIB Language and Tools. CoRR Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
2020	J	`jnl`	A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
2020	C	`conf`	A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
2020	—	`conf`	HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) 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	B	`conf`	Model-Based Safety Analysis of Mode Transitions. SAFECOMP Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová
2020	J	`jnl`	Model-based analysis support for dependable complex systems in CHESS. CoRR Felicien Ihirwe, Silvia Mazzini, Pierluigi Pierini, Alberto Debiasi, Stefano Tonetta
2020	B	`conf`	Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2020	J	`jnl`	Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2020	J	`jnl`	SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
2020	—	`conf`	Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
2019	—	`conf`	ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 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
2019	B	`conf`	Assumption-Based Runtime Verification with Partial Observability and Resets. RV Alessandro Cimatti, Chun Tian, Stefano Tonetta
2019	—	`conf`	COMPASS 3.0. TACAS (1) Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
2019	—	`conf`	Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
2019	B	`conf`	Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. SAFECOMP Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
2019	B	`conf`	NuRV: A nuXmv Extension for Runtime Verification. RV Alessandro Cimatti, Chun Tian, Stefano Tonetta
2018	B	`conf`	Certifying Proofs for LTL Model Checking. FMCAD Alberto Griggio, Marco Roveri, Stefano Tonetta
2018	B	`conf`	Formal Specification and Verification of Dynamic Parametrized Architectures. FM Alessandro Cimatti, Ivan Stojic, Stefano Tonetta
2018	J	`jnl`	Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
2018	—	`conf`	Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
2017	B	`ed.`	Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings SAFECOMP Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
2017	—	`ed.`	Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings SAFECOMP Workshops Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
2017	—	`conf`	From System Specification to Anomaly Detection (and back). CPS-SPC@CCS Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta
2017	—	`conf`	Linear-time Temporal Logic with Event Freezing Functions. GandALF Stefano Tonetta
2016	A	`conf`	A Lazy Approach to Temporal Epistemic Logic Model Checking. AAMAS Alessandro Cimatti, Marco Gario, Stefano Tonetta
2016	B	`conf`	Catalogue of System and Software Properties. SAFECOMP Victor Bos, Harold Bruintjes, Stefano Tonetta
2016	—	`conf`	Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover
2016	J	`jnl`	Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2016	—	`conf`	Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
2016	B	`conf`	Model-Based Design of an Energy-System Embedded Controller Using Taste. FM Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta
2016	B	`conf`	Tightening a Contract Refinement. SEFM Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
2016	—	`conf`	Verification of Railway Interlocking - Compositional Approach with OCRA. RSSRail Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
2016	J	`jnl`	Verification of railway interlocking - Compositional approach with OCRA. CoRR Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
2015	—	`conf`	Combining MILS with Contract-Based Design for Safety and Security Requirements. SAFECOMP Workshops Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta
2015	B	`conf`	Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier
2015	J	`jnl`	Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Program. Alessandro Cimatti, Stefano Tonetta
2015	—	`conf`	Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. MILS@HiPEAC Harald Rueß, Stefano Tonetta
2015	—	`conf`	Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta
2015	J	`jnl`	Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Log. Methods Comput. Sci. Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
2015	J	`jnl`	HRELTL: A temporal logic for hybrid systems. Inf. Comput. Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2015	A	`conf`	HyComp: An SMT-Based Model Checker for Hybrid Systems. TACAS Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2015	—	`conf`	Parameter Synthesis with IC3 (Informal Presentation). SynCoP Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2015	B	`conf`	Safely Using the AUTOSAR End-to-End Protection Library. SAFECOMP Thomas Arts, Stefano Tonetta
2015	J	`jnl`	Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
2014	A	`conf`	Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
2014	B	`conf`	Formal Safety Assessment via Contract-Based Design. ATVA Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta
2014	A	`conf`	IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2014	B	`conf`	Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. SAFECOMP Thomas Arts, Michele Dorigatti, Stefano Tonetta
2014	J	`jnl`	Quantifier-free encoding of invariants for hybrid systems. Formal Methods Syst. Des. Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2014	A*	`conf`	The nuXmv Symbolic Model Checker. CAV Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
2014	A*	`conf`	Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2013	—	`conf`	A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
2013	J	`jnl`	IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2013	J	`jnl`	Loop summarization using state and transition invariants. Formal Methods Syst. Des. Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2013	A*	`conf`	OCRA: A tool for checking the refinement of temporal contracts. ASE Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta
2013	B	`conf`	Parameter synthesis with IC3. FMCAD Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2013	J	`jnl`	SMT-based scenario verification for hybrid systems. Formal Methods Syst. Des. Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2013	Misc	`conf`	Time-aware relational abstractions for hybrid systems. EMSOFT Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta
2012	—	`conf`	A Property-Based Proof System for Contract-Based Design. EUROMICRO-SEAA Alessandro Cimatti, Stefano Tonetta
2012	B	`conf`	A quantifier-free SMT encoding of non-linear hybrid automata. FMCAD Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2012	J	`jnl`	An abstraction refinement approach combining precise and approximated techniques. Int. J. Softw. Tools Technol. Transf. Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
2012	A*	`conf`	SMT-Based Verification of Hybrid Systems. AAAI Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2012	J	`jnl`	Validation of requirements for hybrid systems: A formal approach. ACM Trans. Softw. Eng. Methodol. Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2011	A*	`conf`	Efficient Scenario Verification for Hybrid Automata. CAV Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2011	J	`jnl`	Formalizing requirements with object models and temporal constraints. Softw. Syst. Model. Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2011	—	`conf`	HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. EUROMICRO-SEAA Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2011	—	`conf`	OthelloPlay: a plug-in based tool for requirement formalization and validation. TOPI@ICSE Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
2011	B	`conf`	Proving and explaining the unfeasibility of message sequence charts for hybrid systems. FMCAD Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2011	J	`jnl`	Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
2011	J	`jnl`	Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Int. J. Softw. Tools Technol. Transf. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
2010	—	`conf`	Formalization and validation of a subset of the European Train Control System. ICSE (2) Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini
2010	C	`conf`	From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta
2010	—	`conf`	Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2010	—	`conf`	Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
2009	B	`conf`	Abstract Model Checking without Computing the Abstraction. FM Stefano Tonetta
2009	—	`conf`	An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. SAVCBS Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
2009	—	`conf`	Formalization and Validation of Safety-Critical Requirements FMA Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2009	A*	`conf`	Loopfrog: A Static Analyzer for ANSI-C Programs. ASE Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2009	A*	`conf`	Requirements Validation for Hybrid Systems. CAV Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2009	A*	`conf`	Supporting Requirements Validation: The EuRailCheck Tool. ASE Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
2009	Misc	`conf`	The synergy of precise and fast abstractions for program verification. SAC Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
2008	C	`conf`	From Informal Requirements to Property-Driven Formal Validation. FMICS Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2008	B	`conf`	Loop Summarization Using Abstract Transformers. ATVA Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2008	B	`conf`	Object Models with Temporal Constraints. SEFM Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2008	J	`jnl`	Symbolic Compilation of PSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2007	A*	`conf`	Boolean Abstraction for Temporal Logic Satisfiability. CAV Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
2007	J	`jnl`	GSTE is partitioned model checking. Formal Methods Syst. Des. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
2007	A	`conf`	Property-Driven Partitioning for Abstraction Refinement. TACAS Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
2007	A	`conf`	Syntactic Optimizations for PSL Verification. TACAS Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2006	—	`—`	A new hybrid approach for efficient LTL model checking. Stefano Tonetta
2006	B	`conf`	From PSL to NBA: a Modular Symbolic Encoding. FMCAD Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta
2005	A*	`conf`	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
2004	A*	`conf`	GSTE Is Partitioned Model Checking. CAV Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
2003	—	`conf`	"More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. CHARME Roberto Sebastiani, Stefano Tonetta