Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Brun
conf.researchr.org general profile
MODELS 2020 profile
MODELS 2021 profile
MODELS 2022 profile
SPLASH 2023 profile
Registered user since Fri 11 Sep 2020
Name:
Matthias Brun
Contributions
2023
SLE
Author of Temporal Breakpoints for Multiverse Debugging within the SLE 2023-track
2022
MODELS
Author of Practical Multiverse Debugging through User-defined Reductions: Application to UML Models within the Technical Track-track
2021
MODELS
Author of AnimUML as a UML Modeling and Verification Teaching Tool within the Technical Papers-track
2020
MODELS
Author of Designing, Animating, and Verifying Partial UML Models within the Technical Track-track
Share
x
Fri 20 Jun 10:22