1. Robin Steel, Alexander Hoffman, Alessandro Cimatti, Marco Roveri, Konstantinos Kapellos and Alessandro Donati and Nicola Policella (2011) Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead. In International Workshop on Planning and Scheduling for Space, IWPSS 2011.. (BibTeX)
  2. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2011) Formalizing requirements with object models and temporal constraints. Software and System Modeling, 10(2):147-160. (url) (BibTeX)
  3. Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri and Stefano Tonetta (2011) Symbolic Model Checking and Safety Assessment of Altarica models. ECEASST, 46. (url) (BibTeX)
  4. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll and Marco Roveri (2011) Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J., 54(5):754-775. (url) (BibTeX)
  5. Marco Bozzano, Alessandro Cimatti, Marco Roveri and Andrei Tchaltsev (2011) A Comprehensive Approach to On-Board Autonomy Verification and Validation. In IJCAI., pages 2398-2403. (url) (BibTeX)
  6. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2011) Validation of Requirements for Hybrid Systems: a Formal Approach. ACM Trans. Softw. Eng. Methodol.. (BibTeX)
  7. Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2011) Boosting Lazy Abstraction for SystemC with Partial Order Reduction. In TACAS., pages 341-356. (url) (BibTeX)
  8. Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya and Marco Roveri (2011) Kratos - A Software Model Checker for SystemC. In CAV., pages 310-316. (url) (BibTeX)
  9. Daniele Campana, Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2011) An Analytic Evaluation of SystemC Encodings in Promela. In SPIN., pages 90-107. (url) (BibTeX)