Lars König, M.Sc.
- Researcher
- Room: 035
CS 50.34 - lars koenig ∂ kit edu
- Am Fasanengarten 5
76131 Karlsruhe
Research Interests
- Model-driven (Software) Development
- Model Transformation Languages
- View-based Development
- Blended Modeling / Low Code Development
Curriculum Vitae (CV)
11/2022 - now | Doctoral Researcher at the Department of Informatics, Karlsruhe Institute of Technology |
10/2019 - 10/2022 | Junior Teaching Assistant / Research Assistant at the Department of Informatics, Karlsruhe Institute of Technology |
08/2017 - 12/2020 | Working Student at SAP, Walldorf |
10/2016 - 09/2022 | Studies of Informatics at Karlsruhe Institute of Technology |
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
Conference Papers
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