M.Sc. Lars Luthmann

M.Sc. Lars Luthmann
Magdalenenstr. 4
64289 Darmstadt

Gebäude S1|08, Raum: 5 (EG)
Telefon: +49(0)6151 16-22395
Telefax: +49(0)6151 16-22352



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

Refereed Journal Articles

[j4] L. Luthmann, T. Gerecht, M. Lochau: Sampling Strategies for Product Lines with Unbounded Parametric Real-time Constraints. Accepted for publication in LNCS Transactions on Foundations for Mastering Change, Springer.

[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)

Refereed Conference Papers

[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.
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)

Refereed Workshop Papers

[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)

Technical Reports

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

Student Theses

Interested in writing a thesis? Please find a list of currently open topics here.

Completed Theses

  • 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


Technische Universität Darmstadt

Fachbereich Elektrotechnik und Informationstechnik

Fachgebiet Echtzeitsysteme

Prof. Dr. rer. nat. Andy Schürr

Magdalenenstr. 4

64289 Darmstadt

+49(0)6151 16-22350

+49(0)6151 16-22352

Drucken | Impressum | Datenschutzerklärung | Sitemap | Suche | Kontakt
Zum SeitenanfangZum Seitenanfang