You are here

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,
    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,
    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,
    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,
    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,
    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,
    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,
    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