Publications

1. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
   SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators,
   in «INFORMATION AND COMPUTATION»,
   to be published
2. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
   COMPASS 3.0,
   Tools and Algorithms for the Construction and Analysis of Systems,
   to be published
3. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
   Robustness Envelopes for Temporal Plans,
   Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
   to be published
   , (Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
   Hilton Hawaiian Village, Honolulu, Hawaii, USA,
   January 27 – February 1, 2019)
4. Bozzano, M.; Cimatti, A.; Mattarei, C.,
   Formal reliability analysis of redundant architectures,
   in «FORMAL ASPECTS OF COMPUTING»,
   vol. 31,
   n. 1,
   2019
   , pp. 59 -
   94
5. Traverso, Paolo; Pistore, Marco; Farella, Elisabetta; Murphy, Amy L.; Marconi, Annapaola; Forner, Pamela,
   Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona,
   in «MONDO DIGITALE»,
   vol. XVIII,
   n. 80,
   2019
6. 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
7. 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
8. 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
9. 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 -
10. 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

Pages