Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. Papadopoulos Yiannis; Aslansefat Koorosh; Katsaros Panagiotis; Bozzano Marco, Model-Based Safety and Assessment, vol. 11842, 2019, DOI: 10.1007/978-3-030-32872-6
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. Griggio Alberto; Roveri Marco; Tonetta Stefano, Certifying Proofs for LTL Model Checking, Formal Methods in Computer-Aided Design, FMCAD 2018, 2018, pp. 225-233
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro, Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study, Proceedings of International Symposium on Model-Based Safety and Assessment, vol. 10437, 2017, pp. 255-271, DOI: 10.1007/978-3-319-64119-5_17, Springer
  44. Bozzano Marco; Papadopoulos Yiannis, Model-Based Safety and Assessment, vol. 10437, 2017, DOI: 10.1007/978-3-319-64119-5, Springer
  45. Tonetta Stefano; Schoitsch Erwin; Bitsch Friedemann, Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings, vol. 10489, 2017, DOI: 10.1007/978-3-319-66284-8, Springer
  46. Tonetta Stefano; Schoitsch Erwin; Bitsch Friedemann, Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings, vol. 10488, 2017, DOI: 10.1007/978-3-319-66266-4, Springer
  47. Tonetta Stefano, Linear-time Temporal Logic with Event Freezing Functions, Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017, vol. 256, 2017, pp. 195-209, DOI: 10.4204/EPTCS.256.14
  48. Artuso Stefano; Cristoforetti Luca; Falavigna Giuseppe Daniele; Gretter Roberto; Mana Nadia; Schiavo Gianluca, A System for Assessing Children Reading at School, Proceedings of the Seventh ISCA workshop on Speech and Language Technology in Education 2017, 2017, pp. 115-120
  49. Fauri Davide; Dos Santos Daniel Ricardo; Costante Elisa; den Hartog Jerry; Etalle Sandro; Tonetta Stefano, From System Specification to Anomaly Detection (and back), Proceedings of the 2017 Workshop on Cyber-Physical Systems Securityand PrivaCy, 2017, pp. 13-24, DOI: 10.1145/3140241.3140250, ACM
  50. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, Formal Methods for Aerospace Systems, Cyber-Physical System Design from an Architecture Analysis Viewpoint, 2017, pp. 133-159, Springer

Recent Posts