Artikel

Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul ; Lochau, Malte ; Mousavi, Mohammad Reza (2019)
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, 106
doi: 10.1016/j.jlamp.2019.03.003
Artikel, Bibliographie

Luthmann, Lars ; Gerecht, Timo ; Lochau, Malte (2019)
Sampling strategies for product lines with unbounded parametric real-time constraints.
In: International Journal on Software Tools for Technology Transfer
doi: 10.1007/s10009-019-00532-4
Artikel, Bibliographie

Luthmann, Lars ; Gerecht, Timo ; Stephan, Andreas ; Bürdek, Johannes ; Lochau, Malte (2018)
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.
In: Journal of Systems and Software, (149)
doi: 10.1016/j.jss.2018.12.028
Artikel, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2018)
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, (172)
doi: 10.1016/j.scico.2018.09.008
Artikel, Bibliographie

Konferenzveröffentlichung

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

Soldani, Jacopo ; Luthmann, Lars ; Lochau, Malte ; Brogi, Antonio (2020)
Testing Conformance in Multi-component Enterprise Application Management.
8th IFIP WG 2.14 European Conference, ESOCC 2020. Heraklion, Crete, Greece (September 28–30, 2020)
doi: 10.1007/978-3-030-44769-4_1
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
doi: 10.1007/978-3-030-40914-2_8
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Luthmann, Lars ; Bürdek, Johannes ; Lity, Sascha ; Thüm, Thomas ; Lochau, Malte ; Ribeiro, Márcio (2018)
Measuring Effectiveness of Sample-Based Product-Line Testing.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18).
doi: 10.1145/3278122.3278130
Konferenzveröffentlichung, Bibliographie

Varshosaz, Mahsa ; Mousavi, Mohammad Reza ; Luthmann, Lars ; Lochau, Malte (2017)
Expressive Power and Encoding of Transition System Models for Software Product Lines.
29th Nordic Workshop on Programming Theory (NWPT'17).
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Stephan, Andreas ; Bürdek, Johannes ; Lochau, Malte (2017)
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
Proceedings of the 21st International Systems and Software Product Line Conference.
doi: 10.1145/3106195.3106204
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Hrsg.: Kouchnarenko, Olga ; Khosravi, Ramtin (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
13th International Conference on Formal Aspects of Component Software (FACS 2016).
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2015)
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering.
Konferenzveröffentlichung, Bibliographie

Report

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
doi: 10.48550/arXiv.1910.08992
Report, Bibliographie

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

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
doi: 10.48550/arXiv.1606.09035
Report, Bibliographie

Dissertation

Luthmann, Lars (2020)
Specification and Analysis of Software Systems with Configurable Real-Time Behavior.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00017363
Dissertation, Erstveröffentlichung, Verlagsversion