Eike Möhlmann

According to our database, Eike Möhlmann authored at least 17 papers between 2011 and 2024.

Collaborative distances:

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

2024

Increasing Explainability in Time Series Classification by Functional Decomposition.

Thies de Graaff, Michael Wild, Tino Werner, Eike Möhlmann, Stefan Seibt, Benjamin Ebrecht

Proceedings of the Explainable Artificial Intelligence, 2024

Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development.

Elias Modrakowski, Niklas Rahenbrock, Eike Möhlmann, Henning Schlender

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

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

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

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

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

2022

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

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

2021

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

2020

Fundamental Considerations around Scenario-Based Testing for Automated Driving.

Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2018

A Formal Semantics for Traffic Sequence Charts.

Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow

Proceedings of the Principles of Modeling, 2018

2016

Verifying a PI Controller using SoapBox and Stabhyli.

Eike Möhlmann, Willem Hagemann, Astrid Rakow

Proceedings of the ARCH@CPSWeek 2016, 2016

2015

Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems.

Eike Möhlmann, Oliver E. Theel

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.

Oday Jubran, Eike Möhlmann, Oliver E. Theel

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once.

Eike Möhlmann, Willem Hagemann, Oliver E. Theel

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets.

Willem Hagemann, Eike Möhlmann

Proceedings of the 27th Canadian Conference on Computational Geometry, 2015

2014

Component based design of hybrid systems: a case study on concurrency and coupling.

Werner Damm, Eike Möhlmann, Astrid Rakow

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2013

Stabhyli: a tool for automatic stability verification of non-linear hybrid systems.

Eike Möhlmann, Oliver E. Theel

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2011

Deciding Robustness against Total Store Ordering.

Ahmed Bouajjani, Roland Meyer, Eike Möhlmann

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011