conf.researchr.org / Markus Roggenbach
Registered user since Fri 15 Dec 2023
Name:Markus Roggenbach
Affiliation:Swansea University, Swansea, UK
Contributions
2026
WADT
- Program Co-Chair in Program Committee within the WADT 2026-track
- Co-chair in Organizers within the WADT 2026-track
- Committee Member in Steering Committee within the WADT 2026-track
- Co-chair in Programme Committee
- Committee Member in Organizers within the WADT 2026-track
- Committee Member in Organizers within the WADT 2026-track
- Author of Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box within the WADT 2026-track
- Author of Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties within the WADT 2026-track