Publications

1. Bozzano, M.; Cimatti, A.; Mattarei, C.,
   Formal reliability analysis of redundant architectures,
   in «FORMAL ASPECTS OF COMPUTING»,
   to be published
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. Piyare, Rajeev Kumar; Murphy, Amy; Magno, Michele; Benini, Luca,
   On-Demand LoRa: Asynchronous TDMA for Energy Efficient and Low Latency Communication in IoT,
   in «SENSORS»,
   vol. 18,
   n. 11,
   2018
   , pp. 3718 -
6. Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio,
   Model checking: teoria ed applicazioni,
   Le direzioni della ricerca logica in Italia 2,
   Edizioni ETS,
   2018
   , pp. 141 -
   193
7. 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)
8. 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)
9. Piyare, Rajeev Kumar; Murphy, Amy L.; Magno, Michele; Benini, Luca,
   KRATOS: An Open Source Hardware - Software Platform for Rapid Research in LPWANs,
   IEEE 14th International Conference on Wireless and Mobile Computing, Networking and Communications,
   IEEE,
   2018
   , (IEEE 14th International Conference on Wireless and Mobile Computing, Networking and Communications,
   Cyprus,
   15-17th October 2018)
10. Kumar Piyare, Rajeev; Murphy, Amy L.; Magno, Michele; Benini, Luca,
    On-Demand TDMA for Energy Efficient Data Collection with LoRa and Wake-up Receiver,
    Proceedings of IEEE 14th International Conference on Wireless and Mobile Computing, Networking and Communications,
    IEEE,
    2018
    , (IEEE 14th International Conference on Wireless and Mobile Computing, Networking and Communications,
    Cyprus,
    15-17th October 2018)

Pages