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 - lars koenig ∂does-not-exist.kit edu
Chair Prof. Reussner
KASTEL – Institut für Informationssicherheit und Verlässlichkeit
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
Research Interests
- Model-driven (Software) Development
- Model Transformation Languages
- View-based Development
- Low-Code Development
Curriculum Vitae (CV)
| 11/2022 – now | Doctoral Researcher at the KASTEL Institute of Information Security and Dependability, 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 |
| 04/2020 – 09/2022 | Studies of Informatics (M.Sc.) at the Karlsruhe Institute of Technology (KIT) |
| 10/2016 – 05/2020 | Studies of Informatics (B.Sc.) at the Karlsruhe Institute of Technology (KIT) |
| 2016 | Abitur at GHSE Emmendingen – Technical Gymnasium |
Publications
Reports/Preprints
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
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
Conference Papers
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
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)
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 |
|---|---|---|
| Software Requirements and Design | Seminar | SS 25 |
| Tools for Agile Modelling | Practical Course | SS 25 |
| Programming Paradigms | Lecture | WS 24/25 |
| Engineering Approaches to Software Development | Practical Course | WS 24/25 |
| Praxis der Forschung | Project Group | SS 24 |
| Software Requirements and Design | Seminar | SS 24 |
| Software-Sustainability | Seminar | SS 24 |
| Praxis der Softwareentwicklung (Software Engineering) | Practical Course | 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 |
|---|---|---|---|
| Parallelizing Rule-Based Model Transformations in PREEvision | Bachelor's Thesis | ongoing | |
| Designing a Model Transformation Language for Projective Views | Master's Thesis | ongoing | |
| Implementation of Graph Query Operators as Triple Graph Grammar Rules | Master's Thesis | ongoing | |
| Integration of Triple Graph Grammars in Vitruvius | Master's Thesis | ongoing | |
| 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.