Author of the publication

Timed Hazard Analysis of Self-healing Systems.

, , and . Assurances for Self-Adaptive Systems, volume 7740 of Lecture Notes in Computer Science, Springer, (2013)

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

Methods for the Design and Development., , , , , , , , , and 18 other author(s). Design Methodology for Intelligent Technical Systems, Springer, (2014)Bounded Model Checking of Graph Transformation Systems via SMT Solving., , and . FMOODS/FORTE, volume 7892 of Lecture Notes in Computer Science, page 178-192. Springer, (2013)Verification of infinite-state graph transformation systems via abstraction.. University of Paderborn, (2015)Grammar-Based Model Transformations., , and . FedCSIS, page 1601-1610. (2014)Sound and Complete Abstract Graph Transformation., , and . SBMF, volume 7021 of Lecture Notes in Computer Science, page 92-107. Springer, (2011)Timed Hazard Analysis of Self-healing Systems., , and . Assurances for Self-Adaptive Systems, volume 7740 of Lecture Notes in Computer Science, Springer, (2013)Towards A Shape Analysis for Graph Transformation Systems, , and . CoRR, (2010)Grammar-based model transformations: Definition, execution, and quality properties., , and . Computer Languages, Systems & Structures, (2015)