-
Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
Tools and Algorithms for the Construction and Analysis of Systems,
Springer,
vol.11427,
2019
, pp. 379-
385
, (TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems,
Prague, Czech Republic,
April 6-11, 2019)
-
Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
vol.33,
2019
, (Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
Hilton Hawaiian Village, Honolulu, Hawaii, USA,
January 27 – February 1, 2019)
-
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019,
vol.11561,
2019
, pp. 376-
386
, (International Conference on Computer Aided Verification, CAV 2019,
New York City, NY, USA,
15-18 July 2019)
-
Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019,
Springer,
vol.11698,
2019
, pp. 200-
215
, (38th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2019,
Turku, Finland,
10-13 September 2019)
-
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
Runtime Verification (RV 2019),
Cham,
Springer,
vol.11757,
n. 10,
2019
, pp. 165-
184
, (19th International Conference on Runtime Verification,
Porto, Portugal,
October 8–11, 2019)
-
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
Runtime Verification (RV 2019),
Cham,
Springer,
vol.11757,
n. 23,
2019
, pp. 382-
392
, (19th International Conference on Runtime Verification,
Porto, Portugal,
October 8–11, 2019)
-
Ferron, Michela; Leonardi, Chiara; Massa, Paolo; Schiavo, Gianluca; Murphy, Amy L.; Farella, Elisabetta,
CHI '19: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems,
2019
, pp. 1-
12
, (2019 CHI Conference on Human Factors in Computing Systems (CHI '19),
Glasgow Scotland Uk,
May 4-9 2019)
-
Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (eds.),
Model-Based Safety and Assessment,
2019
-
Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
in «ARTIFICIAL INTELLIGENCE»,
vol. 256,
2018
, pp. 1 -
34
-
Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
in «FORMAL METHODS IN SYSTEM DESIGN»,
vol. 52,
n. 1,
2018
, pp. 88 -
116