selected publications

• academic article

  • Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons.  Techniques et sciences informatiques.  30:309-337. 2011
  • TEPE.  ACM SIGSOFT Software Engineering Notes.  36:1-8. 2011

• chapter

  • Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.  Lecture notes in computer science. 91-106. 2013

• conference paper

  • Making Modeling Assumptions an Explicit Part of Real-Time Systems Models.  HAL (Le Centre pour la Communication Scientifique Directe). 2016