Author of the publication

Modeling and verifying dynamic communication structures based on graph transformations.

, , , , , and . Comput. Sci. Res. Dev., 28 (1): 3-22 (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

Timed Hazard Analysis of Self-healing Systems., , and . Assurances for Self-Adaptive Systems, volume 7740 of Lecture Notes in Computer Science, Springer, (2013)Examples of Self-optimizing Systems., , , , , , , , , and 8 other author(s). Design Methodology for Intelligent Technical Systems, Springer, (2014)The Paradigm of Self-optimization., , , , , , , , , and 4 other author(s). Design Methodology for Intelligent Technical Systems, Springer, (2014)Component-Based Hazard Analysis for Mechatronic Systems., , , and . ISORC Workshops, page 80-87. IEEE Computer Society, (2011)Runtime safety analysis for safe reconfiguration., , , and . INDIN, page 1092-1097. IEEE, (2012)Modeling and Verifying Dynamic Communication Structures based on Graph Transformations., , , and . Software Engineering, volume P-159 of LNI, page 153-164. GI, (2010)Modeling and verifying dynamic communication structures based on graph transformations., , , , , and . Comput. Sci. Res. Dev., 28 (1): 3-22 (2013)The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, , , , , , , , , and . tr-ri-14-337. Heinz Nixdorf Institute, University of Paderborn, (2014)From timed automata to timed failure propagation graphs., , and . ISORC, page 1-8. IEEE Computer Society, (2013)Fujaba4Eclipse Real-Time Tool Suite., , , , and . Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 309-315. Springer, (2007)