Publications
Found 3 results
Filters: Autor is Hendrik Göttmann [Clear All Filters]
„Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata“, in Proceedings of the 16th International Conference on Formal Aspects of Component Software (FACS), 2020, S. 147-169.
, „Parametric Timed Bisimulation“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 55-71.
, „Real-Time Aware Reconfiguration Decisions for Dynamic Software Product Lines“, in Proceedings of the 24th ACM Conference on Systems and Software Product Line (SPLC), 2020, S. 1-11.
,