Eike Möhlmann

Available identifiers

zbMath Open mohlmann.eikeMaRDI QIDQ2945597

List of research outcomes

Publication	Date of Publication	Type
Verifying recurrence properties in self-stabilization by checking the absence of finite counterexamples	2020-01-14	Paper
Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems	2017-05-16	Paper
Component based design of hybrid systems: a case study on concurrency and coupling	2017-05-16	Paper
Hybrid tools for hybrid systems -- proving stability and safety at once	2015-09-14	Paper
Deciding Robustness against Total Store Ordering	2011-07-07	Paper

Research outcomes over time

This page was built for person: Eike Möhlmann