Publications

1. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian,
   Model-based Safety Assessment of a Triple Modular Generator with XSAP,
   in «FORMAL ASPECTS OF COMPUTING»,
   to be published
2. 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
3. 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
4. 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)
5. 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
   , (2020 Formal Methods in Computer Aided Design (FMCAD),
   Haifa, Israel,
   21-24 Sept. 2020)
6. 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
   , (TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems,
   Dublin, Ireland,
   April 25–30, 2020)
7. 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
   , (39th International Conference, SAFECOMP 2020,
   Lisbon, Portugal,
   September 16–18, 2020)
8. 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
   , (10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications,
   Lieusaint, Paris, France,
   July 8-10, 2020)
9. 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
10. 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

Pages