Author of the publication

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

A controller synthesis framework for automated service composition., , and . Discrete Event Dynamic Systems, 29 (3): 297-365 (2019)Execution of Partial State Machine Models., , , and . CoRR, (2021)Execution of Partial State Machine Models., , , and . IEEE Trans. Software Eng., 48 (3): 951-972 (2022)Facilitating Ontology Co-evolution with Ontology Instance Migration., and . KEOD, page 441-446. SciTePress, (2015)978-989-758-158-8.Incremental symbolic execution of evolving state machines., and . MoDELS, page 14-23. IEEE Computer Society, (2015)Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine., , , , and . MoDELS (Companion), page 42-46. ACM, (2018)Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018)., , , , , , , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 303-304. CEUR-WS.org, (2018)Message from the MASE 2019 Chair., , and . MoDELS (Companion), page 1. IEEE, (2019)Enabling model-driven software development tools for the internet of things., and . MiSE@ICSE, page 93-99. ACM, (2019)Guest editorial for the special section on MODELS 2014., and . Softw. Syst. Model., 17 (1): 9-10 (2018)