Publications

  1. Bombardelli Alberto; Tonetta Stefano, Asynchronous Composition of {LTL} Properties over Infinite and Finite Traces, in «LOGICAL METHODS IN COMPUTER SCIENCE», vol. 22, n. 1, 2026, DOI: 10.46298/LMCS-22(1:11)2026, ISSN: 1860-5974
  2. Cristoforetti Luca; Flori Alessandro; Fonda Tommaso; Kapellos Kostantinos; Micheli Andrea; Tonetta Stefano; Valentini Alessandro, A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins, Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering MODELSWARD, 2026, pp. 576-583, DOI: 10.5220/0014637700004058
  3. 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
  4. 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
  5. Becchi Anna; Cimatti Alessandro, Abstraction Modulo Stability, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 66, 2025, pp. 134-169, DOI: 10.1007/s10703-024-00461-2, ISSN: 0925-9856
  6. Stefenon Stefano Frizzo; Cristoforetti Marco; Cimatti Alessandro, Automatic digitalization of railway interlocking systems engineering drawings based on hybrid machine learning methods, in «EXPERT SYSTEMS WITH APPLICATIONS», vol. 281, 2025, DOI: 10.1016/j.eswa.2025.127532, ISSN: 0957-4174
  7. Cimatti Alessandro; Titolo Laura, Formal methods in industrial critical systems, in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER», vol. 27, 2025, pp. 309-311, DOI: 10.1007/s10009-025-00815-z, ISSN: 1433-2779
  8. Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Lidström Christian; Redondi Gianluca; Scaglione Giuseppe; Tessi Matteo; Trenti Dylan, Automated Parameterized Verification of a Railway Protection System with Dafny, Computer Aided Verification 37th International Conference, CAV 2025, Proceedings, Part IV, 2025, pp. 364-376, DOI: 10.1007/978-3-031-98685-7_17
  9. Stefenon Stefano Frizzo; Cristoforetti Marco; Cimatti Alessandro, Conditional diffusion to enhance performance of object detection in unbalanced data engineering drawings, in «NEURAL COMPUTING & APPLICATIONS», vol. 37, n. 24, 2025, pp. 20335-20364, DOI: 10.1007/s00521-025-11458-1, ISSN: 0941-0643
  10. Panjkovic Stefan; Cimatti Alessandro; Micheli Andrea; Tonetta Stefano, Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025, pp. 843-852, DOI: 10.24963/kr.2025/81
  11. Panjkovic Stefan; Cimatti Alessandro; Micheli Andrea; Tonetta Stefano, Platform-Aware Mission Planning, Proceedings of the International Conference on Automated Planning and Scheduling, vol. 35, n. 1, 2025, pp. 93-101, DOI: 10.1609/icaps.v35i1.36105
  12. Flori Alessandro; Fonda Tommaso; Gobbi Andrea; Gobbi Samuel; Kapellos Konstantinos; Micheli Andrea; Tonetta Stefano; Valentini Alessandro; Ntagiou Evridiki V., Planning and Scheduling with External Functions in the ExploDTwin project, Proceedings of the 14th International Workshop on Planning and Scheduling for Space, 2025
  13. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Haifani Fajar, Towards a Unifying View of Fault Propagation Analyses and Notations, Model-Based Safety and Assessment 9th International Symposium, IMBSA 2025, Proceedings, vol. 15755, 2025, pp. 367-382, DOI: 10.1007/978-3-032-05073-1, Springer
  14. Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Lidström Christian; Redondi Gianluca; Tessi Matteo; Trenti Dylan, Formal Analysis of a Railway Signaling Block Designed in AIDA, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 6th International Conference, RSSRail 2025, Proceedings, 2025, pp. 303-312, DOI: 10.1007/978-3-032-10762-6_23
  15. Sindoni Giulia; Griggio Alberto; Tonetta Stefano, Certifying rlive: A New Proof Strategy for Liveness Model Checking, Frontiers of Combining Systems - 15th International Symposium, FroCoS 2025 , Proceedings, 2025, pp. 386-403, DOI: 10.1007/978-3-032-04167-8_21
  16. Cimatti Alessandro; Griggio Alberto; Johannsen Christopher; Rozier Kristin Yvonne; Tonetta Stefano, Infinite-State Liveness Checking with rlive, Computer Aided Verification - 37th International Conference, CAV 2025, Proceedings, Part I, 2025, pp. 215-236, DOI: 10.1007/978-3-031-98668-0_11
  17. Griggio Alberto, Verification Modulo Theories, Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025, 2025, DOI: 10.34727/2025/isbn.978-3-85448-084-6_1
  18. Sindoni Giulia; Pasini Paolo; Cabodi Gianpiero; Camurati Paolo E.; Griggio Alberto; Palena Marco; Roveri Marco; Tonetta Stefano, A Theorem Prover Based Approach for SAT-Based Model Checking Certification, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, Proceedings, vol. 15943, 2025, pp. 449-467, DOI: 10.1007/978-3-031-99984-0_24
  19. Griggio Alberto; Rungta Neha, Editorial: Special issue on formal methods in computer-aided design, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 67, 2025, pp. 1-2, DOI: 10.1007/s10703-025-00487-0, ISSN: 1572-8102
  20. Battista Ludovico; Tonetta Stefano, Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates, Automated Technology for Verification and Analysis - 23rd InternationalSymposium, (ATVA) 2025, Proceedings, vol. 16145, 2025, pp. 363-386, DOI: 10.1007/978-3-032-08707-2_17, Springer
  21. Bonafini Federico; Cavada Roberto; Cimatti Alessandro; Gomez Guillermo; Tonetta Stefano, A Specification-Driven Approach to Embedded FDIR Code Generation, Formal Methods for Industrial Critical Systems - 30th InternationalConference, FMICS 2025, Proceedings, vol. 16040, 2025, pp. 261-279, DOI: 10.1007/978-3-032-00942-5_14, Springer
  22. Cimatti Alessandro; Antonelli Fabio; Bentivogli Luisa; Cristoforetti Marco; Micheli Andrea; Poiesi Fabio; Remondino Fabio; Susi Angelo; Tonetta Stefano, {AI} for industry at {FBK}, Joint Proceedings of the Thematic Workshops at Ital-IA 2025 colocatedwith the 5th National Conference on Artificial Intelligence, organizedby {CINI} (Ital-IA 2025), Trieste, Italy, June 23-24, 2025, vol. 4121, 2025, CEUR-WS.org
  23. Bombardelli Alberto; Bozzelli Laura; Sanchez Cesar; Tonetta Stefano, (Asynchronous) Temporal Logics for Hyperproperties on Finite Traces, Model Checking Software - 31st International Symposium, SPIN 2025, Proceedings, vol. 15945, 2025, pp. 25-43, DOI: 10.1007/978-3-032-06847-7_2, Springer
  24. Geatti Luca; Pessotto Stefano; Tonetta Stefano, Safety and Liveness on Finite Words, Proceedings of 32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, vol. 355, 2025, pp. 10:1-10:18, DOI: 10.4230/LIPICS.TIME.2025.10, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik
  25. Montanari Angelo; Orlandini Andrea; Saccomanno Nicola; Tonetta Stefano, 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, vol. 4142, 2025, CEUR-WS.org
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking, Dafny 2024, 2024
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. Fantinato Filippo; Tonetta Stefano; Bresolin Davide, Model Checking of Optimal LTL and ASAP properties, Proceedings of 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 2024
  44. 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
  45. Bombardelli Alberto; Bozzelli Laura; Sánchez César; Tonetta Stefano, Unifying Asynchronous Logics for Hyperproperties, LIPIcs, Volume 323, FSTTCS 2024, Complete Volume, vol. 323, 2024, pp. 14:1-14:18, DOI: 10.4230/LIPIcs.FSTTCS.2024.14
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts