Follow
Lars Luthmann
Title
Cited by
Cited by
Year
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
322017
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
152019
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
142020
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
92019
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
92016
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
92015
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
82018
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
62019
Unifying modal interface theories and compositional input/output conformance testing
L Luthmann, S Mennicke, M Lochau
Science of Computer Programming 172, 27-47, 2019
52019
Parametric timed bisimulation
M Lochau, L Luthmann, H Göttmann, I Bacher
International Symposium on Leveraging Applications of Formal Methods, 55-71, 2020
22020
Specification and Analysis of Software Systems with Configurable Real-Time Behavior
L Luthmann
Technische Universität, 2020
22020
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
22020
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
22019
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
22019
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
12022
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
12017
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
The system can't perform the operation now. Try again later.
Articles 1–18