You are here

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. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1 -
    34
  3. Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 52,
    n. 1,
    2018
    , pp. 88 -
    116
  4. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 19,
    n. 3,
    2018
    , pp. 1 -
    52
  5. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018,
    vol.10929,
    2018
    , pp. 383-
    398
    , (SAT 2018: Theory and Applications of Satisfiability Testing – SAT 2018,
    Oxford, UK,
    July 9–12, 2018)
  6. Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano,
    Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings,
    Springer,
    vol.10951,
    2018
    , pp. 625-
    644
    , (22nd International Symposium on Formal Methods, FM 2018,
    Oxford, UK,
    15-17 July 2018)
  7. Rajeev Piyare, Amy L.Murphy, Csaba Kiraly, Pietro Tosato and Davide Brunelli,
    in «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS»,
    vol. 19,
    n. 4,
    2017
    , pp. 2117 -
    2157
  8. 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)
  9. 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)
  10. 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)

Pages