You are here

Publications

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Springer,
    2017
  7. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017
  8. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017
  9. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
  10. Raza, Usman; Bogliolo, Alessandro; Freschi, Valerio; Lattanzi, Emanuele; Murphy, Amy L.,
    in «AD HOC NETWORKS»,
    vol. 45,
    2016
    , pp. 1 -
    12

Pages