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»,
   vol. 33,
   n. 2,
   2021
   , pp. 251 -
   295
2. Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto,
   Model-based Analysis Support for Dependable Complex Systems in CHESS,
   9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021),
   2021
   , pp. 262-
   269
3. 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
4. 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
5. Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea,
   Synthesis of P-Stable Abstractions,
   Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings,
   2020
   , pp. 214 -
   230
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)

Pages