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

Design and Verification of Restart-Robust Industrial Control Software., and . IFM, volume 11023 of Lecture Notes in Computer Science, page 47-68. Springer, (2018)Concolic test generation for PLC programs using coverage metrics., , , , and . WODES, page 432-437. IEEE, (2016)Analysis of Simulink Models Using Databases and Model Transformations., , , and . MOMPES, volume 7706 of Lecture Notes in Computer Science, page 69-84. Springer, (2012)Static Value Range Analysis for Matlab/Simulink-Models., , , and . GI-Jahrestagung, volume P-246 of LNI, page 1649-1660. GI, (2015)Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review., , , , and . ETFA, page 1-8. IEEE, (2023)HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions., , and . ARCH@CPSWeek, volume 43 of EPiC Series in Computing, page 68-79. EasyChair, (2016)Distributed Model Predictive Intersection Control of Multiple Vehicles., , , , , and . ITSC, page 1735-1740. IEEE, (2019)HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis., , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 288-294. (2017)An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems., and . ADHS, volume 39 of IFAC Proceedings Volumes, page 377-382. Elsevier, (2006)A platoon of vehicles approaching an intersection: A testing platform for safe intersections., , and . ITSC, page 1918-1923. IEEE, (2012)