Welcome to the website of the research group of Prof. Dr. Stefan Henkler at Hamm-Lippstadt University of Applied Sciences (HSHL).

Our research focuses on the Model-Based Engineering of Dependable and Intelligent Cyber-Physical Systems (CPS). We develop methods for the specification, analysis, verification, and optimization of embedded and cyber-physical systems, combining formal modeling techniques with AI-based approaches while satisfying dependability requirements, like safety and real-time.

Current research topics include formal methods for software verification, model-based systems engineering, contract-based and hierarchical design space exploration, runtime self-optimization, and AI-supported engineering methods for adaptive Cyber-Physical Systems. This work is complemented by research on digital twins, intelligent decision support, and optimization techniques for dependable embedded systems. The resulting methods are applied to domains such as intelligent mobility, autonomous systems, industrial automation, smart farming, avionics, railway systems, and the Internet of Things (IoT).