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
- Towards an Architecture for Runtime Interoperability. Lecture Notes in Computer Science. 206-220. 2010