You are here

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. 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)
  3. Bozzano, M.; Cimatti, A.; Mattarei, C.,
    in «FORMAL ASPECTS OF COMPUTING»,
    vol. 31,
    n. 1,
    2019
    , pp. 59 -
    94
  4. Traverso, Paolo; Pistore, Marco; Farella, Elisabetta; Murphy, Amy L.; Marconi, Annapaola; Forner, Pamela,
    in «MONDO DIGITALE»,
    vol. XVIII,
    n. 80,
    2019
  5. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol.11427,
    2019
    , pp. 379-
    385
    , (TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems,
    Prague, Czech Republic,
    April 6-11, 2019)
  6. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
    Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019,
    vol.11561,
    2019
    , pp. 376-
    386
    , (International Conference on Computer Aided Verification, CAV 2019,
    New York City, NY, USA,
    15-18 July 2019)
  7. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019,
    Springer,
    vol.11698,
    2019
    , pp. 200-
    215
    , (38th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2019,
    Turku, Finland,
    10-13 September 2019)
  8. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Runtime Verification (RV 2019),
    Cham,
    Springer,
    vol.11757,
    n. 10,
    2019
    , pp. 165-
    184
    , (19th International Conference on Runtime Verification,
    Porto, Portugal,
    October 8–11, 2019)
  9. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Runtime Verification (RV 2019),
    Cham,
    Springer,
    vol.11757,
    n. 23,
    2019
    , pp. 382-
    392
    , (19th International Conference on Runtime Verification,
    Porto, Portugal,
    October 8–11, 2019)
  10. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1 -
    34

Pages