Publications

11. Trobinger, Matteo; Istomin, Timofei; Murphy, Amy Lynn; Pietro Picco, Gian,
    CRYSTAL Clear – Making Interference Transparent (EWSN Dependability Competition),
    Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks,
    ACM,
    2018
    , pp. 217-
    218
    , (Embedded Wireless Systems and Networks,
    Madrid, Spain,
    February 14 - 16, 2018)
12. Istomin, Timofei; Trobinger, Matteo; Murphy, Amy Lynn; Picco, Gian Pietro,
    Interference-Resilient Ultra-Low Power Aperiodic Data Collection,
    Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks,
    2018
    , pp. 84-
    95
    , (International Conference on Information Processing in Sensor Networks,
    Porto, Portugal,
    11-13 April 2018)
13. Ceriotti, Matteo; Murphy, Amy L.,
    Reins-MAC: Firefly Inspired Communication Scheduling for Reliable Low-Power Wireless,
    Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems,
    2018
    , (International Conference on Self-Adaptive and Self-Organizing Systems,
    Trento, Italy,
    annual)
14. Liu, Chenguang; Julien, Christine; Murphy, Amy L.,
    PINCH: Self-Organized Context Neighborhoods for Smart Environments,
    Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems,
    2018
    , (International Conference on Self-Adaptive and Self-Organizing Systems,
    Trento, Italy,
    Annual)
15. Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe,
    Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks,
    2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, Texas, October 30-November 2, 2018,
    2018
16. Zottele, Fabio; Roveri, Marco; Rigo, Elia; Simoni, Eros; Villa, Paolo; Toller, Giambattista,
    GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation,
    Atti del XXI Convegno Nazionale di Agrometeorologia Agrometeorologia per le Politiche di Sviluppo Rurale Agrometeorology for Rural Development Policies,
    2018
    , pp. 70-
    73
    , (Agrometeorologia per le Politiche di Sviluppo Rurale,
17. Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik,
    Symbolic execution with existential second-order constraints,
    Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018,
    2018
    , pp. 389-
    399
    , (26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
    Lake Buena Vista, FL, USA,
    November 04 - 09, 2018)
18. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying Proofs for LTL Model Checking,
    Formal Methods in Computer-Aided Design, FMCAD 2018,
    2018
    , pp. 225-
    233
    , (Formal Methods in Computer-Aided Design (FMCAD '18),
    Austin, Texas,
    30 Oct - 2 Nov, 2018)
19. Cerone, Antonio; Roveri, Marco (eds.),
    Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers,
    2018
20. Rajeev Piyare, Amy L.Murphy, Csaba Kiraly, Pietro Tosato and Davide Brunelli,
    Ultra Low Power Wake-Up Radios: A Hardware and Networking Survey,
    in «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS»,
    vol. 19,
    n. 4,
    2017
    , pp. 2117 -
    2157

Pages