Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano; COMPASS 3.0; in «Tools and Algorithms for the Construction and Analysis of Systems»; Being printed; pp.
Tian, Chun; Sangiorgi, Davide; Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018); Unique Solutions of Contractions, CCS, and their HOL Formalisation; in «Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)»; Vol. 276>; 2018; pp. 122-139
Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik; 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering; Symbolic execution with existential second-order constraints; in «Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018»; 2018; pp. 389-399
Grastien, Alban; Scala, Enrico; Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018); Sampling Strategies for Conformant Planning; in «AAAI Publications, Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018)»; 2018; pp.
Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio; Model checking: teoria ed applicazioni; in «Le direzioni della ricerca logica in Italia 2»; Edizioni ETS; 2018; pp. 141-193
