Luca Brodo -

Registered user since Wed 25 Feb 2026

Name:Luca Brodo

Country:Germany

Affiliation:Hochschule Hamm-Lippstadt

Personal website: https://lucabrodohshl.github.io

GitHub: https://github.com/lucabrodohshl

Research interests:Formal Methods, Refinement, System Engineering, Self-Adaptive Systems

Contributions

2026

ASYDE

Author of Refinement for Correct Iterative Model-Based Systems Engineering of Cyber-Physical Systems within the ASYDE 2026-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

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