Publications

Found 6 results
Filters: Autor is Lars Luthmann  [Clear All Filters]
2020
L. Luthmann, Göttmann, H., und Lochau, M., „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.
M. Lochau, Luthmann, L., Göttmann, H., und Bacher, I., „Parametric Timed Bisimulation“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 55-71.
H. Göttmann, Luthmann, L., Lochau, M., und Schürr, A., „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.
J. Soldani, Luthmann, L., Lochau, M., und Brogi, A., „Testing Conformance in Multi-component Enterprise Application Management“, in Proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC), 2020, S. 3-18.
2019
L. Luthmann, Gerecht, T., und Lochau, M., „Sampling Strategies for Product Lines with Unbounded Parametric Real-time Constraints“, International Journal on Software Tools for Technology Transfer, Bd. 21, Nr. 6, S. 613-633, 2019.
2018
S. Ruland, Luthmann, L., Bürdek, J., Lity, S., Thüm, T., Lochau, M., und Ribeiro, M., „Measuring Effectiveness of Sample-Based Product-Line Testing“, in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE), 2018, S. 119-133.