Eike Möhlmann

25 papers C 3Journal 6Unranked 16
YearRankTypeTitle / Venue / Authors
2025 C conf
A Scenario-Based Simulation Framework for Testing of Highly Automated Railway Systems.
VEHITS
Michael Wild, Jan Steffen Becker, Carl Schneiders, Eike Möhlmann
2025 — conf
Context-aware, Ante-hoc Explanations of Driving Behaviour.
FMAS@iFM
Dominik Grundt, Ishan Saxena, Malte Petersen, Bernd Westphal, Eike Möhlmann
2025 — conf
Integrating LLMs with QC-OpenDRIVE: Ensuring Normative Correctness in Autonomous Driving Scenarios.
AISoLA
Julian Müller, Thies de Graaff, Eike Möhlmann
2025 J jnl
On Scenario Formalisms for Automated Driving.
CoRR
Christian Neurohr, Lukas Westhofen, Tjark Koopmann, Eike Möhlmann, Eckard Böde, Axel Hahn
2025 J jnl
Runtime monitoring of complex scenario-based requirements for autonomous driving functions.
Sci. Comput. Program.
Ralf Stemmer, Ishan Saxena, Lukas Panneke, Dominik Grundt, Anna Austel, Eike Möhlmann, Bernd Westphal
2025 — conf
Towards Runtime Detection of Novel Traffic Situations.
OVERLAY
Ishan Saxena, Dominik Grundt, Eike Möhlmann, Bernd Westphal
2025 J jnl
What does AI need to know to drive: Testing relevance of knowledge.
Sci. Comput. Program.
Dominik Grundt, Astrid Rakow, Philipp Borchers, Eike Möhlmann
2024 — conf
Increasing Explainability in Time Series Classification by Functional Decomposition.
xAI (4)
Thies de Graaff, Michael Wild, Tino Werner, Eike Möhlmann, Stefan Seibt, Benjamin Ebrecht
2024 — conf
Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems.
EDCC Workshops
Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmüller, Eike Möhlmann
2024 — conf
Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development.
ISoLA (5)
Elias Modrakowski, Niklas Rahenbrock, Eike Möhlmann, Henning Schlender
2023 J jnl
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems.
IEEE Access
Birte Neurohr, Tjark Koopmann, Eike Möhlmann, Martin Fränzle
2023 — conf
Towards Scenario-Based Certification of Highly Automated Railway Systems.
RSSRail
Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann
2022 — conf
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions.
FMAS/ASYDE@SEFM
Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann
2021 J jnl
Challenges of engineering safe and secure highly automated vehicles.
CoRR
Nadja Marko, Eike Möhlmann, Dejan Nickovic, Jürgen Niehaus, Peter Priller, Martijn Rooker
2020 C conf
Fundamental Considerations around Scenario-Based Testing for Automated Driving.
IV
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
2020 J jnl
Fundamental Considerations around Scenario-Based Testing for Automated Driving.
CoRR
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
2018 — conf
A Formal Semantics for Traffic Sequence Charts.
Principles of Modeling
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
2016 — conf
Verifying a PI Controller using SoapBox and Stabhyli.
ARCH@CPSWeek
Eike Möhlmann, Willem Hagemann, Astrid Rakow
2015 — conf
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems.
ESSS
Eike Möhlmann, Oliver E. Theel
2015 — conf
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once.
FORMATS
Eike Möhlmann, Willem Hagemann, Oliver E. Theel
2015 — conf
Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets.
CCCG
Willem Hagemann, Eike Möhlmann
2015 C conf
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.
SSS
Oday Jubran, Eike Möhlmann, Oliver E. Theel
2014 — conf
Component based design of hybrid systems: a case study on concurrency and coupling.
HSCC
Werner Damm, Eike Möhlmann, Astrid Rakow
2013 — conf
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems.
HSCC
Eike Möhlmann, Oliver E. Theel
2011 — conf
Deciding Robustness against Total Store Ordering.
ICALP (2)
Ahmed Bouajjani, Roland Meyer, Eike Möhlmann