selected publications
-
academic article
-
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