You are here

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; 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
  3. 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
  4. 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)
  5. Traverso, Paolo; Pistore, Marco; Farella, Elisabetta; Murphy, Amy L.; Marconi, Annapaola; Forner, Pamela,
    in «MONDO DIGITALE»,
    vol. XVIII,
    n. 80,
    2019
  6. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1 -
    34
  7. Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
    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,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 19,
    n. 3,
    2018
    , pp. 1 -
    52
  9. Piyare, Rajeev Kumar; Murphy, Amy; Magno, Michele; Benini, Luca,
    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