- Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2013) Software Model Checking SystemC. {IEEE} Trans. on {CAD} of Integrated Circuits and Systems, 32(5):774-787. (url) (BibTeX)
- Mar{\'{\i}}a Alpuente, Christophe Joubert, Stefan Kowalewski and Marco Roveri (2013) Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program., 78(7):775-777. (url) (BibTeX)
- Alessandro Cimatti, Andrea Micheli and Marco Roveri (2013) Timelines with Temporal Uncertainty. In Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA.}. (Marie desJardins and Michael L. Littman, Eds.) {AAAI} Press. (url) (BibTeX)