You are here

Publications

  1. 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)
  2. 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)
  3. 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)
  4. Ferron, Michela; Leonardi, Chiara; Massa, Paolo; Schiavo, Gianluca; Murphy, Amy L.; Farella, Elisabetta,
    CHI '19: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems,
    2019
    , pp. 1-
    12
    , (2019 CHI Conference on Human Factors in Computing Systems (CHI '19),
    Glasgow Scotland Uk,
    May 4-9 2019)
  5. Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (eds.),
    Model-Based Safety and Assessment,
    2019
  6. Cimatti, Alessandro; Do, Minh; 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