- Alberto Griggio and Marco Roveri (2016) Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. {IEEE} Trans. on {CAD} of Integrated Circuits and Systems, 35(6):1026-1039. (url) (BibTeX)
- Alessandro Cimatti, Andrea Micheli and Marco Roveri (2016) Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. In Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA.}., pages 3116-3122. (url) (BibTeX)
- Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri and Roberto Sebastiani (2016) Verilog2SMV: A tool for word-level verification. In 2016 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016., pages 1156-1159. (url) (BibTeX)