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 ∂ 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 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
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. CSE-Companion (2024), Lisbon, Portugal, April 14–20, 2024
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. CSE-Companion (2024), Lisbon, Portugal, April 14–20, 2024
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
Courses
Title | Type | Semester |
---|---|---|
Programming Paradigms | Lecture | WS 24/25 |
Praxis der Forschung | Project Group | SS 24 |
Proseminar: Software Requirements and Design | Seminar | SS 24 |
Proseminar: Software-Sustainability | Seminar | SS 24 |
Praxis der Softwareentwicklung (Software Engineering) | Practical Course | SS 24 |
Practical Course: Developing Software as an Engineer | Practical Course | SS 24 |
Praxis der Forschung | Project Group | WS 23/24 |
Practical Course: Developing Software as an Engineer | Practical Course | WS 23/24 |
Practical Course: Tools for Agile Modelling | Practical Course | WS 23/24 |
Proseminar: Software-Sustainability | Seminar | SS 23 |