Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. Papadopoulos Yiannis; Aslansefat Koorosh; Katsaros Panagiotis; Bozzano Marco, Model-Based Safety and Assessment, vol. 11842, 2019, DOI: 10.1007/978-3-030-32872-6
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. Cavada Roberto; Cimatti Alessandro; Mover Sergio; Sessa Mirko; Cadavero Giuseppe; Scaglione Giuseppe, Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks, Proceedings of 2018 Formal Methods in Computer Aided Design, FMCAD 2018, 2018, DOI: 10.23919/FMCAD.2018.8603007
  42. Cimatti Alessandro; Ghilardi Silvio; Ranise Silvio, Model checking: teoria ed applicazioni, Le direzioni della ricerca logica in Italia 2, 2018, pp. 141-193, Edizioni ETS
  43. Mechtaev Sergey; Griggio Alberto; Cimatti Alessandro; Roychoudhury Abhik, Symbolic execution with existential second-order constraints, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, 2018, pp. 389-399, DOI: 10.1145/3236024.3236049
  44. Griggio Alberto; Roveri Marco; Tonetta Stefano, Certifying Proofs for LTL Model Checking, Formal Methods in Computer-Aided Design, FMCAD 2018, 2018, pp. 225-233
  45. Cimatti Alessandro; Delong Rance; Stojic Ivan; Tonetta Stefano, Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation, 2018, DOI: 10.5281/zenodo.1306063
  46. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions, Proceedings of 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018, DOI: 10.1109/SYNASC.2018.00016
  47. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF, Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, 2017, pp. 58-75, DOI: 10.1007/978-3-662-54577-5_4
  48. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Satisfiability Modulo Transcendental Functions via Incremental Linearization, Automated Deduction – CADE 26, vol. 10395, 2017, pp. 95-113, DOI: 10.1007/978-3-319-63046-5_7
  49. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017, pp. 3547-3554, AAAI Press
  50. Cimatti Alessandro; Mover Sergio; Sessa Mirko, SMT-based analysis of switching multi-domain linear Kirchhoff networks, Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017), 2017, pp. 188-195, DOI: 10.23919/FMCAD.2017.8102259

Recent Posts