Lars König, M.Sc.
- Researcher
- Group: Model-Driven Software Development
- Office Hours: please make an appointment via e-mail
- Room: 035
CS 50.34 - Phone: +49 721 608-45767
- lars koenig ∂does-not-exist.kit edu
- ORCID
Chair Prof. Reussner
KASTEL – Institut für Informationssicherheit und Verlässlichkeit
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
Curriculum Vitae (CV)
| 11/2022 – now | Doctoral Researcher at the KASTEL Institute of Information Security and Dependability, Karlsruhe Institute of Technology (KIT) |
| 04/2020 – 09/2022 | Studies of Informatics (M.Sc.) at the Karlsruhe Institute of Technology (KIT) |
| 10/2019 – 10/2022 | Junior Teaching Assistant / Research Assistant at the Institute for Program Structures and Data Organization (IPD), Karlsruhe Institute of Technology (KIT) |
| 08/2017 – 12/2020 | Working Student at SAP, Walldorf |
| 10/2016 – 05/2020 | Studies of Informatics (B.Sc.) at the Karlsruhe Institute of Technology (KIT) |
| 2016 | Abitur at GHSE Emmendingen – Technical Gymnasium |
Publications
Conference Papers
Towards Examining the Complexity of Consistency
Pascual, R.; Lange, A.; Weber, T.; König, L.; Kirsten, M.; Stübinger, T.
2025. Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery (ACM)
Pascual, R.; Lange, A.; Weber, T.; König, L.; Kirsten, M.; Stübinger, T.
2025. Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery (ACM)
Modeling the MoM 2025 Satellite Configuration Challenge with Vitruvius
Jutz, B.; Weber, T.; Lange, A.; Dehghani, R.; Jiang, B.; Armbruster, M.; Feichtinger, K.; Hagel, N.; Kaushik, M.; König, L.; Mazkatli, M.; Minhas, M. A.; Neumann, D.; Burger, E.; Koziolek, A.; Reussner, R.
2025. Second International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025), Grand Rapids, MI, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Jutz, B.; Weber, T.; Lange, A.; Dehghani, R.; Jiang, B.; Armbruster, M.; Feichtinger, K.; Hagel, N.; Kaushik, M.; König, L.; Mazkatli, M.; Minhas, M. A.; Neumann, D.; Burger, E.; Koziolek, A.; Reussner, R.
2025. Second International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025), Grand Rapids, MI, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Towards Integrating Low-Code in View-based Development
Hermann, A.-K.; König, L.; Burger, E.; Reussner, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering. Ed.: M. Wimmer, 866–875, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688333
Hermann, A.-K.; König, L.; Burger, E.; Reussner, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering. Ed.: M. Wimmer, 866–875, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688333
What do you assume? A Theory of Security-Related Assumptions
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 278–279, Association for Computing Machinery (ACM). doi:10.1145/3639478.3643070
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 278–279, Association for Computing Machinery (ACM). doi:10.1145/3639478.3643070
Towards Bringing Vitruvius into the Cloud
Armbruster, M.; Weber, T.; König, L.
2024. Softwaretechnik-Trends, 18–20, Gesellschaft für Informatik (GI)
Armbruster, M.; Weber, T.; König, L.
2024. Softwaretechnik-Trends, 18–20, Gesellschaft für Informatik (GI)
Towards Deep Reactions in Multi-Level, Multi-View Modeling
Weber, T.; Ojha, M.; Sadeghi, M.; König, L.; Armbruster, M.; Lange, A.; Burger, E.; Atkinson, C.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz Austria, 22nd - 27th September 2024, 760–769, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688208
Weber, T.; Ojha, M.; Sadeghi, M.; König, L.; Armbruster, M.; Lange, A.; Burger, E.; Atkinson, C.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz Austria, 22nd - 27th September 2024, 760–769, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688208
Co-Evolving Meta-Models and View Types in View-Based Development
Muctadir, H. M.; König, L.; Weber, T.; Amrani, M.; Cleophas, L.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 954–963, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00150
Muctadir, H. M.; König, L.; Weber, T.; Amrani, M.; Cleophas, L.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 954–963, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00150
Identifying Performance Challenges in Consistency Preserving View-Based Environments
König, L.; Weber, T.
2023. Softwaretechnik-Trends, 14th Symposium on Software Performance 2023, Karlsruhe, 6th - 8th November 2023, 26–28, Gesellschaft für Informatik (GI)
König, L.; Weber, T.
2023. Softwaretechnik-Trends, 14th Symposium on Software Performance 2023, Karlsruhe, 6th - 8th November 2023, 26–28, Gesellschaft für Informatik (GI)
Posters
What do you assume? A Theory of Security-Related Assumptions
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
Reports/Preprints
Transforming Relational Model Queries to Triple Graph Grammars
König, L.; Ritz, D.; Burger, E.
2025. Institute of Electrical and Electronics Engineers (IEEE). doi:10.5445/IR/1000185585
König, L.; Ritz, D.; Burger, E.
2025. Institute of Electrical and Electronics Engineers (IEEE). doi:10.5445/IR/1000185585
Towards dynamic views on heterogeneous models – the NeoJoin view definition language
König, L.; Stickling, T.; Ritz, D.; Burger, E.
2025. doi:10.5445/IR/1000182351
König, L.; Stickling, T.; Ritz, D.; Burger, E.
2025. doi:10.5445/IR/1000182351
A Formalized Classification Schema for Model Consistency
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127
Master's Theses
An Improved Interface for Interactive Proofs in Separation Logic. master’s thesis
König, L.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000153230
König, L.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000153230
Courses
| Title | Type | Semester |
|---|---|---|
| Programming Paradigms | Lecture (TA) | WS 25/26 |
| Data in Software-Intensive Technical Systems | Seminar | WS 25/26 |
| Engineering Approaches to Software Development | Practical Course | WS 25/26 |
| Tools for Agile Modelling | Practical Course | WS 25/26 |
| Software Requirements and Design | Seminar | SS 25 |
| Tools for Agile Modelling | Practical Course | SS 25 |
| Programming Paradigms | Lecture (TA) | WS 24/25 |
| Engineering Approaches to Software Development | Practical Course | WS 24/25 |
| Praxis der Forschung | Project Group | SS 24 |
| Praxis der Softwareentwicklung (Software Engineering) | Project Group | SS 24 |
| Software Requirements and Design | Seminar | SS 24 |
| Software-Sustainability | Seminar | SS 24 |
| Engineering Approaches to Software Development | Practical Course | SS 24 |
| Praxis der Forschung | Project Group | WS 23/24 |
| Engineering Approaches to Software Development | Practical Course | WS 23/24 |
| Tools for Agile Modelling | Practical Course | WS 23/24 |
| Software-Sustainability | Seminar | SS 23 |
Supervised Student Works
| Title | Type | Year | Reference |
|---|---|---|---|
| Meta Modelling of Concrete Textual Syntax Patterns | Master's Thesis | ongoing | |
| Transformation of Xbase Expressions to Relational Query Operations | Master's Thesis | ongoing | |
| Parallelizing Rule-Based Model Transformations in PREEvision | Bachelor's Thesis | 2025 | |
| Designing a Model Transformation Language for Projective Views | Master's Thesis | 2025 | DOI |
| Implementing Relational Queries on Models as Triple Graph Grammars | Master's Thesis | 2025 | DOI, DOI |
| Integration of Triple Graph Grammars in Vitruvius | Master's Thesis | 2025 | |
| Validating Completeness in Software Requirements Specifications using Large Language Models | Bachelor's Thesis | 2024 | |
| Towards Integrating Low-Code in View-based Development | Praxis der Forschung | 2024 | DOI |
| Exploring Modern IDE Functionalities for Consistency Preservation | Master's Thesis | 2024 | |
| Architecture-based Maintainability Prediction of Meta-Models using Evolution Scenarios | Master's Thesis | 2024 |
Open topics will be published in the SDQ Wiki. Feel free to approach me with your own ideas.
In addition to bachelor's and master's theses, we also have an open position for a student assistant to support the development of our model query language NeoJoin.
Community Activities
- Program Committee Member for the Second International Workshop on Model Management (MoM), 2025
- NII Shonan Meeting Participant, No. 231 Bidirectional Transformations: Foundations and Applications (bx), 2025
- Program Committee Member for the Working Workshop on Research Data Management for and in Software Engineering (RDMxSE), 2025
- CAMPaM Workshop Participant, Computer Automated Multi-Paradigm Modelling (CAMPaM), 2023