Publications

  1. Goyal Srajan; Griggio Alberto; Tonetta Stefano, Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems, Software Engineering and Formal Methods, SEFM 2024, Proceedings, n. 15280, 2025, pp. 441-460, DOI: 10.1007/978-3-031-77382-2_25
  2. Goyal Srajan; Griggio Alberto; Tonetta Stefano, System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator, in «SCIENCE OF COMPUTER PROGRAMMING», vol. 242, 2025, DOI: 10.1016/j.scico.2024.103253, ISSN: 0167-6423
  3. Battista Ludovico; Francaviglia Stefano; Moraschini Marco; Sarti Filippo; Savini Alessio, Bounded cohomology classes of exact forms, in «PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY», vol. 152, 2024, pp. 71-80, DOI: 10.1090/proc/16505, ISSN: 1088-6826
  4. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA = COMPASS + TASTE, in «CEAS SPACE JOURNAL», vol. 16, n. 2, 2024, pp. 169-181, DOI: 10.1007/s12567-023-00519-7, ISSN: 1868-2502
  5. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, P-stable abstractions of hybrid systems, in «SOFTWARE AND SYSTEMS MODELING», vol. 23, 2024, pp. 403-426, DOI: 10.1007/s10270-023-01145-x, ISSN: 1619-1366
  6. Tosello Elisa; Bonel Paolo; Buranello Alberto; Carraro Marco; Cimatti Alessandro; Granelli Lorenzo; Panjkovic Stefan; Micheli Andrea, Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture, in «IEEE ROBOTICS AND AUTOMATION MAGAZINE», vol. 31, n. 1, 2024, pp. 72-83, DOI: 10.1109/MRA.2024.3352810, ISSN: 1070-9932
  7. Bombardelli Alberto; Cimatti Alessandro; Tonetta Stefano; Zamboni Marco, Symbolic Model Checking of Relative Safety LTL Properties, Proceedings of International Conference on Integrated Formal Methods 2023, vol. 14300, 2024-320, DOI: 10.1007/978-3-031-47705-8_16
  8. 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, 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings, Part II, vol. 14571, 2024, pp. 44-65, DOI: 10.1007/978-3-031-57249-4_3
  9. 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, Proceedings of MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024, pp. 1086-1095, DOI: 10.1145/3652620.3687820
  10. Battista Ludovico; Ferrari Leonardo; Santoro Diego, Dodecahedral L-spaces and hyperbolic 4-manifolds, in «COMMUNICATIONS IN ANALYSIS AND GEOMETRY», vol. 32, n. 8, 2024, DOI: 10.4310/CAG.241212004157, ISSN: 1019-8385
  11. Redondi Gianluca; Cimatti Alessandro; Griggio Alberto; Mcmillan Kenneth, Invariant Checking for SMT-based Systems with Quantifiers, in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», vol. 25, n. 4, 2024, DOI: 10.1145/3686153, ISSN: 1529-3785
  12. Battista Ludovico; Tonetta Stefano, Formal Verification of Stability for Parametric affine Switched Systems, IFAC-PapersOnLine, Special Issue 8th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2024, in «IFAC PAPERSONLINE», vol. 58, n. 11, 2024, pp. 37-42, DOI: 10.1016/j.ifacol.2024.07.422, ISSN: 2405-8971
  13. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking, Dafny 2024, 2024
  14. 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, Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings, 2024, pp. 170-181, DOI: 10.1007/978-3-031-68150-9_10
  15. Xia Yechuan; Cimatti Alessandro; Griggio Alberto; Li Jianwen, Avoiding the Shoals - A New Approach to Liveness Checking, Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I, 2024, pp. 234-254, DOI: 10.1007/978-3-031-65627-9_12
  16. Jonáš Martin; Strejcek Jan; Griggio Alberto, Combining Symbolic Execution with Predicate Abstraction and CEGAR, Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024, 2024, DOI: 10.34727/2024/isbn.978-3-85448-065-5_33
  17. 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, Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, vol. 103, 2024, pp. 145-152, DOI: 10.29007/nxhj
  18. Becchi Anna; Cimatti Alessandro; Scaglione Giuseppe, Testing the Migration from Analog to Software-Based Railway Interlocking Systems, Computer Aided Verification - 36th International Conference, CAV, 2024, Proceedings, Part II, 2024, pp. 219-232, DOI: 10.1007/978-3-031-65630-9_11
  19. Redondi Gianluca; Cimatti Alessandro; Griggio Alberto, Towards Verification Modulo Theories of asynchronous systems via abstraction refinement, Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024, 2024, DOI: 10.34727/2024/isbn.978-3-85448-065-5_20
  20. Becchi Anna; Cimatti Alessandro, Abstraction Modulo Stability, in «FORMAL METHODS IN SYSTEM DESIGN», 2024, DOI: 10.1007/s10703-024-00461-2, ISSN: 0925-9856
  21. Fantinato Filippo; Tonetta Stefano; Bresolin Davide, Model Checking of Optimal LTL and ASAP properties, 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 2024
  22. Cappelletti Lorenzo; Cavada Roberto; Cimatti Alessandro; Keppel Marco, Towards the Formal Analysis of Algorithmic Requirements, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Proceedings, Part III, 2024, pp. 48-65, DOI: 10.1007/978-3-031-75380-0_4
  23. Bombardelli Alberto; Bozzelli Laura; Sánchez César; Tonetta Stefano, Unifying Asynchronous Logics for Hyperproperties, LIPIcs, Volume 323, FSTTCS 2024, Complete Volume, 2024
  24. Bozzano Marco; Cimatti Alessandro; Cristoforetti Marco; Griggio Alberto; Svaizer Piergiorgio; Tonetta Stefano, Towards Formal Design of FDIR Components with AI, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024, pp. 311-328, DOI: 10.1007/978-3-031-75387-9_19
  25. Diedrich Alexander; Heesch René; Bozzano Marco; Ludwig Björn; Cimatti Alessandro; Niggemann Oliver, Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory, Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024), n. 125, 2024, pp. 9:1-9:19, DOI: 10.4230/OASIcs.DX.2024.9
  26. Bombardelli Alberto; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano, Another Look at LTL Modulo Theory over Finite and Infinite Traces, Principles of Verification: Cycling the Probabilistic Landscape, 2024, pp. 419-443, DOI: 10.1007/978-3-031-75783-9_17
  27. Sharifzadeh Mojtaba; Beirami Hani; Bonafini Federico; Campidelli Matteo; Cavada Roberto; Cimatti Alessandro; Tonetta Stefano, A Switching Event-Triggered Model Predictive Control for HVAC Systems, Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, 2024, pp. 37-45, DOI: 10.5220/0012912400003822
  28. Cimatti Alessandro; Khandaker Shaker; Kifetew Fitsum; Leone Lorenzo; Prandi Davide; Scaglione Giuseppe; Susi Angelo; Turboli Orazio, Model-Based Testing of Railway Interlocking Systems, Leveraging Applications of Formal Methods, Verification and Validation, vol. 15223, 2024, pp. 112-126, DOI: 10.1007/978-3-031-75390-9_8, Springer
  29. Cimatti Alessandro; Moller Grosen Thomas; Larsen Kim G.; Tonetta Stefano; Zimmermann Martin, Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability, Proceedings of Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, vol. 15280, 2024, pp. 70-88, DOI: 10.1007/978-3-031-77382-2_5, Springer
  30. Sumic Ajdin; Cimatti Alessandro; Micheli Andrea; Vidal Thierry, SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, {CPAIOR} 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part {II}, 2024, pp. 176-192, DOI: 10.1007/978-3-031-60599-4_11
  31. Sumic Ajdin; Vidal Thierry; Micheli Andrea; Cimatti Alessandro, Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning, 31st International Symposium on Temporal Representation and Reasoning (TIME) 2024, 2024, DOI: 10.4230/lipics.time.2024.13
  32. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, GR(1) is equivalent to R(1), in «INFORMATION PROCESSING LETTERS», vol. 179, 2023, DOI: 10.1016/j.ipl.2022.106319, ISSN: 0020-0190
  33. Lal Akash; Tonetta Stefano, Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, vol. 13800, 2023, Springer
  34. 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, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, vol. 13994, 2023, pp. 3-10, DOI: 10.1007/978-3-031-30820-8_1
  35. Xia Yechuan; Becchi Anna; Cimatti Alessandro; Griggio Alberto; Li Jianwen; Pu Geguang, Searching for i-Good Lemmas to Accelerate Safety Model Checking, Proceedings of the 35th International Conference on Computer-Aided Verification (CAV 2023), vol. 13965, 2023, pp. 288-308
  36. Griggio Alberto; Jonas Martin, Kratos2: an SMT-Based Model Checker for Imperative Programs, Proceedings of the 35th International Conference on Computer-Aided Verification (CAV 2023), Part III, vol. 13966, 2023, pp. 423-436, DOI: 10.1007/978-3-031-37709-9_20
  37. Tierno Antonio; Turri Giuliano; Cimatti Alessandro; Passerone Roberto, Scalable Design Space Exploration for the Synthesis of Redundant Architectures, Proceedings of 53rd Annual Meeting of the Italian Electronics Society, SIE 2022, vol. 1005, 2023, pp. 270-276, DOI: 10.1007/978-3-031-26066-7_42
  38. Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Susi Angelo, A Formal IDE for Railways: Research Challenges, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers, vol. 13765, 2023, pp. 107-115, DOI: 10.1007/978-3-031-26236-4_9
  39. 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, Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023, 2023, pp. 243-250, DOI: 10.1109/DSN-W58399.2023.00063
  40. Lanzani Isabella; Scattolini Riccardo; Zio Enrico; Cimatti Alessandro; Bozzano Marco; Tonetta Stefano, Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis, Proceedings of 2023 7th International Conference on System Reliability and Safety (ICSRS), 2023, pp. 376-383, DOI: 10.1109/ICSRS59833.2023.10381356
  41. 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, in «ADA USER JOURNAL», vol. 44, n. 1, 2023, pp. 75-78, ISSN: 1381-6551
  42. Bombardelli Alberto; Tonetta Stefano, Reasoning with Metric Temporal Logic and Resettable Skewed Clocks, NASA Formal Methods: 15th International Symposium, NFM 2023, vol. 13903, 2023, pp. 174-190, DOI: 10.1007/978-3-031-33170-1_11
  43. Casagrande Alberto; Cimatti Alessandro; Dorigo Luca; Piazza Carla; Tonetta Stefano, Set-Based Invariants over Polynomial Systems, Proceedings of the 38th Italian Conference on Computational Logic,Udine, Italy, June 21-23, 2023, vol. 3428, 2023, CEUR-WS.org
  44. Bombardelli Alberto; Tonetta Stefano, Metric Temporal Logic with Resettable Skewed Clocks, Proceedings of 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, pp. 1-6, DOI: 10.23919/date56975.2023.10137043
  45. Guiochet Jeremie; Tonetta Stefano; Bitsch Friedemann, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, vol. 14181, 2023, DOI: 10.1007/978-3-031-40923-3, Springer
  46. 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, vol. 14182, 2023, DOI: 10.1007/978-3-031-40953-0, Springer
  47. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, A first-order logic characterization of safety and co-safety languages, in «LOGICAL METHODS IN COMPUTER SCIENCE», vol. 19, n. 3, 2023, DOI: 10.46298/lmcs-19(3:13)2023, ISSN: 1860-5974
  48. Stefenon Stefano Frizzo; Cristoforetti Marco; Cimatti Alessandro, Towards Automatic Digitalization of Railway Engineering Schematics, AIxIA 2023 – Advances in Artificial Intelligence, vol. 14318, 2023, pp. 453-466, DOI: 10.1007/978-3-031-47546-7_31
  49. Goyal Srajan; Griggio Alberto; Kimblad Jacob; Tonetta Stefano, Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems, Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», vol. 395, 2023, pp. 113-129, DOI: 10.4204/eptcs.395.8, ISSN: 2075-2180
  50. 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, The Use of Artificial Intelligence for Space Applications. Workshop at the 2022 International Conference on Applied Intelligence and Informatics, vol. 1088, 2023, pp. 183-198, DOI: 10.1007/978-3-031-25755-1_12

Recent Posts