Stefano Tonetta

Publications

1. Goyal Srajan; Griggio Alberto; Tonetta Stefano, Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems
2. Goyal Srajan; Griggio Alberto; Tonetta Stefano, System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
3. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA = COMPASS + TASTE
4. Bombardelli Alberto; Cimatti Alessandro; Tonetta Stefano; Zamboni Marco, Symbolic Model Checking of Relative Safety LTL Properties
5. Koenig Lukas; Heinzemann Christian; Griggio Alberto; Klauck Michaela; Cimatti Alessandro; Henze Franziska; Tonetta Stefano; Kueperkoch Stefan; Fassbender Dennis; Hanselmann Michael, Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development
6. Molnár Vince; Graics Bence; Vörös András; Tonetta Stefano; Cristoforetti Luca; Kimberly Greg; Dyer Pamela; Giammarco Kristin; Koethe Manfred; Hester John; Smith Jamie; Grimm Christoph, Towards the Formal Verification of SysML v2 Models
7. Battista Ludovico; Tonetta Stefano, Formal Verification of Stability for Parametric affine Switched Systems
8. Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano; Bonafini Federico; Campidelli Matteo; Zasa Andrea, Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report
9. Basagiannis Stylianos; Battista Ludovico; Becchi Anna; Cimatti Alessandro; Giantamidis Georgios; Mover Sergio; Tacchella Alberto; Tonetta Stefano; Tsachouridis Vassilios, Stability Verification of an Industrial Switched PI Control Systems
10. Fantinato Filippo; Tonetta Stefano; Bresolin Davide, Model Checking of Optimal LTL and ASAP properties
11. Bombardelli Alberto; Bozzelli Laura; Sánchez César; Tonetta Stefano, Unifying Asynchronous Logics for Hyperproperties
12. Bozzano Marco; Cimatti Alessandro; Cristoforetti Marco; Griggio Alberto; Svaizer Piergiorgio; Tonetta Stefano, Towards Formal Design of FDIR Components with AI
13. Bombardelli Alberto; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano, Another Look at LTL Modulo Theory over Finite and Infinite Traces
14. Sharifzadeh Mojtaba; Beirami Hani; Bonafini Federico; Campidelli Matteo; Cavada Roberto; Cimatti Alessandro; Tonetta Stefano, A Switching Event-Triggered Model Predictive Control for HVAC Systems
15. Cimatti Alessandro; Moller Grosen Thomas; Larsen Kim G.; Tonetta Stefano; Zimmermann Martin, Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability
16. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
17. Artikis Alexander; Posenato Roberto; Tonetta Stefano, Temporal representation and reasoning in data-intensive systems
18. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, GR(1) is equivalent to R(1)
19. Lal Akash; Tonetta Stefano, Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
20. Cimatti Alessandro; Cristoforetti Luca; Griggio Alberto; Tonetta Stefano; Corfini Sara; Di Natale Marco; Barrau Florian, EVA: a Tool for the Compositional Verification of AUTOSAR Models
21. Basagiannis Stylianos; Battista Ludovico; Becchi Anna; Cimatti Alessandro; Giantamidis Georgios; Mover Sergio; Tacchella Alberto; Tonetta Stefano; Tsachouridis Vassilios, SMT-Based Stability Verification of an Industrial Switched PI Control Systems
22. Lanzani Isabella; Scattolini Riccardo; Zio Enrico; Cimatti Alessandro; Bozzano Marco; Tonetta Stefano, Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis
23. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA: Integrating COMPASS Functionality into TASTE
24. Bombardelli Alberto; Tonetta Stefano, Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
25. Casagrande Alberto; Cimatti Alessandro; Dorigo Luca; Piazza Carla; Tonetta Stefano, Set-Based Invariants over Polynomial Systems
26. Bombardelli Alberto; Tonetta Stefano, Metric Temporal Logic with Resettable Skewed Clocks
27. Guiochet Jeremie; Tonetta Stefano; Bitsch Friedemann, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
28. Guiochet Jeremie; Tonetta Stefano; Schoitsch Erwin; Roy Matthieu; Bitsch Friedemann, Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
29. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, A first-order logic characterization of safety and co-safety languages
30. Goyal Srajan; Griggio Alberto; Kimblad Jacob; Tonetta Stefano, Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
31. Bozzano Marco; Bussola Riccardo; Cristoforetti Marco; Goyal Srajan; Jonas Martin; Kapellos Konstantinos; Micheli Andrea; Soldà Davide; Tonetta Stefano; Tranoris Christos; Valentini Alessandro, RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets
32. Bozzano Marco; Cimatti Alessandro; Tonetta Stefano; Vozárová Viktória, Searching for Ribbon-Shaped Paths in Fair Transition Systems
33. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano; Vozárová Viktória, Diagnosability of fair transition systems
34. Cimatti A.; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, A first-order logic characterisation of safety and co-safety languages
35. Bombardelli Alberto; Tonetta Stefano, Asynchronous Composition of Local Interface LTL Properties
36. Bombardelli Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano, COMPASTA: Extending TASTE with Formal Design and Verification Functionality
37. Cimatti Alessandro; Corfini Sara; Cristoforetti Luca; Di Natale Marco; Griggio Alberto; Puri Stefano; Tonetta Stefano, A comprehensive framework for the analysis of automotive systems
38. Artikis Alexander; Posenato Roberto; Tonetta Stefano, 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference
39. Cimatti Alessandro; Griggio Alberto; Tonetta Stefano, The VMT-LIB Language and Tools
40. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-based Runtime Verification
41. Tonetta Stefano; Mazzini Silvia; Pierini Pierluigi; Ihirwe Felicien; Debiasi Alberto, Model-based Analysis Support for Dependable Complex Systems in CHESS
42. Griggio Alberto; Roveri Marco; Tonetta Stefano, Certifying proofs for SAT-based model checking
43. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-Based Runtime Verification of Infinite-State Systems
44. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
45. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Expressiveness of Extended Bounded Response LTL
46. Mover Sergio; Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Tonetta Stefano, Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
47. 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 Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
48. Martinez Jabier; Ruiz Alejandra; Radermacher Ansgar; Tonetta Stefano, Assumptions and Guarantees for Composable Models in Papyrus for Robotics
49. Martinez Jabier; Ruiz Alejandra; Garzo Ainara; Keller Thierry; Radermacher Ansgar; Tonetta Stefano, Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics
50. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
51. Cimatti Alessandro; Griggio Alberto; Magnago Enrico; Roveri Marco; Tonetta Stefano, SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators
52. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Reactive Synthesis from Extended Bounded Response LTL Specifications
53. Cimatti Alessandro; Geatti Luca; Griggio Alberto; Kimberly Greg; Tonetta Stefano, Safe Decomposition of Startup Requirements: Verification and Synthesis
54. Bozzano Marco; Munk Peter; Schweizer Markus; Tonetta Stefano; Viktoria Vozarova, Model-Based Safety Analysis of Mode Transitions
55. Gorm Larsen Peter; Daniel Macedo Hugo; Fitzgerald John S.; Pfeifer Holger; Benedikt Martin; Tonetta Stefano; Marguglio Angelo; Gusmeroli Sergio; Jr. George Suciu, A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems
56. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, COMPASS 3.0
57. Cimatti Alessandro; Griggio Alberto; Magnago Enrico; Roveri Marco; Tonetta Stefano, Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
58. Cimatti Alessandro; Delong Rance; Stojic Ivan; Tonetta Stefano, Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
59. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-based Runtime Verification with Partial Observability and Resets
60. Cimatti Alessandro; Tian Chun; Tonetta Stefano, NuRV: a nuXmv Extension for Runtime Verification
61. Cimatti Alessandro; Demasi Ramiro Adrian; Tonetta Stefano, Tightening the contract refinements of a system architecture
62. Cimatti Alessandro; Stojic Ivan; Tonetta Stefano, Formal Specification and Verification of Dynamic Parametrized Architectures
63. Griggio Alberto; Roveri Marco; Tonetta Stefano, Certifying Proofs for LTL Model Checking
64. Cimatti Alessandro; Delong Rance; Stojic Ivan; Tonetta Stefano, Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation
65. 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
66. Tonetta Stefano; Schoitsch Erwin; Bitsch Friedemann, Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
67. Tonetta Stefano, Linear-time Temporal Logic with Event Freezing Functions
68. Fauri Davide; Dos Santos Daniel Ricardo; Costante Elisa; den Hartog Jerry; Etalle Sandro; Tonetta Stefano, From System Specification to Anomaly Detection (and back)
69. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, Formal Methods for Aerospace Systems
70. Jakub Daniel; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano; Mover Sergio, Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
71. Gario Marco Elio Gustavo; Cimatti Alessandro; Mattarei Cristian; Tonetta Stefano; Rozier Kristin Yvonne, Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
72. Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Lazy Approach to Temporal Epistemic Logic Model Checking
73. Christophe Limbrée; Quentin Cappart; Charles Pecheur; Tonetta Stefano, Verification of Railway Interlocking - Compositional Approach with OCRA
74. Victor Bos; Harold Bruintjes; Tonetta Stefano, Catalogue of System and Software Properties
75. Cimatti Alessandro; Demasi Ramiro Adrian; Tonetta Stefano, Tightening a Contract Refinement
76. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Infinite-state invariant checking with IC3 and predicate abstraction
77. Cavada Roberto; Cimatti Alessandro; Crema Luigi; Roccabruna Mattia; Tonetta Stefano, Model-Based Design of an Energy-System Embedded Controller Using Taste
78. Cimatti Alessandro; Tonetta Stefano, Contracts-refinement proof system for component-based embedded systems
79. Bozzano Marco; Cimatti Alessandro; Oleg Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Safety Assessment of AltaRica Models via Symbolic Model Checking
80. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, HYCOMP - an SMT-based model checker for hybrid systems
81. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
82. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, HRELTL: A temporal logic for hybrid systems
83. Mattarei Cristian; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano; Rozier Kristin Yvonne, Comparing Different Functional Allocations in Automated Air Traffic Control Design
84. Bozzano Marco; Cimatti Alessandro; Fernandes Pires Anthony; Jones D.; Kimberly G.; Petri T.; Robinson R.; Tonetta Stefano, Formal Design and Safety Analysis of AIR6110 Wheel Brake System
85. Arts Thomas; Tonetta Stefano, Safely Using the AUTOSAR End-to-End Protection Library
86. Cimatti Alessandro; Delong Rance; Marcantonio Davide; Tonetta Stefano, Combining MILS with Contract-Based Design for Safety and Security Requirements
87. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
88. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Quantifier-free encoding of invariants for hybrid systems
89. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, IC3 Modulo Theories via Implicit Predicate Abstraction
90. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Verifying LTL Properties of Hybrid Systems with K-Liveness
91. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker
92. Thomas Arts; Dorigatti Michele; Tonetta Stefano, Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case
93. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian; Tonetta Stefano, Formal Safety Assessment via Contract-Based Design.
94. Laura Baracchi; Cimatti Alessandro; Gerald Garcia; Silvia Mazzini; Stefano Puri; Tonetta Stefano, Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach
95. Daniel Kroening; Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich; Christoph M. Wintersteiger, Loop Summarization using State and Transition Invariants
96. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, SMT-based scenario verification for hybrid systems
97. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
98. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Specification and Synthesis of FDI through an Example
99. Mover Sergio; Cimatti Alessandro; Tiwari A.; Tonetta Stefano, Time-aware Relational Abstractions for Hybrid Systems
100. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Parameter Synthesis with IC3
101. Cimatti Alessandro; Dorigatti Michele; Tonetta Stefano, OCRA: A tool for checking the refinement of temporal contracts
102. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, SMT-Based Verification of Hybrid Systems
103. Cimatti Alessandro; Tonetta Stefano, A Property-Based Proof System for Contract-Based Design
104. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Quantifier-free encoding of hybrid systems with non-linear dynamics
105. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Validation of Requirements for Hybrid Systems: a Formal Approach
106. N. Sharygina; Tonetta Stefano; A. Tsitovich, An abstraction refinement approach combining precise and approximated techniques
107. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation
108. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction
109. Cimatti Alessandro; Mover Sergio; Roveri Marco; Tonetta Stefano, From Sequential Extended Regular Expressions to NFA with Symbolic Labels
110. Sebastiani Roberto; Tonetta Stefano; Moshe Vardi, Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
111. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Efficient Scenario VeriFIcation for Hybrid Automata
112. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems
113. Bozzano Marco; Cimatti Alessandro; O. Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Model Checking and Safety Assessment of Altarica models
114. Cimatti Alessandro; Susi Angelo; Tonetta Stefano; Roveri Marco, Formalizing requirements with object models and temporal constraints
115. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Formalization and Validation of Safety-Critical Requirements
116. Lei Bu; Cimatti Alessandro; Xuandong Li; Mover Sergio; Tonetta Stefano, Model Checking of Hybrid Systems using Shallow Synchronization
117. Angelo Chiappini; Cimatti Alessandro; Macchi Luca; Oscar Rebollo; Roveri Marco; Susi Angelo; Tonetta Stefano; Berardino Vittorini, Formalization and validation of a subset of the European Train Control System
118. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Requirements Validation for Hybrid Systems
119. Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich, The synergy of precise and fast abstractions for program verification
120. Tonetta Stefano, Abstract Model Checking without Computing the Abstraction
121. Cavada Roberto; Cimatti Alessandro; Mariotti Alessandro; Mattarei Cristian; Micheli Andrea; Mover Sergio; Pensallorto Marco; Roveri Marco; Susi Angelo; Tonetta Stefano, Supporting Requirements Validation: The EuRailCheck Tool
122. Daniel Kroening; Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich; Christoph M. Wintersteiger, Loopfrog: A Static Analyzer for ANSI-C Programs
123. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Symbolic Compilation of PSL
124. Daniel Kroening; Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich; Christoph M. Wintersteiger, Loop Summarization Using Abstract Transformers
125. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Object Models with Temporal Constraints
126. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, From Informal Requirements to Property-Driven Formal Validation
127. Sebastiani Roberto; Tonetta Stefano; Moshe Vardi, Property-driven partitioning for abstraction refinement
128. Sebastiani Roberto; Eli Singerman; Tonetta Stefano; Moshe Vardi, GSTE is partitioned model checking
129. Cimatti Alessandro; Roveri Marco; Schuppan Viktor; Tonetta Stefano, Boolean Abstraction for Temporal Logic Satisfiability
130. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Syntactic Optimizations for PSL Verification
131. Cimatti Alessandro; Roveri Marco; Simone Semprini; Tonetta Stefano, From PSL to NBA: a Modular Symbolic Encoding
132. Tonetta Stefano; Natasha Sharygina, A Uniform Framework for Predicate Abstraction Approximation
133. Sebastiani Roberto; Tonetta Stefano; Moshe Vardi, Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
134. Sebastiani Roberto; Eli Singerman; Tonetta Stefano; Moshe Vardi, GSTE is partitioned Model Checking