Eike Möhlmann Wissenschaftlicher Mitarbeiter

Eike Möhlmann
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

Verkehr / Safety & Security Oriented Analysis

Competence Center

Dependable Systems

News

SEG 04

Publikationen
von Eike Möhlmann

2017

A Formal Semantics for Traffic Sequence Charts

Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Festschrift in honor of Edmund A. Lee; October / 2017

BIB
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

BIB
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