Eike Mhlmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VECoS | Integrating LLMs with QC-OpenDRIVE: Ensuring Normative Correctness in Autonomous Driving Scenarios. | Julian Mller, Thies de Graaff, Eike Mhlmann |
| 2025 | VEHITS | A Scenario-Based Simulation Framework for Testing of Highly Automated Railway Systems. | Michael Wild, Jan Steffen Becker, Carl Schneiders, Eike Mhlmann |
| 2024 | EDCC | Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. | Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmller, Eike Mhlmann |
| 2024 | ISoLA | Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development. | Elias Modrakowski, Niklas Rahenbrock, Eike Mhlmann, Henning Schlender |
| 2015 | SSS | Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. | Oday Jubran, Eike Mhlmann, Oliver E. Theel |
| 2011 | ICALP | Deciding Robustness against Total Store Ordering. | Ahmed Bouajjani, Roland Meyer, Eike Mhlmann |