Günter Ehmen

According to our database, Günter Ehmen authored at least 9 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Teaching Cyber-Physical Systems in Student Project Groups.

Henning Schlender, Ralf Stemmer, Kim Grüttner, Günter Ehmen, Bernd Westphal, Friederike Bruns

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2023

Towards Scenario-Based Certification of Highly Automated Railway Systems.

Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2020

Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach.

Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle

Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems, 2020

Measurement-based Online Verification of Timing Properties in Distributed Systems.

Günter Ehmen, Björn Koopmann, Yosab Bebawy, Philipp Ittershagen

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2019

Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling.

Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2016

Analyzing the impact of injected sensor data on an Advanced Driver Assistance System using the OP2TIMUS prototyping platform.

Alexander Stühring, Günter Ehmen, Sibylle B. Fröschle

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2011

Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too.

Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden

Proceedings of the Industrial Embedded Systems (SIES), 2011

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models.

Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2006

Analysis and modeling of subthreshold leakage of RT-components under PTV and state variation.

Domenik Helms, Günter Ehmen, Wolfgang Nebel

Proceedings of the 2006 International Symposium on Low Power Electronics and Design, 2006