• Sign in
  • Sign up
conf.researchr.org / Matthias Brun
  • 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
xFri 20 Jun 10:22
using conf.researchr.org (v1.69.0)
Support page
Sign Up