Publications

51. Saloni, Matteo; Julien, Christine; Murphy, Amy L.; Picco, Gian Pietro,
    Lasso: A device-to-device group monitoring service for smart cities,
    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)
52. Stefano, Tonetta,
    Linear-time Temporal Logic with Event Freezing Functions,
    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)
53. Fauri, Davide; Dos Santos, Daniel Ricardo; Costante, Elisa; den Hartog, Jerry; Etalle, Sandro; Tonetta, Stefano,
    From System Specification to Anomaly Detection (and back),
    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)
54. Bozzano, Marco,
    Causality and Temporal Dependencies in the Design of Fault Management Systems,
    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)
55. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Model-Based Safety and Assessment,
    Springer,
    2017
56. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops,
    ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
    12, 2017, Proceedings,
    Springer,
    2017
57. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Computer Safety, Reliability, and Security - 36th International Conference,
    SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings,
    Springer,
    2017
58. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    Dynamic controllability via Timed Game Automata,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
59. Raza, Usman; Bogliolo, Alessandro; Freschi, Valerio; Lattanzi, Emanuele; Murphy, Amy L.,
    A two-prong approach to energy-efficient WSNs: Wake-up receivers plus dedicated, model-based sensing,
    in «AD HOC NETWORKS»,
    vol. 45,
    2016
    , pp. 1 -
    12
60. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Infinite-state invariant checking with IC3 and predicate abstraction,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016

Pages