Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Markus Roggenbach
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2022 profile
STAF 2024 profile
Registered user since Fri 15 Dec 2023
Name:
Markus Roggenbach
Affiliation:
Swansea University, Swansea, UK
Contributions
2024
WADT
Committee Member in Programme Committee
Committee Member in Steering Committee
2022
FTSCS
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
2017
FTfJP
Author of Software Model Checking: A Promising Approach to Verify Mobile App Security within the FTfJP 2017-track
Share
x
Thu 21 Nov 12:30