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
Luthmann

Teaching

Publications

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

Refereed Journal Articles

[j1] L. Luthmann, S. Mennicke, M. Lochau: Unifying Modal Interface Theories and Compositional Input/Output Conformance Testing. In Science of Computer Programming (172), pages 27-47, Elsevier, 2018.
DOI: 10.1016/j.scico.2018.09.008

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

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

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

  • 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

Kontakt

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