Lenz Belzner

LMU Klinikum, Ludwig-Maximilians-Universität München

Papers

Total Citations

H-Index

About

Lenz Belzner is a computer scientist whose research lies at the intersection of formal methods, autonomous systems, and adaptive software engineering. His work focuses on enabling intelligent, self-managing systems through rigorous reasoning and planning techniques. A key contribution is the development of "OnPlan," a framework for simulation-based online planning that allows autonomous agents to make decisions in real-time by simulating potential outcomes. This work, which has garnered over 15 citations, is foundational for creating systems that can adapt to dynamic environments without human intervention. Belzner is also known for his pioneering research on "Reasoning (on) Service Component Ensembles in Rewriting Logic," a highly cited paper (30 citations) that provides a formal framework for modeling and verifying the behavior of complex, distributed service ensembles. This contribution is critical for ensuring reliability in large-scale, adaptive systems. Through his work, Belzner has helped bridge the gap between formal verification and practical, online decision-making, making him a notable figure in the fields of autonomous systems and self-adaptive software.