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
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
Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano; 22nd International Symposium on Formal Methods, FM 2018; Formal Specification and Verification of Dynamic Parametrized Architectures; in «Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings»; Springer; Vol. 10951>; 2018; pp. 625-644
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; SAT 2018: Theory and Applications of Satisfiability Testing – SAT 2018; Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization; in «Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018»; Vol. 10929>; 2018; pp. 383-398