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.,
   Strong temporal planning with uncontrollable durations,
   in «ARTIFICIAL INTELLIGENCE»,
   vol. 256,
   2018
   , pp. 1 -
   34
3. Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
   Tightening the contract refinements of a system architecture,
   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,
   Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions,
   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,
   Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization,
   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 Specification and Verification of Dynamic Parametrized Architectures,
   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,
   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
8. 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)
9. 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)
10. 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)

Pages