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

Analysis of Timed Processes with Data Using Algebraic Transformations., and . TIME, page 192-194. IEEE Computer Society, (2005)Supervisory Control of Discrete-Event Systems in an Asynchronous Setting., , and . CASE, page 494-501. IEEE, (2019)Maintenance of specification models in industry using Edapt., , , , and . FDL, page 1-6. IEEE, (2016)Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors., , , and . WODES, page 14-21. IEEE, (2016)An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets., , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 280-295. Springer, (2007)Action Abstraction in Timed Process Algebra., and . FSEN, volume 4767 of Lecture Notes in Computer Science, page 287-301. Springer, (2007)Core Research and Innovation Areas in Cyber-Physical Systems of Systems., , and . ERCIM News, (2015)A European Roadmap on Cyber-Physical Systems of Systems., and . ERCIM News, (2014)Towards the Removal of Synchronous Behavior of Events in Automata., , and . WODES, page 188-194. International Federation of Automatic Control, (2014)Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study., , , , and . SAMOS, page 286-294. IEEE, (2015)