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

Examples of Self-optimizing Systems., , , , , , , , , and 8 other author(s). Design Methodology for Intelligent Technical Systems, Springer, (2014)Verification and simulation of self-adaptive mechatronic systems.. University of Paderborn, (2015)Towards Safe Execution of Reconfigurations in Cyber-Physical Systems., , and . CBSE, page 33-38. IEEE Computer Society, (2016)Reachability Analysis on Timed Graph Transformation Systems., , and . ECEASST, (2010)Real-Time Coordination Patterns for Advanced Mechatronic Systems., , and . COORDINATION, volume 7274 of Lecture Notes in Computer Science, page 166-180. Springer, (2012)Structuring Complex Story Diagrams by Polymorphic Calls, , , and . Software Engineering Group, Heinz Nixdorf Institute, (2011)A discipline-spanning development process for self-adaptive mechatronic systems., , , and . ICSSP, page 36-45. ACM, (2013)Automata-Based Refinement Checking for Real-Time Systems., , , and . Software Engineering, volume P-213 of LNI, page 99-112. GI, (2013)Transactional execution of hierarchical reconfigurations in cyber-physical systems, , and . Softw. Syst. Model., 18 (1): 157--189 (2019)Solving the Movie Database Case with QVTo., and . TTC@STAF, volume 1305 of CEUR Workshop Proceedings, page 98-102. CEUR-WS.org, (2014)