Hendrik Göttmann

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Technical Report

Software Product Line

Top Venues

Publications

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. Software Engineering (2023)
Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE (2023)
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
Precomputing reconfiguration strategies based on stochastic timed game automata. MoDELS (2022)
Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. VaMoS (2021)
Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr
Real-time-aware reconfiguration decisions for dynamic software product lines. SPLC (A) (2020)
Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher
Parametric Timed Bisimulation. ISoLA (2) (2020)
Lars Luthmann, Hendrik Göttmann, Malte Lochau
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. FACS (2019)
Lars Luthmann, Hendrik Göttmann, Malte Lochau
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report. CoRR (2019)
Lars Luthmann, Hendrik Göttmann, Malte Lochau
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report. CoRR (2019)