Publications

11. Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul,
    Computation of the Transient in Max-Plus Linear Systems via SMT-Solving,
    Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings,
    vol.12288,
    2020
    , pp. 161-
    177
    , (Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020,
    Vienna, Austria,
    September 1-3, 2020)
12. Beirami, H.; Calzà, D.; Cimatti, A.; Islam, M. M.; Roveri, M.; Svaizer, P.,
    Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System,
    Proceedings of the 5th European Conference of the Prognostics and Health Management Society 2020,
    PHM Society,
    vol.5,
    n. 1,
    2020
    , pp. 12-
    22
    , (European Conference of the PHM Society 2020,
    27-31 July 2020)
13. Beirami, H.; Calzà, D.; Cimatti, A.; Islam, M.; Roveri, M.; Svaizer, P.,
    A Data-driven Approach for RUL Prediction of an Experimental Filtration System,
    Proceedings of the 5th European Conference of the Prognostics and Health Management Society 2020,
    PHM Society,
    vol.5,
    n. 1,
    2020
    , (5th European Conference of the Prognostics and Health Management Society 2020,
    27-31 July 2020)
14. Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo,
    A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System,
    Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
    Springer,
    vol.12478,
    2020
    , pp. 240-
    254
    , (9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
    Rhodes, Greece,
    October 20-30, 2020)
15. Istomin, Timofei; Leoni, Elia; Molteni, Davide; Murphy, Amy L.; Picco, Gian Pietro,
    Dual-radio discovery and ranging for infrastructure-less social distancing with Janus,
    SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems,
    2020
    , pp. 760-
    761
16. 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
17. 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
18. 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,
    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)
19. 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),
    vol.33,
    2019
    , (Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    Hilton Hawaiian Village, Honolulu, Hawaii, USA,
    January 27 – February 1, 2019)
20. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
    Extending nuXmv with Timed Transition Systems and Timed Temporal Properties,
    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)

Pages