Publications

1. Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening,
   Deciding Floating-Point Logic with Systematic Abstraction,
   to be published
   , (Formal Methods in Computer-Aided Design, FMCAD 2012,
   Cambridge, UK,
   22-25 ottobre 2012)
2. 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»,
   2017
3. 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 MadCom: New Wireless Communication Paradigms for the Internet of Things Workshop,
   2017
   , (MadCom: New Wireless Communication Paradigms for the Internet of Things,
   Uppsala, Sweden,
   February 20, 2017)
4. 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)
5. 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)
6. 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)
7. 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)
8. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
   Dynamic controllability via Timed Game Automata,
   in «ACTA INFORMATICA»,
   2016
   , pp. 1 -
   42
9. 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
10. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Infinite-state invariant checking with IC3 and predicate abstraction,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016

Pages