Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Henkler
conf.researchr.org general profile
ASE 2026 profile
FSE 2026 profile
ICSE 2026 profile
MODELS 2026 profile
Registered user since Mon 2 Feb 2026
Name:
Stefan Henkler
Affiliation:
Hochschule Hamm-Lippstadt
Contributions
2026
ASYDE
Author of Refinement for Correct Iterative Model-Based Systems Engineering of Cyber-Physical Systems within the ASYDE 2026-track
MODELS
Author of LLMA-UML: Extending the UML for Modeling LLM-Agent Systems within the Posters-track
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
Share
x
Wed 21 Oct 22:52