1. Alessandro Cimatti, Sergio Mover, Marco Roveri and Stefano Tonetta (2010) From Sequential Extended Regular Expressions to NFA with Symbolic Labels. In CIAA., pages 87-94. (url) (BibTeX)
  2. Alessandro Cimatti, Andrea Micheli, Iman Narasamndya and Marco Roveri (2010) Verifying SystemC: a Software Model Checking Approach. In FMCAD 2010. (N. Sharigina and R. Bloem, Eds.) Pages 51-60. (BibTeX)
  3. Alessandro Cimatti, Andrea Micheli, Iman Narasamdya and Marco Roveri (2010) Verifying SystemC: A software model checking approach. In FMCAD., pages 51-59. (url) (BibTeX)
  4. Alessandro Cimatti, Sergio Mover, Marco Roveri and Stefano Tonetta (2010) From Sequential Extended Regular Expressions to NFA with Symbolic Labels. In 15th International Conference on Implementation and Application of Automata (CIAA 2010). aug. (BibTeX)
  5. Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert K{\"o}nighofer, Marco Roveri, Viktor Schuppan and Richard Seeber (2010) RATSY - A New Requirements Analysis Tool with Synthesis. In CAV., pages 425-429. (url) (BibTeX)
  6. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri and Ralf Wimmer (2010) A Model Checker for AADL. In CAV., pages 562-565. (url) (BibTeX)
  7. Giuseppe Di~Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia and Marco Roveri (2010) Semi-formal functional verification by EFSM traversing via NuSMV. In High Level Design Validation and Test Workshop (HLDVT 2010).. IEEE International, pages 58-65. (BibTeX)
  8. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2010) Formalization and Validation of Safety-Critical Requirements. Electronic Proceedings in Theoretical Computer Science (EPTCS), 20:68-75. (url) (BibTeX)
  9. Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta and Berardino Vittorini (2010) Formalization and validation of a subset of the European Train Control System. In ICSE (2)., pages 109-118. (url) (BibTeX)
  10. Alessandro Cimatti, Anders Franz{\'e}n, Alberto Griggio, Krishnamani Kalyanasundaram and Marco Roveri (2010) Tighter integration of BDDs and SMT for Predicate Abstraction. In DATE., pages 1707-1712. (url) (BibTeX)