Hendrik Göttmann

Orcid: 0000-0002-2753-7719

According to our database1, Hendrik Göttmann authored at least 15 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
1
2
1
2
1
2
1
1
3
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games.
Proceedings of the Software Engineering 2025, 2025

2024
Checking Timed Bisimilarity with Virtual Clocks.
CoRR, 2024

2023
Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games.
Dataset, May, 2023

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Proceedings of the Software Engineering 2023, 2023

Mutant Equivalence as Monotonicity in Parametric Timed Games.
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Dataset, October, 2022

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Dataset, October, 2022

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Dataset, October, 2022

2021
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

2020
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.
Dataset, September, 2020

Real-time-aware reconfiguration decisions for dynamic software product lines.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Parametric Timed Bisimulation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
CoRR, 2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
CoRR, 2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019


  Loading...