Publications

1. 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. 32 -
   42
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
   , (Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
   New York, USA,
   February 7-12, 2020)
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. 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»,
   2019
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)

Pages