Rolf Hennicker

Papers

Total Citations

H-Index

About

Rolf Hennicker is a leading figure in formal methods and software engineering, with a particular focus on the rigorous design and analysis of complex, reactive systems. His research bridges theoretical foundations and practical tool development, primarily in the areas of component-based systems, algebraic specification, and behavior modeling. A key contribution is the development of the "OnPlan" framework, a simulation-based online planning system that enables adaptive decision-making in dynamic environments, as detailed in his 2016 paper of the same name. This work, which has garnered 15 citations, exemplifies his approach to integrating formal verification with runtime planning. Beyond this, Hennicker has made foundational contributions to the theory of algebraic specifications, including work on parameterized specifications and observational semantics, which have influenced the design of modern specification languages. His impact is reflected in a sustained record of highly cited publications that have shaped both academic research and industrial practice in formal methods. Through his leadership in collaborative projects and his role in advancing the state of the art in system modeling, Hennicker continues to inspire students and researchers seeking to build reliable, verifiable software systems.