Giuseppe Scalora -

Registered user since Wed 25 Feb 2026

Name:Giuseppe Scalora

Affiliation:Hamm-Lippstadt University of Applied Sciences

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