Publications

11. Farella, Elisabetta; Rusci, Manuele; Milosevic, Bojan; Murphy, Amy Lynn,
    Technologies for a Thing-Centric Internet of Things,
    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)
12. Rajeev Kumar Piyare, ; Murphy, Amy L.; Pietro, Tosato; Davide, Brunelli,
    Plug into a Plant: Using a Plant Microbial Fuel Cell and a Wake-Up Radio for an Energy Neutral Sensing System.,
    IEEE 42nd Conference on Local Computer Networks Workshops,
    IEEE,
    2017
    , pp. 18-
    25
    , (IEEE 42nd Conference on Local Computer Networks Workshops,
    Singapore,
    October)
13. Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko,
    SMT-based analysis of switching multi-domain linear Kirchhoff networks,
    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)
14. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.,
    Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study,
    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)
15. 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)
16. 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)
17. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Model-Based Safety and Assessment,
    Springer,
    2017
18. 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
19. 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
20. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    Dynamic controllability via Timed Game Automata,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42

Pages