Author of the publication

Controller synthesis for dynamic hierarchical real-time plants using timed automata.

, , , and . Discret. Event Dyn. Syst., 27 (2): 407-441 (2017)

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)Message from the MASE 2019 Chair., , and . MoDELS (Companion), page 1. IEEE, (2019)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)Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine., , , , and . MoDELS (Companion), page 42-46. ACM, (2018)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)