Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa; Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19); Robustness Envelopes for Temporal Plans; in «Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)»; Vol. 33>; 2019; pp.
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano; 19th International Conference on Runtime Verification; NuRV: a nuXmv Extension for Runtime Verification; in «Runtime Verification (RV 2019)»; Cham; Springer; Vol. 11757>; 2019; pp. 382-392
Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano; 38th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2019; Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems; in «Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019»; Springer; Vol. 11698>; 2019; pp. 200-215
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano; International Conference on Computer Aided Verification, CAV 2019; Extending nuXmv with Timed Transition Systems and Timed Temporal Properties; in «Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019»; Vol. 11561>; 2019; pp. 376-386
Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano; TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems; COMPASS 3.0; in «Tools and Algorithms for the Construction and Analysis of Systems»; Springer; Vol. 11427>; 2019; pp. 379-385