Author of the publication

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.

, , , , , , , , , , and . Software Engineering for Self-Adaptive Systems, volume 7475 of Lecture Notes in Computer Science, page 108-132. Springer, (2010)

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

Applying a Model Transformation Taxonomy to Graph Transformation Technology, , , and . Proc. Int'l Workshop on Graph and Model Transformation (GraMoT), (September 2005)The New Metamodeling Generation., , , and . ECBS, page 275-. IEEE Computer Society, (2001)Design Tool Integration: An Exercise in Semantic Interoperability.. ECBS, page 272-278. IEEE Computer Society, (2000)CSC: Criticality-Sensitive Coordination., , , , , , , , , and 2 other author(s). AAMAS, page 1441-1442. ACM, (2006)Application of software health management techniques., , and . SEAMS, page 1-10. ACM, (2011)A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems., , , , , and . SPSR-SG@CPSWeek, page 41-46. ACM, (2017)Model-integrated development of embedded software., , , and . Proc. IEEE, 91 (1): 145-164 (2003)A co-simulation framework for design of time-triggered automotive cyber physical systems., , , , , and . Simul. Model. Pract. Theory, (2014)Metamodelling - State of the Art and Research Challenges., , , and . Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 57-76. Springer, (2007)Applying a Model Transformation Taxonomy to Graph Transformation Technology., , , and . GRaMoT@GPCE, volume 152 of Electronic Notes in Theoretical Computer Science, page 143-159. Elsevier, (2005)