1. 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)
  2. 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)
  3. 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)
  4. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2008) Object Models with Temporal Constraints. In SEFM., pages 249-258. (url) (BibTeX)
  5. 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)
  6. Alessandro Cimatti, Marco Roveri, Viktor Schuppan and Andrei Tchaltsev (2008) Diagnostic Information for Realizability. In VMCAI., pages 52-67. (url) (BibTeX)