Author of the publication

Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering.

, , , , and . MSR, page 362-373. ACM, (2020)

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

Model-Based Engineering of Supervisory Controllers using CIF., , , and . ECEASST, (2009)Udapt: edapt extensions for industrial application., , , and . ITSLE@SPLASH, page 21-22. ACM, (2016)Model-based specification, analysis and synthesis of servo controllers for lithoscanners., , and . MPM@MoDELS, page 55-60. ACM, (2012)Active Learning of Industrial Software with Data., , and . FSEN, volume 11761 of Lecture Notes in Computer Science, page 95-110. Springer, (2019)Modular model-based supervisory controller design for wafer logistics in lithography machines., , , , , , and . MoDELS, page 416-425. IEEE Computer Society, (2015)Constructive Model Inference: Model Learning for Component-based Software Architectures., , , , and . ICSOFT, page 146-158. SCITEPRESS, (2022)Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems., , , , and . ACM Trans. Cyber Phys. Syst., 5 (2): 15:1-15:26 (2021)Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems., , , , and . SCOPES, page 1-9. ACM, (2018)Formal Semantics of Hybrid Chi., , , , and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 151-165. Springer, (2003)Simulation and Verification of Hybrid Systems using Chi., , and . ADHS, volume 39 of IFAC Proceedings Volumes, page 265-266. Elsevier, (2006)