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. 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)
3. 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)
4. 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)
5. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
   Dynamic controllability via Timed Game Automata,
   in «ACTA INFORMATICA»,
   2016
   , pp. 1 -
   42
6. 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
7. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
   Infinite-state invariant checking with IC3 and predicate abstraction,
   in «FORMAL METHODS IN SYSTEM DESIGN»,
   2016
8. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
   The xSAP Safety Analysis Platform,
   Tools and Algorithms for the Construction and Analysis of Systems,
   Springer Berlin Heidelberg,
   vol.9636,
   2016
   , pp. 533-
   539
   , (Tools and Algorithms for the Construction and Analysis of Systems,
   Eindhoven, The Netherlands,
   2-8 aprile 2016)
9. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
   Automated Verification and Tightening of Failure Propagation Models,
   Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
   2016
   , pp. 907-
   913
   , (30th AAAI Conference on Artificial Intelligence (AAAI 2016),
   Phoenix, Arizona, Stati Uniti,
   12–17/02/2016)
10. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
    Automated Synthesis of Timed Failure Propagation Graphs,
    Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
    2016
    , pp. 972-
    978
    , (25th International Joint Conference on Artificial Intelligence,
    New York City, NY, Stati Uniti,
    9-15 July 2016)

Pages