Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. Papadopoulos Yiannis; Aslansefat Koorosh; Katsaros Panagiotis; Bozzano Marco, Model-Based Safety and Assessment, vol. 11842, 2019, DOI: 10.1007/978-3-030-32872-6
  50. 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

Recent Posts