Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. Battista Ludovico, Infinitesimal rigidity for cubulated manifolds, in «GEOMETRIAE DEDICATA», vol. 217, n. 2, 2023, DOI: 10.1007/s10711-022-00765-9, ISSN: 0046-5755
  28. Bozzano Marco; Cimatti Alessandro; Tonetta Stefano; Vozárová Viktória, Searching for Ribbon-Shaped Paths in Fair Transition Systems, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2022, pp. 543-560, DOI: 10.1007/978-3-030-99524-9_30
  29. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Jonas Martin, Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation, Tools and Algorithms for the Construction and Analysis of Systems, 28th International Conference, TACAS 2022, 2022, pp. 273-291, DOI: 10.1007/978-3-030-99527-0_15, Spinger
  30. Panjkovic Stefan; Micheli Andrea; Cimatti Alessandro, Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI2022, 2022
  31. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano; Vozárová Viktória, Diagnosability of fair transition systems, in «ARTIFICIAL INTELLIGENCE», vol. 309, 2022, DOI: 10.1016/j.artint.2022.103725, ISSN: 0004-3702
  32. Tierno A.; Turri G.; Cimatti A.; Passerone R., Automatic Design Space Exploration of Redundant Architectures, Proceedings of International Conference on Applications in Electronics Pervading Industry, Environment and Society, vol. 866, 2022, pp. 149-159
  33. Stefenon Stefano Frizzo; Singh Gurmail; Yow Kin-Choong; Cimatti Alessandro, Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures, in «SENSORS», vol. 22, n. 13, 2022, pp. 4859, DOI: 10.3390/s22134859, ISSN: 1424-8220
  34. Cimatti A.; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, A first-order logic characterisation of safety and co-safety languages, Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the EuropeanJoint Conferences on Theory and Practice of Software, ETAPS 2022, vol. 13242, 2022, pp. 244-263, DOI: 10.1007/978-3-030-99253-8_13, Springer
  35. Amendola Arturo; Becchi Anna; Cavada Roberto; Cimatti Alessandro; Ferrando Andrea; Pilati Lorenzo; Scaglione Giuseppe; Tacchella Alberto; Zamboni Marco, NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems, Tools and Algorithms for the Construction and Analysis of Systems, vol. 13243, 2022, pp. 125-142, DOI: 10.1007/978-3-030-99524-9_7
  36. Becchi Anna; Cimatti Alessandro, Abstraction Modulo Stability for Reverse Engineering, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings, Part I, vol. 13371, 2022, pp. 469-489, DOI: 10.1007/978-3-031-13185-1_23
  37. Bombardelli Alberto; Tonetta Stefano, Asynchronous Composition of Local Interface LTL Properties, NASA formal methods, vol. 13260, 2022, pp. 508-526, DOI: 10.1007/978-3-031-06773-0_27
  38. Mahamed Mahdi; Yazdani-Asrami Mohammad; Behjat Vahid; Yazdani Akbar; Sharifzadeh Mojtaba, Impact of Perlator on the cooling liquid flow and hottest point temperature of superconducting windings in HTS transformer, in «SUPERCONDUCTIVITY», vol. 3, 2022, pp. 100021, DOI: 10.1016/j.supcon.2022.100021, ISSN: 2772-8307
  39. Sharifzadeh Mojtaba; Bruzelius Fredrik; Jacobson Bengt; Henderson Leon; Timpone Francesco, An effective tyre to road friction estimation applied to heavy vehicles, in «PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS. PART D, JOURNAL OF AUTOMOBILE ENGINEERING», vol. 237, n. 14, 2022, pp. 095440702211341, DOI: 10.1177/09544070221134197, ISSN: 0954-4070
  40. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Jonas Martin; Kimberly Greg, Analysis of Cyclic Fault Propagation via ASP, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, vol. 13416, 2022, pp. 470-483, DOI: 10.1007/978-3-031-15707-3_36
  41. Cimatti Alessandro; Griggio Alberto; Magnago Enrico, LTL falsification in infinite-state systems, in «INFORMATION AND COMPUTATION», vol. 289, 2022, pp. 104977, DOI: 10.1016/j.ic.2022.104977, ISSN: 0890-5401
  42. 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, Model-Based Safety and Assessment, vol. 13525, 2022, pp. 21-27, DOI: 10.1007/978-3-031-15842-1_2
  43. Amendola Arturo; Barruffo Lorenzo; Bozzano Marco; Cimatti Alessandro; De Simone Salvatore; Fedeli Eugenio; Gabbasov Artem; Ernesto Garrubba Domenico; Girardi Massimiliano; Serra Diana; Tiella Roberto; Zampedri Gianni, Formal Design and Validation of an Automatic Train Operation Control System, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, vol. 13294, 2022, pp. 169-178
  44. Abraham Erika; Davenport James H.; England Matthew; Griggio Alberto, New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072), 2022, DOI: 10.4230/dagrep.12.2.67
  45. Cimatti Alessandro; Corfini Sara; Cristoforetti Luca; Di Natale Marco; Griggio Alberto; Puri Stefano; Tonetta Stefano, A comprehensive framework for the analysis of automotive systems, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, 2022, pp. 379-389, DOI: 10.1145/3550355.3552408
  46. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Verification of SMT Systems with Quantifiers, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, vol. 13505, 2022, pp. 154-170, DOI: 10.1007/978-3-031-19992-9_10
  47. Cimatti Alessandro; Griggio Alberto; Lipparini Enrico; Sebastiani Roberto, Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, vol. 13505, 2022, pp. 137-153, DOI: 10.1007/978-3-031-19992-9_9
  48. Mann Makai; Irfan Ahmed; Griggio Alberto; Padon Oded; Barrett Clark, Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays, in «LOGICAL METHODS IN COMPUTER SCIENCE», vol. 18, n. 3, 2022, DOI: 10.46298/lmcs-18(3:26)2022, ISSN: 1860-5974
  49. Artikis Alexander; Posenato Roberto; Tonetta Stefano, 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference, vol. 247, 2022, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
  50. Cimatti Alessandro; Griggio Alberto; Tonetta Stefano, The VMT-LIB Language and Tools, Proceedings of the 20th Internal Workshop on Satisfiability ModuloTheories co-located with the 11th International Joint Conference onAutomated Reasoning {(IJCAR} 2022) part of the 8th Federated LogicConference (FLoC 2022), Haifa, Israel, August 11-12, 2022, vol. 3185, 2022, pp. 80-89, CEUR-WS.org

Recent Posts