-
Saloni, Matteo; Julien, Christine; Murphy, Amy L.; Picco, Gian Pietro,
Proceedings of the 3rd IEEE Annual International Smart Cities Conference (ISC2),
2017
, pp. 1-
6
, (IEEE International Smart Cities Conference,
Wuxi, China,
14-17 September 2017)
-
Stefano, Tonetta,
Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,
vol.256,
2017
, pp. 195-
209
, (Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,
Roma, Italy,
20-22 September2017)
-
Fauri, Davide; Dos Santos, Daniel Ricardo; Costante, Elisa; den Hartog, Jerry; Etalle, Sandro; Tonetta, Stefano,
Proceedings of the 2017 Workshop on Cyber-Physical Systems Securityand PrivaCy,
ACM,
2017
, pp. 13-
24
, (2017 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS17),
Dallas, Texas,
November 03, 2017)
-
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