1. 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
  2. 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
  3. 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
  4. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying proofs for SAT-based model checking,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 57,
    2021
    , pp. 178-
    210
  5. 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,
    Springer,
    vol. 1439,
    2021
    , pp. 325-
    340
  6. 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,
    IEEE,
    2021
    , pp. 1-
    4
  7. 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,
    IEEE,
    2021
    , pp. 13-
    18
  8. Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark,
    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays,
    Tools and Algorithms for the Construction and Analysis of Systems,
    vol. 12651,
    2021
    , pp. 113-
    132
  9. Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo,
    Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans,
    Proceedings of 28th International Symposium on Temporal Representation and Reasoning,
    Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik,
    vol. 206,
    2021
    , pp. 15:1-
    15:15
  10. Micheli, Andrea; Valentini, Alessandro,
    Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning,
    Proceedings of Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI2021, Technical Tracks,
    AAAI Press,
    vol. 35,
    n. 13,
    2021
    , pp. 11895-
    11902
  11. 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
  12. 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),
    AAAI Press,
    vol. 34,
    n. 6,
    2020
  13. 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
  14. 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),
    Springer,
    vol. 12078,
    2020
    , pp. 155-
    172
  15. 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
  16. 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,
    PHM Society,
    vol. 5,
    n. 1,
    2020
    , pp. 12-
    22
  17. 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,
    PHM Society,
    vol. 5,
    n. 1,
    2020
  18. 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,
    Springer,
    vol. 12478,
    2020
    , pp. 240-
    254
  19. 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
  20. 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,
    Springer,
    vol. 12234,
    2020
    , pp. 99-
    114