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

Towards Predictive Anti-Sway Control of Hanging Loads: Model-based Controller Design for a Knuckle Boom Crane., , and . ECC, page 2276-2282. IEEE, (2019)Development of a Human Machine Interface for Crane-based Load Handling using a Lightweight Robot., , and . MED, page 292-298. IEEE, (2019)ℋ∞-Sliding-Mode Beobachterentwurf., , , and . Autom., 65 (10): 695-704 (2017)Flatness-based Model Predictive Payload Control for Offshore Cranes., and . ECC, page 1-8. IEEE, (2023)Know your analysis: how instrumentation aids understanding static analysis., , , and . SOAP@PLDI, page 8-13. ACM, (2019)PhASAR: An Inter-procedural Static Analysis Framework for C/C++., , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 393-410. Springer, (2019)Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis., , and . ECOOP, volume 194 of LIPIcs, page 2:1-2:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)slash: A Technique for Static Configuration-Logic Identification., , , , and . CoRR, (2023)Supplementary web page for the paper "SEAL: Integrating Program Analysis and Repository Mining"., , , , and . (February 2023)Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++., , , , and . SCAM, page 12-17. IEEE, (2021)