selected publications

• chapter

  • Secure Code Execution: A Generic PUF-Driven System Architecture.  Lecture Notes in Computer Science. 2018

• conference paper

  • Comparative Application of Real-Time Verification Methods to an Automotive Architecture.  HAL (Le Centre pour la Communication Scientifique Directe). 2010
  • Schedulability analysis of heterogeneous systems for performance message sequence chart.  . 1998