Malte Lochau
Papers
2
Total Citations
7
H-Index
2
About
Malte Lochau is a leading researcher in the engineering of self-adaptive and reconfigurable software systems, with a particular focus on formal methods and real-time constraints. His work addresses the fundamental challenge of enabling software to autonomously select optimal configurations in response to changing environments, balancing functional correctness with non-functional criteria such as timing and cost. Lochau’s major contributions include pioneering the use of stochastic timed game automata and stochastic priced timed games to precompute reconfiguration strategies, allowing systems to make provably optimal decisions at runtime without incurring prohibitive computational overhead. His most-cited papers, including "Precomputing reconfiguration strategies based on stochastic timed game automata" (4 citations) and "Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games" (3 citations), have laid foundational groundwork for cost-sensitive, real-time-aware adaptation. Though early in citation impact, these works are gaining traction in the self-adaptive systems community for their rigorous, game-theoretic approach to a notoriously difficult problem. Lochau’s research is particularly notable for bridging the gap between formal verification and practical runtime adaptation, offering a path toward dependable, intelligent software in domains like cyber-physical systems and autonomous vehicles.
Research Focus
Key Achievements
Top Papers
- 1
- 2