Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Invariant Refinement Method., , , , , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Towards Dependable Emergent Ensembles of Components: The DEECo Component Model., , , and . WICSA/ECSA, page 249-252. IEEE, (2012)DEECo: an ecosystem for cyber-physical systems., , , , , , and . ICSE Companion, page 610-611. ACM, (2014)Architecture Adaptation Based on Belief Inaccuracy Estimation., , , , and . WICSA, page 87-90. IEEE Computer Society, (2014)Extensible Polyglot Programming Support in Existing Component Frameworks., , , and . EUROMICRO-SEAA, page 107-115. IEEE Computer Society, (2011)Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations., , , , , , and . J. Syst. Softw., (2016)Performance Awareness in Component Systems: Vision Paper., , , , and . COMPSAC Workshops, page 514-519. IEEE Computer Society, (2012)Towards Verification of Ensemble-Based Component Systems., , , , , and . FACS, volume 8348 of Lecture Notes in Computer Science, page 41-60. Springer, (2013)Gossiping Components for Cyber-Physical Systems., , , , , and . ECSA, volume 8627 of Lecture Notes in Computer Science, page 250-266. Springer, (2014)Capturing performance assumptions using stochastic performance logic., , , , , and . ICPE, page 311-322. ACM, (2012)