selected publications

• academic article

  • TEPE.  ACM SIGSOFT Software Engineering Notes.  36:1-8. 2011

• chapter

  • Fast Simulation Techniques for Design Space Exploration.  Lecture notes in business information processing. 308-327. 2009

• conference paper

  • AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.  . 1-10. 2011
  • An Interactive System Level Simulation Environment for Systems- on-Chip.  HAL (Le Centre pour la Communication Scientifique Directe). 2010