-
Rajeev Piyare, Amy L.Murphy, Csaba Kiraly, Pietro Tosato and Davide Brunelli,
in «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS»,
vol. 19,
n. 4,
2017
, pp. 2117 -
2157
-
Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
Cyber-Physical System Design from an Architecture Analysis Viewpoint,
Springer,
2017
, pp. 133 -
159
-
Griggio, Alberto; Rümmer, Philipp,
Preface to special issue on satisfiability modulo theories,
Formal Methods in System Design.
2017
, pp. 431 -
432
-
Iova, Oana; Murphy, Amy Lynn; Picco, Gian Pietro; Ghiro, Lorenzo; Molteni, Davide; Ossi, Federico; Cagnacci, Francesca,
Proceedings of the International Conference on Embedded Wireless Systems and Networks (EWSN) 2017,
2017
, pp. 317-
322
, (International Conference on Embedded Wireless Systems and Networks (EWSN) 2017,
Uppsala, Sweden,
20-22/02/2017)
-
Rajeev Piyare; Timofei Istomin; Amy L. Murphy,
Proceedings of the 14th International Conference on Embedded Wireless Systems and Networks,
ACM,
2017
, pp. 48-
53
, (EWSN,
Uppsala, Sweden,
February 20-22)
-
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)