| Modeling and testing product lines with unbounded parametric real-time constraints L Luthmann, A Stephan, J Bürdek, M Lochau Proceedings of the 21st International Systems and Software Product Line …, 2017 | 32 | 2017 |
| Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints L Luthmann, T Gerecht, A Stephan, J Bürdek, M Lochau Journal of Systems and Software 149, 535-553, 2019 | 18 | 2019 |
| Real-time-aware reconfiguration decisions for dynamic software product lines H Göttmann, L Luthmann, M Lochau, A Schürr Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020 | 15 | 2020 |
| Compositionality, decompositionality and refinement in input/output conformance testing L Luthmann, S Mennicke, M Lochau International Workshop on Formal Aspects of Component Software, 54-72, 2016 | 10 | 2016 |
| Towards an I/O conformance testing theory for software product lines based on modal interface automata L Luthmann, S Mennicke, M Lochau arXiv preprint arXiv:1504.03473, 2015 | 10 | 2015 |
| Modal transition system encoding of featured transition systems M Varshosaz, L Luthmann, P Mohr, M Lochau, MR Mousavi Journal of Logical and Algebraic Methods in Programming 106, 1-28, 2019 | 9 | 2019 |
| Measuring effectiveness of sample-based product-line testing S Ruland, L Luthmann, J Bürdek, S Lity, T Thüm, M Lochau, M Ribeiro Proceedings of the 17th ACM SIGPLAN International Conference on Generative …, 2018 | 8 | 2018 |
| Sampling strategies for product lines with unbounded parametric real-time constraints L Luthmann, T Gerecht, M Lochau International Journal on Software Tools for Technology Transfer 21 (6), 613-633, 2019 | 7 | 2019 |
| Unifying modal interface theories and compositional input/output conformance testing L Luthmann, S Mennicke, M Lochau Science of Computer Programming 172, 27-47, 2019 | 5 | 2019 |
| Parametric timed bisimulation M Lochau, L Luthmann, H Göttmann, I Bacher International Symposium on Leveraging Applications of Formal Methods, 55-71, 2020 | 2 | 2020 |
| Specification and Analysis of Software Systems with Configurable Real-Time Behavior L Luthmann Technische Universität Darmstadt, 2020 | 2 | 2020 |
| Testing conformance in multi-component enterprise application management J Soldani, L Luthmann, M Lochau, A Brogi Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference …, 2020 | 2 | 2020 |
| Compositional liveness-preserving conformance testing of timed I/O automata L Luthmann, H Göttmann, M Lochau International Conference on Formal Aspects of Component Software, 147-169, 2019 | 2 | 2019 |
| Checking Timed Bisimulation with Bounded Zone-History Graphs--Technical Report L Luthmann, H Göttmann, I Bacher, M Lochau arXiv preprint arXiv:1910.08992, 2019 | 2 | 2019 |
| Compositional testing of management conformance for multi-component enterprise applications J Soldani, L Luthmann, N Gottwald, M Lochau, A Brogi Service Oriented Computing and Applications 16 (3), 209-225, 2022 | 1 | 2022 |
| Expressive Power and Encoding of Transition System Models for Software Product Lines M Varshosaz, L Luthmann, M Lochau, M Reza Marina Waldén (Editor), 57, 2017 | 1 | 2017 |
| Explainability and Testing C Gerking, I Gerostathopoulos, J Karlsson, N Khakpour, M Lochau, ... Explainable Software for Cyber-Physical Systems (ES4CPS), 10, 2019 | | 2019 |
| Model-based Testing Strategies for Configurable Software with Unbounded Parametric Real-Time Constraints L Luthmann, M Lochau Explainable Software for Cyber-Physical Systems (ES4CPS), 50, 2019 | | 2019 |
