-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
Tools and Algorithms for the Construction and Analysis of Systems,
vol.10205,
2017
, pp. 58-
75
, (International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017,
Uppsala, Sweden,
24-28 April 2017)
-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
Automated Deduction – CADE 26,
vol.10395,
2017
, pp. 95-
113
, (26th International Conference on Automated Deduction,
Gothenburg, Sweden,
August 6–11, 2017)
-
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
AAAI Press,
2017
, pp. 3547-
3554
, (Thirty-First AAAI Conference on Artificial Intelligence,
San Francisco, California, USA.,
February 4-9, 2017)
-
Farella, Elisabetta; Rusci, Manuele; Milosevic, Bojan; Murphy, Amy Lynn,
Future Internet of Things and Cloud (FiCloud), 2017 IEEE 5th International Conference on,
IEEE,
2017
, pp. 77-
84
, (Future Internet of Things and Cloud (FiCloud), 2017 IEEE 5th International Conference on,
Prague, Czech Republic,
21-23 Aug. 2017)
-
Rajeev Kumar Piyare, ; Murphy, Amy L.; Pietro, Tosato; Davide, Brunelli,
IEEE 42nd Conference on Local Computer Networks Workshops,
IEEE,
2017
, pp. 18-
25
, (IEEE 42nd Conference on Local Computer Networks Workshops,
Singapore,
October)
-
Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko,
Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017),
2017
, pp. 188-
195
, (Formal Methods in Computer Aided Design (FMCAD), 2017,
Vienna, Austria,
October 2-6, 2017)
-
Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.,
Proceedings of International Symposium on Model-Based Safety and Assessment,
Springer,
vol.10437,
2017
, pp. 255-
271
, (Model-Based Safety and Assessment (IMBSA 2017),
Trento, Italy,
11-13 settembre 2017)
-
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)