Author of the publication

A Model for Industrial Real-Time Systems.

, , , and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 153-171. Springer, (2015)

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 . IEEE Trans. Software Eng., 48 (3): 951-972 (2022)Execution of Partial State Machine Models., , , and . CoRR, (2021)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)Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine., , , , and . MoDELS (Companion), page 42-46. ACM, (2018)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)Enabling model-driven software development tools for the internet of things., and . MiSE@ICSE, page 93-99. ACM, (2019)Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering.. ICGT, volume 9761 of Lecture Notes in Computer Science, page 3-18. Springer, (2016)