Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Malte Lochau
conf.researchr.org general profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
MODELS 2022 profile
Not registered as user yet
Name:
Malte Lochau
Affiliation:
University of Siegen
Contributions
2023
FormaliSE
Author of Mutant Equivalence as Monotonicity in Parametric Timed Games within the FormaliSE 2023-track
2022
MODELS
Author of Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata within the Technical Track-track
FormaliSE
Committee Member in Program Committee within the FormaliSE 2022-track
2021
FormaliSE
Committee Member in Programme Committee within the FormaliSE 2021-track
Share
x
Wed 9 Oct 18:44