1. 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
  2. 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
  3. 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
  4. 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, Proceedi...,
    Springer,
    vol. 12078,
    2020
    , pp. 155-
    172
  5. 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
  6. 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
  7. Tonelli, S.; Sprugnoli, R.; Palmero, Aprosio; Moretti, Giovanni; Menini, Stefano,
    Gli strumenti informatici. Sviluppo e risultati,
    Come cambia la scrittura a scuola. Rapporto di ricerca,
    IPRASE,
    2020
    , pp. 113-
    130
  8. 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
  9. 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,
    Springer,
    vol. 11427,
    2019
    , pp. 379-
    385
  10. 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
  11. 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
  12. 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,
    Springer,
    vol. 11698,
    2019
    , pp. 200-
    215
  13. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Assumption-based Runtime Verification with Partial Observability and Resets,
    Runtime Verification (RV 2019),
    Springer,
    vol. 11757,
    n. 10,
    2019
    , pp. 165-
    184
  14. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    NuRV: a nuXmv Extension for Runtime Verification,
    Runtime Verification (RV 2019),
    Springer,
    vol. 11757,
    n. 23,
    2019
    , pp. 382-
    392
  15. Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco,
    Model-Based Safety and Assessment,
    vol. 11842,
    2019
  16. Sprugnoli, Rachele; Moretti, Giovanni; Tonelli, Sara,
    LOD Navigator: Tracing Movements of Italian Shoah Victims,
    in «UMANISTICA DIGITALE»,
    2019
  17. Cau, M.; Tonelli, S.; Largaiolli, M.; Sprugnoli, R.; Moretti, G.,
    ALCIDE. Analysis of Language and Content In a Digital Environment,
    Scritti e discorsi di Alcide De Gasperi,
    2019
  18. Menini, Stefano; Moretti, Giovanni; Corazza, Michele; Cabrio, Elena; Tonelli, Sara; Villata., Serena,
    A system to monitor cyberbullying based on message classification and social network analysis,
    Proceedings of the Third Workshop on Abusive Language Online,
    2019
    , pp. 105-
    111
  19. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    Strong temporal planning with uncontrollable durations,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1-
    34
  20. Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
    Tightening the contract refinements of a system architecture,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 52,
    n. 1,
    2018
    , pp. 88-
    116