Stefan Henkler -

Registered user since Mon 2 Feb 2026

Name:Stefan Henkler

Affiliation:Hochschule Hamm-Lippstadt

Contributions

2026

ESEC/FSE

Author of Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification within the Research Papers-track

ICSE

Author of What Do We Really Need? Identifying Minimal Sufficient Temporal Properties via Refinement within the Posters-track
Author of Modular Workshop Architecture for Teaching Machine Learning in Autonomous Driving by Non-Experts within the Posters-track

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Author of Run-Time Self-Optimization Through Dynamic Configuration Space Reduction within the Research Track-track