1. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2008) Symbolic Compilation of PSL. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(10):1737-1750. (url) (BibTeX)
  2. Alessandro Cimatti, Marco Roveri, Viktor Schuppan and Andrei Tchaltsev (2008) Diagnostic Information for Realizability. In VMCAI., pages 52-67. (url) (BibTeX)
  3. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2008) Object Models with Temporal Constraints. In SEFM., pages 249-258. (url) (BibTeX)
  4. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2008) From Informal Requirements to Property-Driven Formal Validation. In FMICS., pages 166-181. (url) (BibTeX)
  5. Alessandro Cimatti, Andrea Guiotto and Marco Roveri (2008) On Board Model Checking for Space Applications. In ESA Workshop on Avionics Data, Control and Software Systems (ADCSS). ESA/ESTEC, Noordwijk, The Netherlands, oct. (BibTeX)
  6. Marco Bozzano, Alessandro Cimatti, Andrea Guiotto, Andrea Martelli, Marco Roveri, Andrei Tchaltsev and Yuri Yushtein (2008) On-Board Autonomy via Symbolic Model Based Reasoning. In 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA'2008). ESA/ESTEC, Noordwijk, The Netherlands, nov. (BibTeX)