Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. - Lars Luthmann; Stephan Mennicke; Malte Lochau (FMSPLE, 2015)

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. - Lars Luthmann; Stephan Mennicke; Malte Lochau (FACS, 2016)

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. - Lars Luthmann; Stephan Mennicke; Malte Lochau (CoRR, 2016)

Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. - Lars Luthmann; Andreas Stephan; Johannes Bürdek; Malte Lochau (SPLC (A), 2017)

Measuring effectiveness of sample-based product-line testing. - Sebastian Ruland; Lars Luthmann; Johannes Bürdek; Sascha Lity; Thomas Thüm; Malte Lochau; Márcio Ribeiro 001 (GPCE, 2018)

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (FACS, 2019)

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (CoRR, 2019)

Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (CoRR, 2019)

Modal transition system encoding of featured transition systems. - Mahsa Varshosaz; Lars Luthmann; Paul Mohr; Malte Lochau; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2019)

Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints. - Lars Luthmann; Timo Gerecht; Andreas Stephan; Johannes Bürdek; Malte Lochau (J. Syst. Softw., 2019)

Unifying modal interface theories and compositional input/output conformance testing. - Lars Luthmann; Stephan Mennicke; Malte Lochau (Sci. Comput. Program., 2019)

Sampling strategies for product lines with unbounded parametric real-time constraints. - Lars Luthmann; Timo Gerecht; Malte Lochau (Int. J. Softw. Tools Technol. Transf., 2019)

Testing Conformance in Multi-component Enterprise Application Management. - Jacopo Soldani; Lars Luthmann; Malte Lochau; Antonio Brogi (ESOCC, 2020)

Parametric Timed Bisimulation. - Malte Lochau; Lars Luthmann; Hendrik Göttmann; Isabelle Bacher (ISoLA (2), 2020)

Real-time-aware reconfiguration decisions for dynamic software product lines. - Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andy Schürr (SPLC (A), 2020)

Specification and Analysis of Software Systems with Configurable Real-Time Behavior. - Lars Luthmann (2020)

Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines. - Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andreas Schürr (Zenodo, 2020)

Compositional testing of management conformance for multi-component enterprise applications. - Jacopo Soldani; Lars Luthmann; Nicolas Gottwald; Malte Lochau; Antonio Brogi (Serv. Oriented Comput. Appl., 2022)

Checking Timed Bisimilarity with Virtual Clocks. - Alexander Lieb; Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andy Schürr (CoRR, 2024)