Lucas Wollenhaupt, M.Sc. RWTH

page.title
Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

+49 (241) 80-21374
wollenhaupt@se-rwth.de

Room 4221


Publications at SE:

  1. [FKR+25]
    L. Fischer, H. Kausch, B. Rumpe, M. Stachon, S. Stüber, L. Wollenhaupt:
    Methodical and Formally Verified Model-Driven Architecture Refactoring.
    In: Journal of Object Technology (JOT), R. Jongeling, S. Mosser (Eds.), Volume 24(2), pp. 1-14, DOI 10.5381/jot.2025.24.2.a13, Association Internationale pour les Technologies Objets (AITO), May 2025.
  2. [KRW+23]
    S. Koch, F. Reiche, S. Weber, M. Konersmann, S. Stüber, L. Wollenhaupt, B. Taghavi, B. Rumpe, R. Heinrich:
    A Collection of Scenarios for the Decomposition and Composition of Model-based Analyses.
    Karlsruher Institut für Technologie (KIT), Technical Report, Volume 2023(2), Karlsruhe Reports in Informatics, DOI 10.5445/IR/1000161276, Aug. 2023.

Previous Publications:

[BNR+22] D. Bernhardt, A. Niemeyer, F. Rober, L. Wollenhaupt:
Conjugacy classes and centralisers in wreath products
Journal of Symbolic Computation 113 (2022): 97-125.