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
FBK does not use any user profiling technique, but only technical cookies necessary for the normal functioning of the website and statistical tools. However, be careful if you use functions interacting with social networks, because these could track your navigation with their cookies.I understandTo find out more, read the privacy policy.