![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Eike Möhlmann
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c13]Birte Neurohr
, Thies de Graaff
, Andreas Eggers, Tom Bienmüller, Eike Möhlmann
:
Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. EDCC Workshops 2024: 5-13 - 2023
- [j1]Birte Neurohr
, Tjark Koopmann
, Eike Möhlmann
, Martin Fränzle:
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems. IEEE Access 11: 102949-102960 (2023) - [c12]Michael Wild
, Jan Steffen Becker
, Günter Ehmen, Eike Möhlmann
:
Towards Scenario-Based Certification of Highly Automated Railway Systems. RSSRail 2023: 78-97 - 2022
- [c11]Dominik Grundt, Anna Köhne, Ishan Saxena
, Ralf Stemmer, Bernd Westphal, Eike Möhlmann:
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. FMAS/ASYDE@SEFM 2022: 53-61 - 2021
- [i2]Nadja Marko, Eike Möhlmann, Dejan Nickovic, Jürgen Niehaus, Peter Priller, Martijn Rooker:
Challenges of engineering safe and secure highly automated vehicles. CoRR abs/2103.03544 (2021) - 2020
- [c10]Christian Neurohr
, Lukas Westhofen
, Tabea Henning
, Thies de Graaff, Eike Möhlmann
, Eckard Böde
:
Fundamental Considerations around Scenario-Based Testing for Automated Driving. IV 2020: 121-127 - [i1]Christian Neurohr
, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde:
Fundamental Considerations around Scenario-Based Testing for Automated Driving. CoRR abs/2005.04045 (2020)
2010 – 2019
- 2018
- [c9]Werner Damm, Eike Möhlmann
, Thomas Peikenkamp, Astrid Rakow:
A Formal Semantics for Traffic Sequence Charts. Principles of Modeling 2018: 182-205 - 2016
- [c8]Eike Möhlmann
, Willem Hagemann, Astrid Rakow:
Verifying a PI Controller using SoapBox and Stabhyli. ARCH@CPSWeek 2016: 115-125 - 2015
- [c7]Willem Hagemann, Eike Möhlmann
:
Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets. CCCG 2015 - [c6]Eike Möhlmann
, Willem Hagemann, Oliver E. Theel:
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. FORMATS 2015: 222-239 - [c5]Oday Jubran, Eike Möhlmann
, Oliver E. Theel:
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. SSS 2015: 124-138 - [c4]Eike Möhlmann
, Oliver E. Theel:
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems. ESSS 2015: 49-63 - 2014
- [c3]Werner Damm, Eike Möhlmann
, Astrid Rakow:
Component based design of hybrid systems: a case study on concurrency and coupling. HSCC 2014: 145-150 - 2013
- [c2]Eike Möhlmann
, Oliver E. Theel:
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. HSCC 2013: 107-112 - 2011
- [c1]Ahmed Bouajjani, Roland Meyer, Eike Möhlmann
:
Deciding Robustness against Total Store Ordering. ICALP (2) 2011: 428-440
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-19 01:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint