-
Bozzano, Marco,
in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»
Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
vol.259,
2017
, pp. 39-
46
, (2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
Uppsala, Sweden,
29th April 2017)
-
Marco, Bozzano; Yiannis, Papadopoulos (eds.),
Springer,
2017
-
Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops,
ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
12, 2017, Proceedings,
Springer,
2017
-
Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
Springer,
2017
-
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
in «ACTA INFORMATICA»,
2016
, pp. 1 -
42
-
Raza, Usman; Bogliolo, Alessandro; Freschi, Valerio; Lattanzi, Emanuele; Murphy, Amy L.,
in «AD HOC NETWORKS»,
vol. 45,
2016
, pp. 1 -
12
-
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
in «FORMAL METHODS IN SYSTEM DESIGN»,
2016
-
Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.,
in «ACM COMMUNICATIONS IN COMPUTER ALGEBRA»,
vol. 50,
n. 4,
2016
, pp. 145 -
147
-
Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
Tools and Algorithms for the Construction and Analysis of Systems,
Springer Berlin Heidelberg,
vol.9636,
2016
, pp. 533-
539
, (Tools and Algorithms for the Construction and Analysis of Systems,
Eindhoven, The Netherlands,
2-8 aprile 2016)
-
Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
2016
, pp. 907-
913
, (30th AAAI Conference on Artificial Intelligence (AAAI 2016),
Phoenix, Arizona, Stati Uniti,
12–17/02/2016)