Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. Papadopoulos Yiannis; Aslansefat Koorosh; Katsaros Panagiotis; Bozzano Marco, Model-Based Safety and Assessment, vol. 11842, 2019, DOI: 10.1007/978-3-030-32872-6
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. Griggio Alberto; Roveri Marco; Tonetta Stefano, Certifying Proofs for LTL Model Checking, Formal Methods in Computer-Aided Design, FMCAD 2018, 2018, pp. 225-233
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. Bozzano Marco; Papadopoulos Yiannis, Model-Based Safety and Assessment, vol. 10437, 2017, DOI: 10.1007/978-3-319-64119-5, Springer
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. Bozzano Marco, Causality and Temporal Dependencies in the Design of Fault Management Systems, Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», vol. 259, 2017, pp. 39-46, ISSN: 2075-2180
  44. Griggio Alberto; Rümmer Philipp, Preface to special issue on satisfiability modulo theories, Formal Methods in System Design, vol. 51, 2017, pp. 431-432, DOI: 10.1007/s10703-017-0308-5
  45. Bittner Benjamin; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto; Mattarei Cristian; Micheli Andrea; Zampedri Gianni, The xSAP Safety Analysis Platform, Tools and Algorithms for the Construction and Analysis of Systems, vol. 9636, 2016, pp. 533-539, DOI: 10.1007/978-3-662-49674-9_31, Springer Berlin Heidelberg
  46. Cimatti Alessandro; Hunsberger Luke; Micheli Andrea; Posenato Roberto; Roveri Marco, Dynamic controllability via Timed Game Automata, in «ACTA INFORMATICA», 2016, pp. 1-42, DOI: 10.1007/s00236-016-0257-2, ISSN: 0001-5903
  47. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Zampedri Gianni, Automated Verification and Tightening of Failure Propagation Models, Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016), 2016, pp. 907-913
  48. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro, Automated Synthesis of Timed Failure Propagation Graphs, Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI, 2016, pp. 972-978
  49. Ábrahám Erika; Abbott John; Becker Bernd; Bigatti Anna M.; Brain Martin; Buchberger Bruno; Cimatti Alessandro; Davenport James H.; England Matthew; Fontaine Pascal; Forrest Stephen; Griggio Alberto; Kroening Daniel; Seiler Werner M.; Sturm Thomas, SC^2: Satisfiability Checking Meets Symbolic Computation, Intelligent Computer Mathematics - 9th International Conference, CICM 2016, vol. 9791, 2016, pp. 28-43, DOI: 10.1007/978-3-319-42547-4_3
  50. Jakub Daniel; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano; Mover Sergio, Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations, Computer Aided Verification - 28th International Conference, CAV 2016, vol. 9779, 2016, pp. 271-291, DOI: 10.1007/978-3-319-41528-4_15

Recent Posts