{"id":1691,"date":"2021-02-17T08:31:04","date_gmt":"2021-02-17T08:31:04","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?page_id=1691"},"modified":"2021-02-17T08:37:25","modified_gmt":"2021-02-17T08:37:25","slug":"publications","status":"publish","type":"page","link":"https:\/\/es.fbk.eu\/index.php\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"[et_pb_section admin_label=”section”]\n\t\t\t[et_pb_row admin_label=”row”]\n\t\t\t\t[et_pb_column type=”4_4″][et_pb_text admin_label=”Text”]\n
    \n
  1. \n\n
    <\/span>Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano<\/span>, <\/span><\/div>\n
    <\/span>GR(1) is equivalent to R(1)<\/a><\/span>, <\/span><\/div>
    in \u00ab<\/span>INFORMATION PROCESSING LETTERS<\/span>\u00bb, <\/span><\/div>
    vol. <\/span>179<\/span>, <\/span><\/div>
    <\/span>2023<\/span><\/span><\/div>\n <\/li>\n
  2. \n\n
    <\/span>Lal, Akash; Tonetta, Stefano<\/span>, <\/span><\/div>\n
    <\/span>Verified Software. Theories, Tools and Experiments – 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers<\/a><\/span>, <\/span><\/div>
    <\/span>Springer<\/span>, <\/span><\/div>
    vol. <\/span>13800<\/span>, <\/span><\/div>
    <\/span>2023<\/span><\/span><\/div>\n <\/li>\n
  3. \n\n
    <\/span>Panjkovic, Stefan; Micheli, Andrea<\/span>, <\/span><\/div>\n
    <\/span>Expressive Optimal Temporal Planning via Optimization Modulo Theory<\/span>, <\/span><\/div>
    <\/span>Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI2023<\/span>, <\/span><\/div>
    <\/span>2023<\/span><\/span><\/div>\n <\/li>\n
  4. \n\n
    <\/span>Bozzano, Marco; Cimatti, Alessandro; Tonetta, Stefano; Voz\u00e1rov\u00e1, Vikt\u00f3ria<\/span>, <\/span><\/div>\n
    <\/span>Searching for Ribbon-Shaped Paths in Fair Transition Systems<\/a><\/span>, <\/span><\/div>
    <\/span>28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>543<\/span>-<\/span><\/div>
    <\/span>560<\/span><\/span><\/div>\n <\/li>\n
  5. \n\n
    <\/span>Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin<\/span>, <\/span><\/div>\n
    <\/span>Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation<\/a><\/span>, <\/span><\/div>
    <\/span>Tools and Algorithms for the Construction and Analysis of Systems, 28th International Conference, TACAS 2022<\/span>, <\/span><\/div>
    <\/span>Spinger<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>273<\/span>-<\/span><\/div>
    <\/span>291<\/span><\/span><\/div>\n <\/li>\n
  6. \n\n
    <\/span>Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro<\/span>, <\/span><\/div>\n
    <\/span>Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping<\/a><\/span>, <\/span><\/div>
    <\/span>Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI2022<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>\n <\/li>\n
  7. \n\n
    <\/span>Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Voz\u00e1rov\u00e1, Vikt\u00f3ria<\/span>, <\/span><\/div>\n
    <\/span>Diagnosability of fair transition systems<\/a><\/span>, <\/span><\/div>
    in \u00ab<\/span>ARTIFICIAL INTELLIGENCE<\/span>\u00bb, <\/span><\/div>
    vol. <\/span>309<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>\n <\/li>\n
  8. \n\n
    <\/span>Tierno, A.; Turri, G.; Cimatti, A.; Passerone, R.<\/span>, <\/span><\/div>\n
    <\/span>Automatic Design Space Exploration of Redundant Architectures<\/a><\/span>, <\/span><\/div>
    <\/span>Proceedings of International Conference on Applications in Electronics Pervading Industry, Environment and Society<\/span>, <\/span><\/div>
    vol. <\/span>866<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>149<\/span>-<\/span><\/div>
    <\/span>159<\/span><\/span><\/div>\n <\/li>\n
  9. \n\n
    <\/span>Stefenon, Stefano Frizzo; Singh, Gurmail; Yow, Kin-Choong; Cimatti, Alessandro<\/span>, <\/span><\/div>\n
    <\/span>Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures<\/a><\/span>, <\/span><\/div>
    in \u00ab<\/span>SENSORS<\/span>\u00bb, <\/span><\/div>
    vol. <\/span>22<\/span>, <\/span><\/div>
    n. <\/span>13<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>4859<\/span>-<\/span><\/div>\n <\/li>\n
  10. \n\n
    <\/span>Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano<\/span>, <\/span><\/div>\n
    <\/span>A first-order logic characterisation of safety and co-safety languages<\/a><\/span>, <\/span><\/div>
    <\/span>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<\/span>, <\/span><\/div>
    <\/span>Springer<\/span>, <\/span><\/div>
    vol. <\/span>13242<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>244<\/span>-<\/span><\/div>
    <\/span>263<\/span><\/span><\/div>\n <\/li>\n
  11. \n\n
    <\/span>Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco<\/span>, <\/span><\/div>\n
    <\/span>NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems<\/a><\/span>, <\/span><\/div>
    <\/span>Tools and Algorithms for the Construction and Analysis of Systems<\/span>, <\/span><\/div>
    vol. <\/span>13243<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>125<\/span>-<\/span><\/div>
    <\/span>142<\/span><\/span><\/div>\n <\/li>\n
  12. \n\n
    <\/span>Becchi, Anna; Cimatti, Alessandro<\/span>, <\/span><\/div>\n
    <\/span>Abstraction Modulo Stability for\u00a0Reverse Engineering<\/a><\/span>, <\/span><\/div>
    <\/span>Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings, Part I<\/span>, <\/span><\/div>
    vol. <\/span>13371<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>469<\/span>-<\/span><\/div>
    <\/span>489<\/span><\/span><\/div>\n <\/li>\n
  13. \n\n
    <\/span>Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg<\/span>, <\/span><\/div>\n
    <\/span>Analysis of Cyclic Fault Propagation via ASP<\/a><\/span>, <\/span><\/div>
    <\/span>Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings<\/span>, <\/span><\/div>
    vol. <\/span>13416<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>470<\/span>-<\/span><\/div>
    <\/span>483<\/span><\/span><\/div>\n <\/li>\n
  14. \n\n
    <\/span>Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico<\/span>, <\/span><\/div>\n
    <\/span>LTL falsification in infinite-state systems<\/a><\/span>, <\/span><\/div>
    in \u00ab<\/span>INFORMATION AND COMPUTATION<\/span>\u00bb, <\/span><\/div>
    vol. <\/span>289<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>104977<\/span>-<\/span><\/div>\n <\/li>\n
  15. \n\n
    <\/span>Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano<\/span>, <\/span><\/div>\n
    <\/span>COMPASTA: Extending TASTE with Formal Design and Verification Functionality<\/a><\/span>, <\/span><\/div>
    <\/span>Model-Based Safety and Assessment<\/span>, <\/span><\/div>
    vol. <\/span>13525<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>21<\/span>-<\/span><\/div>
    <\/span>27<\/span><\/span><\/div>\n <\/li>\n
  16. \n\n
    <\/span>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<\/span>, <\/span><\/div>\n
    <\/span>Formal Design and Validation of an Automatic Train Operation Control System<\/a><\/span>, <\/span><\/div>
    <\/span>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification<\/span>, <\/span><\/div>
    vol. <\/span>13294<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>169<\/span>-<\/span><\/div>
    <\/span>178<\/span><\/span><\/div>\n <\/li>\n
  17. \n\n
    <\/span>Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano<\/span>, <\/span><\/div>\n
    <\/span>A comprehensive framework for the analysis of automotive systems<\/a><\/span>, <\/span><\/div>
    <\/span>Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>379<\/span>-<\/span><\/div>
    <\/span>389<\/span><\/span><\/div>\n <\/li>\n
  18. \n\n
    <\/span>Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca<\/span>, <\/span><\/div>\n
    <\/span>Verification of\u00a0SMT Systems with\u00a0Quantifiers<\/a><\/span>, <\/span><\/div>
    <\/span>Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings<\/span>, <\/span><\/div>
    vol. <\/span>13505<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>154<\/span>-<\/span><\/div>
    <\/span>170<\/span><\/span><\/div>\n <\/li>\n
  19. \n\n
    <\/span>Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto<\/span>, <\/span><\/div>\n
    <\/span>Handling Polynomial and\u00a0Transcendental Functions in\u00a0SMT via\u00a0Unconstrained Optimisation and\u00a0Topological Degree Test<\/a><\/span>, <\/span><\/div>
    <\/span>Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings<\/span>, <\/span><\/div>
    vol. <\/span>13505<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>137<\/span>-<\/span><\/div>
    <\/span>153<\/span><\/span><\/div>\n <\/li>\n
  20. \n\n
    <\/span>Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano<\/span>, <\/span><\/div>\n
    <\/span>The VMT-LIB Language and Tools<\/a><\/span>, <\/span><\/div>
    <\/span>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<\/span>, <\/span><\/div>
    <\/span>CEUR-WS.org<\/span>, <\/span><\/div>
    vol. <\/span>3185<\/span>, <\/span><\/div>
    <\/span>2022<\/span><\/span><\/div>
    , pp. <\/span>80<\/span>-<\/span><\/div>
    <\/span>89<\/span><\/span><\/div>\n <\/li>\n <\/ol>\n\n