Luca Brodo -

Registered user since Wed 25 Feb 2026

Name:Luca Brodo

Country:Germany

Affiliation:Hochschule Hamm-Lippstadt

GitHub: https://github.com/lucabrodohshl

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

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