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»,
    to be published
  2. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
    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,
    in «IEEE PERVASIVE COMPUTING»,
    2020
    , pp. 32 -
    42
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. Bozzano, M.; Cimatti, A.; Mattarei, C.,
    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,
    in «MONDO DIGITALE»,
    vol. XVIII,
    n. 80,
    2019

Pages