2017

1. 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
2. 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
3. Griggio, Alberto; Rümmer, Philipp,
   Preface to special issue on satisfiability modulo theories,
   Formal Methods in System Design.
   2017
   , pp. 431 -
   432
4. 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)
5. 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)
6. 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)
7. 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)
8. 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)
9. 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)
10. 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