Eike Möhlmann Wissenschaftlicher Mitarbeiter

Eike Möhlmann
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

Verkehr / 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

SEG 04

Publikationen
von Eike Möhlmann

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

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