Deciding Robustness against Total Store Ordering. - Ahmed Bouajjani; Roland Meyer 001; Eike Möhlmann (ICALP (2), 2011)

Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. - Eike Möhlmann; Oliver E. Theel (HSCC, 2013)

Component based design of hybrid systems: a case study on concurrency and coupling. - Werner Damm; Eike Möhlmann; Astrid Rakow (HSCC, 2014)

Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets. - Willem Hagemann; Eike Möhlmann (CCCG, 2015)

Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. - Eike Möhlmann; Willem Hagemann; Oliver E. Theel (FORMATS, 2015)

Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. - Oday Jubran; Eike Möhlmann; Oliver E. Theel (SSS, 2015)

Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems. - Eike Möhlmann; Oliver E. Theel (ESSS, 2015)

Verifying a PI Controller using SoapBox and Stabhyli. - Eike Möhlmann; Willem Hagemann; Astrid Rakow (ARCH@CPSWeek, 2016)

A Formal Semantics for Traffic Sequence Charts. - Werner Damm; Eike Möhlmann; Thomas Peikenkamp; Astrid Rakow (Principles of Modeling, 2018)

Fundamental Considerations around Scenario-Based Testing for Automated Driving. - Christian Neurohr; Lukas Westhofen 001; Tabea Henning; Thies de Graaff; Eike Möhlmann; Eckard Böde (IV, 2020)

Challenges of engineering safe and secure highly automated vehicles. - Nadja Marko; Eike Möhlmann; Dejan Nickovic; Jürgen Niehaus; Peter Priller; Martijn Rooker (CoRR, 2021)

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. - Dominik Grundt; Anna Köhne; Ishan Saxena; Ralf Stemmer; Bernd Westphal; Eike Möhlmann (FMAS/ASYDE@SEFM, 2022)

Towards Scenario-Based Certification of Highly Automated Railway Systems. - Michael Wild; Jan Steffen Becker; Günter Ehmen; Eike Möhlmann (RSSRail, 2023)

Determining the Validity of Simulation Models for the Verification of Automated Driving Systems. - Birte Neurohr; Tjark Koopmann; Eike Möhlmann; Martin Fränzle (IEEE Access, 2023)

Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. - Birte Neurohr; Thies de Graaff; Andreas Eggers; Tom Bienmüller; Eike Möhlmann (EDCC Workshops, 2024)

Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development. - Elias Modrakowski; Niklas Rahenbrock; Eike Möhlmann; Henning Schlender (ISoLA (5), 2024)

Increasing Explainability in Time Series Classification by Functional Decomposition. - Thies de Graaff; Michael Wild; Tino Werner; Eike Möhlmann; Stefan Seibt; Benjamin Ebrecht (xAI (4), 2024)

A Scenario-Based Simulation Framework for Testing of Highly Automated Railway Systems. - Michael Wild; Jan Steffen Becker; Carl Schneiders; Eike Möhlmann (VEHITS, 2025)

What does AI need to know to drive: Testing relevance of knowledge. - Dominik Grundt; Astrid Rakow; Philipp Borchers; Eike Möhlmann (Sci. Comput. Program., 2025)

Runtime monitoring of complex scenario-based requirements for autonomous driving functions. - Ralf Stemmer; Ishan Saxena; Lukas Panneke; Dominik Grundt; Anna Austel; Eike Möhlmann; Bernd Westphal (Sci. Comput. Program., 2025)

On Scenario Formalisms for Automated Driving. - Christian Neurohr; Lukas Westhofen 001; Tjark Koopmann; Eike Möhlmann; Eckard Böde; Axel Hahn (CoRR, 2025)