Publications

  1. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-based Runtime Verification, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 60, n. 2, 2022, pp. 277-324, DOI: 10.1007/s10703-023-00416-z, ISSN: 1572-8102
  2. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Jones David; Mattarei Cristian, Model-based Safety Assessment of a Triple Modular Generator with XSAP, in «FORMAL ASPECTS OF COMPUTING», vol. 33, n. 2, 2021, pp. 251-295, DOI: 10.1007/s00165-021-00532-9, ISSN: 0934-5043
  3. Tonetta Stefano; Mazzini Silvia; Pierini Pierluigi; Ihirwe Felicien; Debiasi Alberto, Model-based Analysis Support for Dependable Complex Systems in CHESS, Proceedings of 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021), 2021, pp. 262-269, DOI: 10.5220/0010269702620269
  4. Mann Makai; Irfan Ahmed; Griggio Alberto; Padon Oded; Barrett Clark, Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays, Tools and Algorithms for the Construction and Analysis of Systems, vol. 12651, 2021, pp. 113-132, DOI: 10.1007/978-3-030-72016-2_7
  5. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning, 28th International Conference on Automated Deduction, Proceedings, vol. 12699, 2021, pp. 131-147, DOI: 10.1007/978-3-030-79876-5_8
  6. Griggio Alberto; Roveri Marco; Tonetta Stefano, Certifying proofs for SAT-based model checking, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 57, 2021, pp. 178-210, DOI: 10.1007/s10703-021-00369-1, ISSN: 0925-9856
  7. Cimatti Alessandro; Griggio Alberto; Magnago Enrico, Proving the Existence of Fair Paths in Infinite-State Systems, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, vol. 12597, 2021, pp. 104-126, DOI: 10.1007/978-3-030-67067-2_6
  8. Bozzano Marco; Cimatti Alessandro; Fernandes Pires Anthony; Griggio Alberto; Jonas Martin; Kimberly Greg, Efficient SMT-Based Analysis of Failure Propagation, Proceedings of Computer Aided Verification - 33rd International Conference, (CAV2021), Virtual Event, Part II, vol. 12760, 2021, pp. 209-230, DOI: 10.1007/978-3-030-81688-9_10, Springer
  9. Bozzano Marco; Cimatti Alessandro; Roveri Marco, A Comprehensive Approach to On-board Autonomy Verification and Validation, in «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY», vol. 12, n. 4, 2021, pp. 1-29, DOI: 10.1145/3472715, ISSN: 2157-6912
  10. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-Based Runtime Verification of Infinite-State Systems, Proceedings of Runtime Verification (RV 2021), vol. 12974, n. 11, 2021, pp. 207-227, DOI: 10.1007/978-3-030-88494-9_11
  11. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Extended bounded response LTL: a new safety fragment for efficient reactive synthesis, in «FORMAL METHODS IN SYSTEM DESIGN», 2021, DOI: 10.1007/s10703-021-00383-3, ISSN: 0925-9856
  12. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Expressiveness of Extended Bounded Response LTL, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», vol. 346, 2021, pp. 152-165, DOI: 10.4204/EPTCS.346.10, ISSN: 2075-2180
  13. Syifa'ul Mufid Muhammad; Micheli Andrea; Abate Alessandro; Cimatti Alessandro, SMT-Based Model Checking of Max-Plus Linear Systems, 32nd International Conference on Concurrency Theory (CONCUR 2021), 2021, DOI: 10.4230/lipics.concur.2021.22
  14. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans, Proceedings of 13:1--13:128th International Symposium on Temporal Representation and Reasoning (TIME 2021), 2021, pp. 13:1-13:14, DOI: 10.4230/lipics.time.2021.13, Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
  15. Mover Sergio; Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Tonetta Stefano, Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, Proceedings, Part I, vol. 12759, 2021, pp. 529-551, DOI: 10.1007/978-3-030-81685-8_25, Springer
  16. 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, Proceedings of Quality of Information and Communications Technology - 14th InternationalConference, QUATIC 2021, vol. 1439, 2021, pp. 325-340, DOI: 10.1007/978-3-030-85347-1_24, Springer
  17. Martinez Jabier; Ruiz Alejandra; Radermacher Ansgar; Tonetta Stefano, Assumptions and Guarantees for Composable Models in Papyrus for Robotics, Proceedings of 3rd IEEE/ACM International Workshop on Robotics Software Engineering,RoSE@ICSE 2021, 2021, pp. 1-4, DOI: 10.1109/RoSE52553.2021.00007, IEEE
  18. 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, Proceedings of 3rd IEEE/ACM International Workshop on Robotics Software Engineering,RoSE@ICSE 2021, 2021, pp. 13-18, DOI: 10.1109/RoSE52553.2021.00009, IEEE
  19. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis, Proceedings of Software Engineering and Formal Methods - 19th International Conference,SEFM 2021, vol. 13085, 2021, pp. 351-371, DOI: 10.1007/978-3-030-92124-8_20, Springer
  20. Bartali Ruben; Christodoulaki Rosie; Drosou Vassiliki; Baker Derek Keith; Svaizer Piergiorgio; Alarcón-Padilla Diego-César; Osório Tiago; Kramer Wolfgang; Bolognese Michele; Pratticò Luca; Viesi Diego; Roca Sobrino Lidia; Guillen Burrieza Elena; Fluch Juergen; Bayer Özgür; Pınarlı Deniz; Erdoğan Selin; Brunner Christoph; Cavada Roberto; Bonizzi Alberto; Cimatti Alessandro; Zanetti Alberto; Crema Luigi, Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C), EuroSun 2020 Proceedings, 2021, pp. 1-13, DOI: 10.18086/eurosun.2020.03.09
  21. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Reverse engineering with P-stable Abstractions, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021, vol. 2987, 2021, pp. 91-95
  22. Bigarella Filippo; Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Jonáš Martin; Roveri Marco; Sebastiani Roberto; Trentin Patrick, Optimization Modulo Non-linear Arithmetic via Incremental Linearization, Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, vol. 12941, 2021, pp. 213-231, DOI: 10.1007/978-3-030-86205-3_12
  23. Cimatti Alessandro; Griggio Alberto; Magnago Enrico, Automatic Discovery of Fair Paths in Infinite-State Transition Systems, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, vol. 12971, 2021, pp. 32-47, DOI: 10.1007/978-3-030-88885-5_3
  24. Cimatti Alessandro; Griggio Alberto; Magnago Enrico; Roveri Marco; Tonetta Stefano, SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators, in «INFORMATION AND COMPUTATION», vol. 272, 2020, DOI: 10.1016/j.ic.2019.104502, ISSN: 1090-2651
  25. Valentini Alessandro; Micheli Andrea; Cimatti Alessandro, Temporal Planning with Intermediate Conditions and Effects, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), vol. 34, n. 6, 2020, AAAI Press
  26. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Reactive Synthesis from Extended Bounded Response LTL Specifications, Proceedings of the 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2020, DOI: 10.34727/2020/isbn.978-3-85448-042-6_15
  27. Cimatti Alessandro; Geatti Luca; Griggio Alberto; Kimberly Greg; Tonetta Stefano, Safe Decomposition of Startup Requirements: Verification and Synthesis, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, (TACAS) 2020, Held as Part of theEuropean Joint Conferences on Theory and Practice of Software, (ETAPS) 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part (I), vol. 12078, 2020, pp. 155-172, DOI: 10.1007/978-3-030-45190-5_9, Springer
  28. Bozzano Marco; Munk Peter; Schweizer Markus; Tonetta Stefano; Viktoria Vozarova, Model-Based Safety Analysis of Mode Transitions, Computer Safety, Reliability, and Security - 39th International Conference,(SAFECOMP) 2020, Proceedings, vol. 12234, 2020, pp. 99-114, DOI: 10.1007/978-3-030-54549-9_7, Springer
  29. 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, Proceedings of the 10th International Conference on Simulation andModeling Methodologies, Technologies and Applications, (SIMULTECH) 2020, 2020, pp. 263-270, DOI: 10.5220/0009892802630270, ScitePress
  30. Abate Alessandro; Cimatti Alessandro; Micheli Andrea; Mufid Muhammad Syifa’ul, Computation of the Transient in Max-Plus Linear Systems via SMT-Solving, Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings, vol. 12288, 2020, pp. 161-177, DOI: 10.1007/978-3-030-57628-8_10
  31. Beirami H.; Calzà D.; Cimatti A.; Islam M. M.; Roveri M.; Svaizer P., Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System, Proceedings of the 5th European Conference of the Prognostics and Health Management Society 2020, vol. 5, n. 1, 2020, pp. 12-22, PHM Society
  32. Beirami H.; Calzà D.; Cimatti A.; Islam M.; Roveri M.; Svaizer P., A Data-driven Approach for RUL Prediction of an Experimental Filtration System, Proceedings of the 5th European Conference of the Prognostics and Health Management Society 2020, vol. 5, n. 1, 2020, PHM Society
  33. Amendola Arturo; Becchi Anna; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Scaglione Giuseppe; Susi Angelo; Tacchella Alberto; Tessi Matteo, A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System, Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, vol. 12478, 2020, pp. 240-254, DOI: 10.1007/978-3-030-61467-6_16, Springer
  34. Becchi Anna; Zaffanella Enea, PPLite: Zero-overhead encoding of NNC polyhedra, in «INFORMATION AND COMPUTATION», vol. 275, 2020, DOI: 10.1016/j.ic.2020.104620, ISSN: 0890-5401
  35. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Synthesis of P-Stable Abstractions, Proceedings of Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, vol. 12310, 2020, pp. 214-230, DOI: 10.1007/978-3-030-58768-0_12
  36. Davenport J. H.; England M.; Griggio A.; Sturm T.; Tinelli C., Symbolic computation and satisfiability checking, Journal of Symbolic Computation, vol. 100, 2020, pp. 1-10, DOI: 10.1016/j.jsc.2019.07.017
  37. Bozzano M.; Cimatti A.; Mattarei C., Formal reliability analysis of redundant architectures, in «FORMAL ASPECTS OF COMPUTING», vol. 31, n. 1, 2019, pp. 59-94, DOI: 10.1007/s00165-018-0475-1, ISSN: 0934-5043
  38. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, COMPASS 3.0, Tools and Algorithms for the Construction and Analysis of Systems, vol. 11427, 2019, pp. 379-385, DOI: 10.1007/978-3-030-17462-0_25, Springer
  39. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Robustness Envelopes for Temporal Plans, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), vol. 33, 2019, DOI: 10.1609/aaai.v33i01.33017538
  40. Cimatti Alessandro; Griggio Alberto; Magnago Enrico; Roveri Marco; Tonetta Stefano, Extending nuXmv with Timed Transition Systems and Timed Temporal Properties, Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019, vol. 11561, 2019, pp. 376-386, DOI: 10.1007/978-3-030-25540-4_21
  41. Cimatti Alessandro; Delong Rance; Stojic Ivan; Tonetta Stefano, Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems, Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019, vol. 11698, 2019, pp. 200-215, DOI: 10.1007/978-3-030-26601-1_14, Springer
  42. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-based Runtime Verification with Partial Observability and Resets, Runtime Verification (RV 2019), vol. 11757, n. 10, 2019, pp. 165-184, DOI: 10.1007/978-3-030-32079-9_10, Springer
  43. Cimatti Alessandro; Tian Chun; Tonetta Stefano, NuRV: a nuXmv Extension for Runtime Verification, Runtime Verification (RV 2019), vol. 11757, n. 23, 2019, pp. 382-392, DOI: 10.1007/978-3-030-32079-9_23, Springer
  44. Papadopoulos Yiannis; Aslansefat Koorosh; Katsaros Panagiotis; Bozzano Marco, Model-Based Safety and Assessment, vol. 11842, 2019, DOI: 10.1007/978-3-030-32872-6
  45. Becchi Anna; Zaffanella Enea, Revisiting Polyhedral Analysis for Hybrid Systems, International Static Analysis Symposium - SAS 2019, vol. 11822, 2019, pp. 183-202, DOI: 10.1007/978-3-030-32304-2_10
  46. Cimatti Alessandro; Do Minh; Micheli Andrea; Roveri Marco; Smith David E., Strong temporal planning with uncontrollable durations, in «ARTIFICIAL INTELLIGENCE», vol. 256, 2018, pp. 1-34, DOI: 10.1016/j.artint.2017.11.006, ISSN: 0004-3702
  47. Cimatti Alessandro; Demasi Ramiro Adrian; Tonetta Stefano, Tightening the contract refinements of a system architecture, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 52, n. 1, 2018, pp. 88-116, DOI: 10.1007/s10703-017-0312-9, ISSN: 1572-8102
  48. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization, Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018, vol. 10929, 2018, pp. 383-398, DOI: 10.1007/978-3-319-94144-8_23
  49. Cimatti Alessandro; Stojic Ivan; Tonetta Stefano, Formal Specification and Verification of Dynamic Parametrized Architectures, Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings, vol. 10951, 2018, pp. 625-644, DOI: 10.1007/978-3-319-95582-7_37, Springer
  50. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions, in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», vol. 19, n. 3, 2018, pp. 1-52, DOI: 10.1145/3230639, ISSN: 1529-3785

Recent Posts