1. Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri and Andrei Tchaltsev (2007) RAT: A Tool for the Formal Analysis of Requirements. In CAV., pages 263-267. (url) (BibTeX)
  2. Alessandro Cimatti, Marco Roveri, Viktor Schuppan and Stefano Tonetta (2007) Boolean Abstraction for Temporal Logic Satisfiability. In CAV., pages 532-546. (url) (BibTeX)
  3. Roberto Cavada, Alessandro Cimatti, Anders Franz{\'e}n, Krishnamani Kalyanasundaram, Marco Roveri and R. K. Shyamasundar (2007) Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. In FMCAD., pages 69-76. (url) (BibTeX)
  4. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2007) Syntactic Optimizations for PSL Verification. In TACAS., pages 505-518. (url) (BibTeX)
  5. Roderick Bloem, Alessandro Cimatti, Ingo Pill and Marco Roveri (2007) Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci., 18(4):727-743. (url) (BibTeX)
  6. Roderick Bloem, Marco Roveri and Fabio Somenzi (2007) Preface. Electr. Notes Theor. Comput. Sci., 174(4):1. (url) (BibTeX)