Lars Luthmann

Dr.-Ing. Lars Luthmann

+49(0)6151 16-25253
fax +49(0)6151 16-25251

S2|02 E312
Hochschulstraße 10
64289 Darmstadt

Fachgebiet Modeling and Analysis of Information Systems - MAIS

Lars Luthman ist seit 2021 im Rahmen einer PostDoc-Stelle am Fachgebiet "Modeling and Analysis of Information Systems" (MAIS) des Fachbereichs Informatik der TU Darmstadt tätig.

Veröffentlichungen

Veröffentlichungen sind unter anderem auf dieser Webseite zu finden oder alternativ in Listenform.

Veröffentlichte Journal-Artikel

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

Veröffentlichte Konferenzpapiere

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

Veröffentlichte Workshop-Papiere

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

Technische Reports

[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

Abgeschlossene Abschlussarbeiten

  • 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.