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 μ-Calculus Approach to Supervisor Synthesis., and . MBMV, page 132-143. Shaker, (2003)Modeling offshore ropes for deepwater lifting applications., , , , and . AIM, page 1222-1227. IEEE, (2016)Properties of Invariants and Induction Lemmata., , and . MBMV, page 1-10. VDE / IEEE, (2020)An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems., and . SyDe Summer School, page 290-292. Springer, (2015)Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory., , and . MBMV, page 1-12. VDE/IEEE, (2023)Data-aware Global Scheduling of Dataflow Process Networks., and . MBMV, page 1-9. VDE/IEEE, (2022)09481 Abstracts Collection - SYNCHRON 2009., , , , and . SYNCHRON 2009, volume 09481 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Anti-sway system for boom cranes based on an optimal control approach., , , and . ACC, page 3166-3171. IEEE, (2003)Towards the Applicability of Alf to Model Cyber-Physical Systems., , and . FedCSIS, page 1415-1422. (2013)Using IP Cores in Synchronous Languages., , and . MBMV, page 97-106. Universitätsbibliothek Berlin, Germany, (2009)