You are here

Publications

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Springer,
    2017
  8. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017
  9. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017
  10. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42

Pages