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. 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)
  7. 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)
  8. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Springer,
    2017
  9. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017
  10. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017

Pages