Publications

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»,
   to be published
2. Farella, Elisabetta; Ferron, Michela; Giovanelli, Davide; Leonardi, Chiara; Marconi, Annapaola; Massa, Paolo; Murphy, Amy L.; Nori, Michele; Pistore, Marco; Schiavo, Gianluca,
   CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility,
   in «IEEE PERVASIVE COMPUTING»,
   2020
   , pp. 1 -
   11
3. 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
4. Traverso, Paolo; Pistore, Marco; Farella, Elisabetta; Murphy, Amy L.; Marconi, Annapaola; Forner, Pamela,
   Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona,
   in «MONDO DIGITALE»,
   vol. XVIII,
   n. 80,
   2019
5. 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
   , (TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems,
   Prague, Czech Republic,
   April 6-11, 2019)
6. 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
   , (Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
   Hilton Hawaiian Village, Honolulu, Hawaii, USA,
   January 27 – February 1, 2019)
7. 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
   , (International Conference on Computer Aided Verification, CAV 2019,
   New York City, NY, USA,
   15-18 July 2019)
8. 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
   , (38th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2019,
   Turku, Finland,
   10-13 September 2019)
9. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
   Assumption-based Runtime Verification with Partial Observability and Resets,
   Runtime Verification (RV 2019),
   Cham,
   Springer,
   vol.11757,
   n. 10,
   2019
   , pp. 165-
   184
   , (19th International Conference on Runtime Verification,
   Porto, Portugal,
   October 8–11, 2019)
10. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    NuRV: a nuXmv Extension for Runtime Verification,
    Runtime Verification (RV 2019),
    Cham,
    Springer,
    vol.11757,
    n. 23,
    2019
    , pp. 382-
    392
    , (19th International Conference on Runtime Verification,
    Porto, Portugal,
    October 8–11, 2019)

Pages