Publications

11. 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)
12. 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)
13. 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)
14. 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)
15. 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)
16. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Model-Based Safety and Assessment,
    Springer,
    2017
17. 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
18. 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
19. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    Dynamic controllability via Timed Game Automata,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
20. 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

Pages