Dr.-Ing. Eike Möhlmann Group Manager Safety & Security Oriented Analysis

Dr.-Ing. Eike Möhlmann
Contact
Activities

Position at OFFIS

Group Manager Safety & Security Oriented Analysis

Research and Developement Division

Transportation / Safety & Security Oriented Analysis

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS), Multi-Scale Multi-Rate Simulation (MS²)

News

+49 441 9722-484

eike.moehlmann(at)offis.de

SEG09


GERMANY

Publications
of Dr.-Ing. Eike Möhlmann

2019

A Scenario Discovery Process Based on Traffic Sequence Charts

Werner Damm, Eike Möhlmann, and Astrid Rakow ; Validation and Verification of Automated Systems; 12 / 2019

ENABLE-S3 Demonstrator Overview: Final Results

ENABLE-S3 Consortium; May / 2019

Statistical Model Checking for Scenario-based verification of ADAS

Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions : Development, Testing and Verification; 2019

Testing & Validation of Highly Automated Systems

Andrea Leitner, Arnold Akkermann, Bjørn Åge Hjøllo, Boris Wirtz, Dejan Nickovic, Eike Möhlmann, Hannes Holzer, Jaap van der Voet, Jürgen Niehaus, Mathieu Sarrazin, Marc Zofka, Martijn Rooker, Martin Kubisch, Michael Paulweber, Michael Siegel, Mika Rautila, Nadja Marko, Peter Tummeltshammer, Philipp Rosenberger, Relindis Rott, Stefan Muckenhuber, Sytze Kalisvaart, Thies de Graaff, Thomas D‘Hondt, Tobias Fleck, Zora Slavik; May / 2019

Traffic Sequence Charts for the ENABLE-S 3 Test Architecture

Werner Damm, Eike Möhlmann, and Astrid Rakow; Validation and Verification of Automated Systems; 12 / 2019

Validation of Automated Valet Parking

Hasan Esen, Maximilian Kneissl, Adam Molin, Sebastian vom Dorff, Bert Böddeker, Eike Möhlmann, Udo Brockmeyer, Tino Teige, Gustavo Garcia Padilla, and Sytze Kalisvaart; 12 / 2019

2018

A Formal Semantics for Traffic Sequence Charts

Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday; July / 2018

Using Traffic Sequence Charts for the Development of HAVs

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; European Congress on Embedded Real Time Software and Systems 2018; Janurary / 2018

2017

Statistical Model Checking for Scenario-based verification of ADAS

Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; 2017

BIB
Traffic Sequence Charts - From Visualization to Semantics

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; 10 / 2017

Verifying a PI Controller using SoapBox and Stabhyli

Eike Möhlmann and Willem Hagemann and Astrid Rakow; ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems; 2017

2015

Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems

Eike Möhlmann and Oliver E. Theel; Proceedings of the 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015.; 2015

Hybrid Tools for Hybrid System: Proving Safety and Stability at once (Extended Version)

Willem Hagemann and Eike Möhlmann and Oliver E. Theel; 2015

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

Eike Möhlmann and Willem Hagemann and Oliver E. Theel; Formal Modeling and Analysis of Timed Systems - 13th International Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings; 2015

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

Willem Hagemann and Eike Möhlmann; Proceedings of the 27th Canadian Conference on Computational Geometry, {CCCG} 2015; 2015

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

Oday Jubran and Eike Möhlmann and Oliver E. Theel; Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, {SSS} 2015; 2015

2014

Component Based Design of Hybrid Systems: A Case Study on Concurrency and Coupling

Werner Damm and Eike Möhlmann and Astrid Rakow; Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14; 2014

Component Based Design of Hybrid Systems: A Case Study on Concurrency and Coupling (Extended Version)

Werner Damm and Willem Hagemann and Eike Möhlmann and Astrid Rakow; 2014

Towards Counterexample-Guided Computation of Validated Stability Certificates for Hybrid Systems

Eike Möhlmann and Oliver E. Theel; Proceedings of the 2nd Congreso Nacional de Ingenieria Informatica / Aplicaciones Informaticas y de Sistemas de Informacion, CoNaIISI 2014; 2014

2013

Stabhyli: A Tool for Automatic Stability Verification of Non-Linear Hybrid Systems

Eike Möhlmann and Oliver E. Theel; Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'13; 2013

Towards Automatic Detection of Implicit Equality Constraints in Stability Verification of Hybrid Systems

Eike Möhlmann and Oliver E. Theel; Proceedings of the 1th Congreso Nacional de Ingeniería Inform{\'{a}}tica / Aplicaciones Inform{\'{a}}ticas y de Sistemas de Informaci{\'{o}}n, CoNaIISI 2013; 2013

2011

Deciding Robustness against Total Store Ordering

Ahmed Bouajjani and Roland Meyer and Eike Möhlmann; Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II; 2011