Author of the publication

Specifying Intra-Component Dependencies for Synthesizing Component Behaviors.

, , and . ModComp@MoDELS, volume 1281 of CEUR Workshop Proceedings, page 16-25. CEUR-WS.org, (2014)

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

Gropius - A Tool for Managing Cross-component Issues., , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 82-94. Springer, (2020)Transactional execution of hierarchical reconfigurations in cyber-physical systems., , and . Softw. Syst. Model., 18 (1): 157-189 (2019)Towards cognitive obfuscation: impeding hardware reverse engineering based on psychological insights., , , , , , , and . ASP-DAC, page 104-111. ACM, (2019)Project Deliverable D6.1: Method and Abstract Workflow, , , , , , , , , and 2 other author(s). (November 2010)Investigating the Use of AI-Generated Exercises for Beginner and Intermediate Programming Courses: A ChatGPT Case Study., , and . CSEE&T, page 142-146. IEEE, (2023)Using Online Working Sessions as an Evaluation Technique for Research in SPE: Experience and Lessons Learned (Poster)., , and . SSP, volume 3043 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Promoting the Acquisition of Hardware Reverse Engineering Skills., , , , and . FIE, page 1-9. IEEE, (2019)Teaching Hardware Reverse Engineering: Educational Guidelines and Practical Insights., , , , , , and . TALE, page 438-445. IEEE, (2018)Towards Performance Engineering of Model Transformation., , and . ICPE Companion, page 33-36. ACM, (2018)A Saga Pattern Microservice Reference Architecture for an Elastic SLO Violation Analysis., , and . ICSA Companion, page 116-119. IEEE, (2022)