1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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,
    ScitePress,
    2020
    , pp. 263-
    270
  19. 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
  20. Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico,
    Decidability and Complexity of Action-Based Temporal Planning over Dense Time,
    Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    AAAI Press,
    2020