Author of the publication

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and . Perspectives Workshop, volume 05402 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)

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 platoon of vehicles approaching an intersection: A testing platform for safe intersections., , and . ITSC, page 1918-1923. IEEE, (2012)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 Dynamic Service-Oriented Software Architecture for Highly Automated Vehicles., , , , , , , and . ITSC, page 2101-2108. IEEE, (2019)The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults., and . SIES, page 141-148. IEEE, (2008)Design and Verification of Restart-Robust Industrial Control Software., and . IFM, volume 11023 of Lecture Notes in Computer Science, page 47-68. Springer, (2018)Cycle-bounded model checking of PLC software via dynamic large-block encoding., , and . SAC, page 1891-1898. ACM, (2018)Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles., , , , and . IV, page 1620-1625. IEEE, (2019)Direct Support for Model Checking Abstract State Machines by Utilizing Simulation, , , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 112--124. Springer, (2008)Analysis of Simulink Models Using Databases and Model Transformations., , , and . MOMPES, volume 7706 of Lecture Notes in Computer Science, page 69-84. Springer, (2012)Concolic test generation for PLC programs using coverage metrics., , , , and . WODES, page 432-437. IEEE, (2016)