selected publications

• blog posting

  • Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE.  HAL (Le Centre pour la Communication Scientifique Directe). 2013
  • Initial Architectural Style for CHOReOS Choreographies (D1.3).  HAL (Le Centre pour la Communication Scientifique Directe). 2011

• chapter

  • Synthesis and Verification of Self-aware Computing Systems.  Springer eBooks. 337-373. 2017