-
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
-
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
in «INFORMATION AND COMPUTATION»,
vol. 272,
2020
-
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
-
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)
-
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)
-
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)
-
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)
-
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)
-
Bozzano, M.; Cimatti, A.; Mattarei, C.,
in «FORMAL ASPECTS OF COMPUTING»,
vol. 31,
n. 1,
2019
, pp. 59 -
94
-
Traverso, Paolo; Pistore, Marco; Farella, Elisabetta; Murphy, Amy L.; Marconi, Annapaola; Forner, Pamela,
in «MONDO DIGITALE»,
vol. XVIII,
n. 80,
2019