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
- Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box
- Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties
Using general profile