Eike Möhlmann

Orcid: 0000-0003-3815-6353

According to our database1, Eike Möhlmann authored at least 14 papers between 2011 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems.
IEEE Access, 2023

Towards Scenario-Based Certification of Highly Automated Railway Systems.
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.
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.
CoRR, 2021

2020
Fundamental Considerations around Scenario-Based Testing for Automated Driving.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2018
A Formal Semantics for Traffic Sequence Charts.
Proceedings of the Principles of Modeling, 2018

2016
Verifying a PI Controller using SoapBox and Stabhyli.
Proceedings of the ARCH@CPSWeek 2016, 2016

2015
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems.
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.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets.
Proceedings of the 27th Canadian Conference on Computational Geometry, 2015

2014
Component based design of hybrid systems: a case study on concurrency and coupling.
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.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2011
Deciding Robustness against Total Store Ordering.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011


  Loading...