Lena Verscht -

Registered user since Wed 13 Nov 2024

Name:Lena Verscht

Country:Germany

Affiliation:RWTH Aachen University; Saarland University

Personal website: https://moves.rwth-aachen.de/people/lena-verscht/

Contributions

2025

POPL

Author of A Taxonomy of Hoare-Like Logics within the POPL-track

TPSA

Author of Partial Incorrectness Logic within the TPSA 2025-track

2024

Formal Methods for Incorrectness

Author of Hoare-Like Triples and Kleene Algebras with Top and Tests within the Incorrectness-track

2023

POPL

Author of A Calculus for Amortized Expected Runtimes within the POPL-track