Lars Luthman joined the Lab for "Modeling and Analysis of Information Systems" (MAIS) of the Department of Computer Science at TU Darmstadt in 2021 as a PostDoc.

See also this page or DBLP for a list of my publications.

[j4] L. Luthmann, T. Gerecht, M. Lochau: Sampling strategies for product lines with unbounded parametric real-time constraints. In International Journal on Software Tools for Technology Transfer (STTT), volume 21, issue 6, pages 613-633, Springer, 2019.
DOI: 10.1007/s10009-019-00532-4

[j3] M. Varshosaz, L. Luthmann, P. Mohr, M. Lochau, M.R. Mousavi: Modal transition system encoding of featured transition systems. In Journal of Logical and Algebraic Methods in Programming (JLAMP), volume 106, pages 1-28, Elsevier, 2019.
DOI: 10.1016/j.jlamp.2019.03.003

[j2] L. Luthmann, T. Gerecht, A. Stephan, J. Bürdek, M. Lochau: Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints. In The Journal of Systems and Software (JSS), volume 149, pages 535-553, Elsevier, 2018.
DOI: 10.1016/j.jss.2018.12.028

[j1] L. Luthmann, S. Mennicke, M. Lochau: Unifying modal interface theories and compositional input/output conformance testing. In Science of Computer Programming (SCP), volume 172, pages 27-47, Elsevier, 2018.
DOI: 10.1016/j.scico.2018.09.008, Errata (PDF)

[c7] M. Lochau, L. Luthmann, H. Göttmann, I. Bacher: Parametric Timed Bisimulation. In Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20), pages 55-71, Springer, 2020.
DOI: 10.1007/978-3-030-61470-6_5

[c6] H. Göttmann, L. Luthmann, A. Schürr, M. Lochau: Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines. In Proceedings of the 24th International Systems and Software Product Line Conference (SPLC'20), pages 1-11, ACM, 2020.
DOI: 10.1145/3382025.3414945

[c5] J. Soldani, L. Luthmann, M. Lochau, A. Brogi: Testing conformance in multi-component enterprise application management. In Proceedings of the 8th European Conference on Service-Oriented and Cloud Computing (ESOCC'20), pages 3-18, Springer, 2020.
DOI: 10.1007/978-3-030-44769-4_1

[c4] L. Luthmann, H. Göttmann, M. Lochau: Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. In Proceedings of the 16th International Conference on Formal Aspects of Component Software (FACS'19), pages 147-169, Springer, 2019.
DOI: 10.1007/978-3-030-40914-2_8

[c3] S. Ruland, L. Luthmann, J. Bürdek, S. Lity, T. Thüm, M. Lochau, M. Ribeiro: Measuring Effectiveness of Sample-Based Product-Line Testing. In Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18), pages 119-133, ACM, 2018.
DOI: 10.1145/3278122.3278130

[c2] L. Luthmann, A. Stephan, J. Bürdek, M. Lochau: Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. In Proceedings of the 21st International Systems and Software Product Line Conference (SPLC'17), pages 104-113, ACM, 2017. Awarded as the best paper of SPLC'17.
DOI: 10.1145/3106195.3106204

[c1] L. Luthmann, S. Mennicke, M. Lochau: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. In Proceedings of the 13th International Conference on Formal Aspects of Component Software (FACS'16), pages 54-72, Springer, 2016.
DOI: 10.1007/978-3-319-57666-4_5, Errata (PDF)

[w2] M. Varshosaz, M.R. Mousavi, L. Luthmann, M. Lochau: Expressive Power and Encoding of Transition System Models for Software Product Lines. In Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT'17), pages 57-59, 2017.
Available here (PDF)

[w1] L. Luthmann, S. Mennicke, M. Lochau: Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. In Proceedings of the 6th International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'15), pages 1-13, 2015.
DOI: 10.4204/EPTCS.182.1, Errata (PDF)

[t3] L. Luthmann, H. Göttmann, I. Bacher, M. Lochau: Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report, 2019.
Available at arXiv.org

[t2] L. Luthmann, H. Göttmann, M. Lochau: Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report, 2019.
Available at arXiv.org

[t1] L. Luthmann, S. Mennicke, M. Lochau: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report, 2016.
Available at arXiv.org

• Frederic Jacob: Selbstkonfigurierende und kooperierende Agenten in einem Industrie-4.0-Kontext. Master's thesis, supervisors: H. Göttmann, L. Luthmann, 2020.
• Isabelle Bacher: Bisimulations-Analyse von echtzeitkritischen Software-Produktlinien. Master's thesis, supervisors: L. Luthmann, H. Göttmann, 2020.
• Hendrik Göttmann: Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines. Master's thesis, supervisors: L. Luthmann, M. Lochau, M. Weckesser, 2020.
• Philipp Adolf: Automatisierte Generierung von C-Code aus parametrisierten Echtzeitmodellen. Bachelor's thesis, supervisors: L. Luthmann, S. Ruland, 2019.
• Christian Hack: Messbasiertes Reverse Engineering von parametrischen Echtzeitmodellen aus konfigurierbarem C-Code. Bachelor's thesis, 2019.
• Verena Ackermann: Evaluation automatisierter Test-Suite-Generierung für echtzeitkritische Software-Produktlinien. Bachelor's thesis, 2019.
• Georg Kriener: Automatisierte Konsistenzanalyse für echtzeitkritische Software-Produktlinien. Master's thesis, 2018.
• Timo Gerecht: Sampling-Strategien für echtzeitkritische Software-Produktlinien. Master's thesis, 2018.
• Stefan Wegener: Reverse Engineering von Parametric Timed Automata aus konfigurierbarem C-Code. Master's thesis, 2018.
• Hendrik Göttmann: Testen von Safety- und Liveness-Eigenschaften echtzeitkritischer Systeme. Bachelor's thesis, 2017.
• Zeinab Mohammadkia: Rule-Based Specification and Synthesis of Reconfiguration Behaviors in Self-Adaptive Systems. Master's thesis, supervisors: M. Lochau, J. Bürdek, L. Luthmann, 2017.
• Valentin Kuhn: Efficient Version-aware Multi-goal Test-suite Generation. Bachelor's thesis, supervisors: J. Bürdek, L. Luthmann, 2017.
• Jakob Rimkus: Generating Combinatorial Test Cases and Test Data from REST API Definitions. Master's thesis, 2017.
• Andreas Stephan: Modellbasierte Testfallgenerierung für echtzeitkritische Software-Produktlinien. Master's thesis, supervisors: L. Luthmann, M. Lochau, 2017.