1. Marco Bozzano, Alessandro Cimatti, Marco Roveri and Andrei Tchaltsev (2009) A comprehensive approach to on-board autonomy verification and validation. In ICAPS 2009 Workshop on Verification and Validation of Planning and Scheduling Systems (VV\&PS 2009). Thessaloniki, Greece, sep. (BibTeX)
  2. Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen and Thomas Noll (2009) Codesign of dependable systems: a component-based modeling language. In MEMOCODE'09: Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign. Piscataway, NJ, USA. IEEE Press, pages 121-130. (BibTeX)
  3. Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen and Thomas Noll (2009) Codesign of dependable systems: A component-based modeling language. In MEMOCODE., pages 121-130. (url) (BibTeX)
  4. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll and Marco Roveri (2009) The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In SAFECOMP., pages 173-186. (url) (BibTeX)
  5. Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila and Marco Roveri (2009) Structure-aware computation of predicate abstraction. In FMCAD., pages 9-16. (url) (BibTeX)
  6. Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen and Thomas Noll (2009) Verification and performance evaluation of aadl models. In ESEC/SIGSOFT FSE., pages 285-286. (url) (BibTeX)
  7. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2009) Requirements Validation for Hybrid Systems. In CAV., pages 188-203. (url) (BibTeX)
  8. Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi and Stefano Tonetta (2009) Supporting Requirements Validation: The EuRailCheck Tool. In ASE., pages 665-667. (url) (BibTeX)
  9. Cimatti, Alessandro, Roveri, Marco, Susi, Angelo and Tonetta, Stefano (2009) Formalizing requirements with object models and temporal constraints. Software and Systems Modeling. (url) (BibTeX)