1. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    GR(1) is equivalent to R(1),
    in «INFORMATION PROCESSING LETTERS»,
    vol. 179,
    2023
  2. Lal, Akash; Tonetta, Stefano,
    Verified Software. Theories, Tools and Experiments – 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers,
    Springer,
    vol. 13800,
    2023
  3. Panjkovic, Stefan; Micheli, Andrea,
    Expressive Optimal Temporal Planning via Optimization Modulo Theory,
    Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI2023,
    2023
  4. 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
  5. 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,
    Spinger,
    2022
    , pp. 273-
    291
  6. 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
  7. 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
  8. 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
  9. 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-
  10. 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,
    Springer,
    vol. 13242,
    2022
    , pp. 244-
    263
  11. Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco,
    NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems,
    Tools and Algorithms for the Construction and Analysis of Systems,
    vol. 13243,
    2022
    , pp. 125-
    142
  12. Becchi, Anna; Cimatti, Alessandro,
    Abstraction Modulo Stability for Reverse Engineering,
    Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings, Part I,
    vol. 13371,
    2022
    , pp. 469-
    489
  13. Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg,
    Analysis of Cyclic Fault Propagation via ASP,
    Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings,
    vol. 13416,
    2022
    , pp. 470-
    483
  14. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico,
    LTL falsification in infinite-state systems,
    in «INFORMATION AND COMPUTATION»,
    vol. 289,
    2022
    , pp. 104977-
  15. Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano,
    COMPASTA: Extending TASTE with Formal Design and Verification Functionality,
    Model-Based Safety and Assessment,
    vol. 13525,
    2022
    , pp. 21-
    27
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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,
    CEUR-WS.org,
    vol. 3185,
    2022
    , pp. 80-
    89