Eike Möhlmann

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 9

Top Topics

Fully Automated

Formal Semantics

Top Venues

FMAS/ASYDE@SEFM

Publications

Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmüller, Eike Möhlmann
Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. EDCC Workshops (2024)
Birte Neurohr, Tjark Koopmann, Eike Möhlmann, Martin Fränzle
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems. IEEE Access 11 (2023)
Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann
Towards Scenario-Based Certification of Highly Automated Railway Systems. RSSRail (2023)
Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. FMAS/ASYDE@SEFM (2022)
Nadja Marko, Eike Möhlmann, Dejan Nickovic, Jürgen Niehaus, Peter Priller, Martijn Rooker
Challenges of engineering safe and secure highly automated vehicles. CoRR (2021)
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
Fundamental Considerations around Scenario-Based Testing for Automated Driving. IV (2020)
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
Fundamental Considerations around Scenario-Based Testing for Automated Driving. CoRR (2020)
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
A Formal Semantics for Traffic Sequence Charts. Principles of Modeling (2018)
Eike Möhlmann, Willem Hagemann, Astrid Rakow
Verifying a PI Controller using SoapBox and Stabhyli. ARCH@CPSWeek (2016)
Eike Möhlmann, Oliver E. Theel
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems. ESSS (2015)
Eike Möhlmann, Willem Hagemann, Oliver E. Theel
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. FORMATS (2015)
Oday Jubran, Eike Möhlmann, Oliver E. Theel
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. SSS (2015)
Willem Hagemann, Eike Möhlmann
Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets. CCCG (2015)
Werner Damm, Eike Möhlmann, Astrid Rakow
Component based design of hybrid systems: a case study on concurrency and coupling. HSCC (2014)
Eike Möhlmann, Oliver E. Theel
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. HSCC (2013)
Ahmed Bouajjani, Roland Meyer, Eike Möhlmann
Deciding Robustness against Total Store Ordering. ICALP (2) (2011)