1. Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero and Andrei Tchaltsev (2012) Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. In CAV., pages 378-393. (url) (BibTeX)
  2. Maria Alpuente, Christophe Joubert, Stefan Kowalewski and Marco Roveri (2012) Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Science of Computer Programming. (url) (BibTeX)
  3. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2012) Validation of requirements for hybrid systems: A formal approach. {ACM} Trans. Softw. Eng. Methodol., 21(4):22. (url) (BibTeX)
  4. Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2012) Software Model Checking with Explicit Scheduler and Symbolic Threads. Logical Methods in Computer Science, 8(2). (url) (BibTeX)
  5. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2012) Solving Temporal Problems Using SMT: Strong Controllability. In Principles and Practice of Constraint Programming - 18th International Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October 8-12, 2012. Proceedings. (Michela Milano, Eds.) Springer, pages 248-264. (url) (BibTeX)
  6. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2012) Solving Temporal Problems Using SMT: Weak Controllability. In Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.. (J{\"{o}}rg Hoffmann and Bart Selman, Eds.) {AAAI} Press. (url) (BibTeX)
  7. Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2012) Verification of parametric system designs. In Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge, UK, October 22-25, 2012. (Gianpiero Cabodi and Satnam Singh, Eds.) {IEEE}, pages 122-130. (url) (BibTeX)
  8. Robin Steel, Alexander Hoffman, Mark Niézette, Alessandro Cimatti, Marco Roveri, Konstantinos Kapellos, Alessandro Donati and Nicola Policella (2012) Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground. In SpaceOps 2012 Conference.. (BibTeX)