You are here

Publications

  1. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    to be published
    , pp. 1 -
    34
  2. 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)
  3. 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
  4. Iova, Oana; Murphy, Amy Lynn; Picco, Gian Pietro; Ghiro, Lorenzo; Molteni, Davide; Ossi, Federico; Cagnacci, Francesca,
    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,
    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,
    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,
    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,
    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,
    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. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42

Pages