Author of the publication

Towards the compositional verification of real-time UML designs.

, , , and . ESEC / SIGSOFT FSE, page 38-47. ACM, (2003)

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

Planning Self-adaption with Graph Transformations., and . AGTIVE, volume 7233 of Lecture Notes in Computer Science, page 137-152. Springer, (2011)An exploratory study on performance engineering in model transformations., , , and . MoDELS, page 308-319. ACM, (2020)Monitoring the Execution of Declarative Model Transformations., , and . Softwaretechnik-Trends, 39 (3): 28-30 (2019)Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis., , , , , and . CoRR, (2023)A systematic review on security and safety of self-adaptive systems., , , , , , and . J. Syst. Softw., (September 2023)What Is the Future of Modeling?, , , , , , , and . IEEE Softw., 38 (2): 119-127 (2021)Implementing Graph Transformations in the Bulk Synchronous Parallel Model., , and . Software Engineering & Management, volume P-239 of LNI, page 99-100. GI, (2015)Rapid Continuous Software Engineering., , , and . J. Syst. Softw., (2017)Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements., and . HuFaMo@MoDELS, volume 1522 of CEUR Workshop Proceedings, page 17-24. CEUR-WS.org, (2015)Insights for Improving Diagram Editing Gained from an Empirical Study., , , , , and . MoDELS (Companion), page 405-412. IEEE, (2019)