Publications

21. 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
22. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
    Formal Methods for Aerospace Systems,
    Cyber-Physical System Design from an Architecture Analysis Viewpoint,
    Springer,
    2017
    , pp. 133 -
    159
23. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design.
    2017
    , pp. 431 -
    432
24. Iova, Oana; Murphy, Amy Lynn; Picco, Gian Pietro; Ghiro, Lorenzo; Molteni, Davide; Ossi, Federico; Cagnacci, Francesca,
    LoRa from the City to the Mountains: Exploration of Hardware and Environmental Factors,
    Proceedings of the International Conference on Embedded Wireless Systems and Networks (EWSN) 2017,
    2017
    , pp. 317-
    322
    , (International Conference on Embedded Wireless Systems and Networks (EWSN) 2017,
    Uppsala, Sweden,
    20-22/02/2017)
25. Rajeev Piyare; Timofei Istomin; Amy L. Murphy,
    WaCo: A Wake-Up Radio COOJA Extension for Simulating Ultra Low Power Radios,
    Proceedings of the 14th International Conference on Embedded Wireless Systems and Networks,
    ACM,
    2017
    , pp. 48-
    53
    , (EWSN,
    Uppsala, Sweden,
    February 20-22)
26. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF,
    Tools and Algorithms for the Construction and Analysis of Systems,
    vol.10205,
    2017
    , pp. 58-
    75
    , (International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017,
    Uppsala, Sweden,
    24-28 April 2017)
27. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Satisfiability Modulo Transcendental Functions via Incremental Linearization,
    Automated Deduction – CADE 26,
    vol.10395,
    2017
    , pp. 95-
    113
    , (26th International Conference on Automated Deduction,
    Gothenburg, Sweden,
    August 6–11, 2017)
28. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic,
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2017
    , pp. 3547-
    3554
    , (Thirty-First AAAI Conference on Artificial Intelligence,
    San Francisco, California, USA.,
    February 4-9, 2017)
29. 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)
30. 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)

Pages