Monika Seisenberger -

Registered user since Thu 4 Dec 2025

Name:Monika Seisenberger

Affiliation:Swansea University

Contributions

2026

WADT

Author of Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box within the WADT 2026-track

RocqPL

Author of Formal Assurance for Railway Interlockings: Verifying Z3 SAT Proofs with Tseitin in Rocq within the Rocq for Programming Languages 2026-track