Dr.-Ing. Heiko Klare
- Alumnus (former Postdoctoral Researcher)
- Group: Model-Driven Software Development
- Office Hours: -
- Room: -
- Phone: -
- mail ∂does-not-exist.heiko klare info
- www.heiko.klare.info
Am Fasanengarten 5
76131 Karlsruhe
Germany
Functions
- Research about consistent, role-based engineering of secure software-intensive systems, in particular mobility systems
- Assistance in the executive board of the KASTEL mobility lab
- Lead development of the Vitruvius framework for consistent, view-based systems engineering
Research Interests
- Model-driven software development
- View-based software development
- Multi-view modelling and consistency preservation
- Model transformations and transformation networks
- Consistency-preserving collaborative model evolution
Short CV
You can find a detailled CV on my personal hompage: English, German
| 06/2021-09/2022 | Postdoctoral Researcher at the KIT Department of Computer Science, Karlsruhe Institute of Technology |
| 07/2016-05/2021 | Doctoral Researcher at the KIT Department of Computer Science, Karlsruhe Institute of Technology |
| 10/2010-06/2015 | Studies of Computer Science at the Karlsruhe Institute of Technology |
| 2009 | Abitur at Petrus-Legge-Gymnasium in Brakel |
Publications
Journal Articles
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations
Klare, H.; Gleitze, J.
2023. Formal Aspects of Computing, 35 (3), 1–35. doi:10.1145/3543845
Klare, H.; Gleitze, J.
2023. Formal Aspects of Computing, 35 (3), 1–35. doi:10.1145/3543845
Enabling consistency in view-based system development - The Vitruvius approach
Klare, H.; Kramer, M. E.; Langhammer, M.; Werle, D.; Burger, E.; Reussner, R.
2021. The journal of systems and software, 171, Article no: 110815. doi:10.1016/j.jss.2020.110815
Klare, H.; Kramer, M. E.; Langhammer, M.; Werle, D.; Burger, E.; Reussner, R.
2021. The journal of systems and software, 171, Article no: 110815. doi:10.1016/j.jss.2020.110815
A Categorization of Interoperability Issues in Networks of Transformations
Klare, H.; Syma, T.; Burger, E.; Reussner, R.
2019. Journal of object technology, 18 (3), 4:1–20. doi:10.5381/jot.2019.18.3.a4
Klare, H.; Syma, T.; Burger, E.; Reussner, R.
2019. Journal of object technology, 18 (3), 4:1–20. doi:10.5381/jot.2019.18.3.a4
Conference Papers
Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations
Sağlam, T.; Klare, H.
2021. STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations. Hrsg.: Ludovico Lovino, Lars Michael Kristensen, 34–53, CEUR-WS.org
Sağlam, T.; Klare, H.
2021. STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations. Hrsg.: Ludovico Lovino, Lars Michael Kristensen, 34–53, CEUR-WS.org
Finding a Universal Execution Strategy for Model Transformation Networks
Gleitze, J.; Klare, H.; Burger, E.
2021. Fundamental Approaches to Software Engineering. Ed.: E. Guerra, 87–107, Springer International Publishing. doi:10.1007/978-3-030-71500-7_5
Gleitze, J.; Klare, H.; Burger, E.
2021. Fundamental Approaches to Software Engineering. Ed.: E. Guerra, 87–107, Springer International Publishing. doi:10.1007/978-3-030-71500-7_5
A conceptual model for unifying variability in space and time
Ananieva, S.; Greiner, S.; Kühn, T.; Krüger, J.; Linsbauer, L.; Grüner, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Krieter, S.; Seidl, C.; Ramesh, S.; Reussner, R.; Westfechtel, B.
2020. SPLC ’20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 148–158, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414955
Ananieva, S.; Greiner, S.; Kühn, T.; Krüger, J.; Linsbauer, L.; Grüner, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Krieter, S.; Seidl, C.; Ramesh, S.; Reussner, R.; Westfechtel, B.
2020. SPLC ’20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 148–158, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414955
Classifying Approaches for Constructing Single Underlying Models
Meier, J.; Werner, C.; Klare, H.; Tunjic, C.; Aßmann, U.; Atkinson, C.; Burger, E.; Reussner, R.; Winter, A.
2020. Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019. Revised Selected Papers. Ed.: S. Hammoudi, 350–375, Springer Nature. doi:10.1007/978-3-030-37873-8_15
Meier, J.; Werner, C.; Klare, H.; Tunjic, C.; Aßmann, U.; Atkinson, C.; Burger, E.; Reussner, R.; Winter, A.
2020. Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019. Revised Selected Papers. Ed.: S. Hammoudi, 350–375, Springer Nature. doi:10.1007/978-3-030-37873-8_15
Commonalities for Preserving Consistency of Multiple Models
Klare, H.; Gleitze, J.
2019. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Munich, Germany, 15-20 Sept. 2019, 371–378, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C.2019.00058
Klare, H.; Gleitze, J.
2019. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Munich, Germany, 15-20 Sept. 2019, 371–378, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C.2019.00058
Towards a conceptual model for unifying variability in space and time
Ananieva, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Ramesh, S.; Burger, A.; Taentzer, G.; Westfechtel, B.
2019. Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC ’19, 1–5, ACM Digital Library. doi:10.1145/3307630.3342412
Ananieva, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Ramesh, S.; Burger, A.; Taentzer, G.; Westfechtel, B.
2019. Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC ’19, 1–5, ACM Digital Library. doi:10.1145/3307630.3342412
Single underlying models for projectional, multi-view environments
Meier, J.; Klare, H.; Tunjic, C.; Atkinson, C.; Burger, E.; Reussner, R.; Winter, A.
2019. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prag, CZ, February 20-22, 2019. Ed.: S. Hammoudi, 119–130, SciTePress. doi:10.5220/0007396401190130
Meier, J.; Klare, H.; Tunjic, C.; Atkinson, C.; Burger, E.; Reussner, R.; Winter, A.
2019. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prag, CZ, February 20-22, 2019. Ed.: S. Hammoudi, 119–130, SciTePress. doi:10.5220/0007396401190130
Applying metamodel-based tooling to object-oriented code
Klare, H.; Saglam, T.; Burger, E.; Reussner, R.
2019. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prag, CZ, February 20-22, 2019. Ed.: S. Hammoudi, 219–230, SciTePress. doi:10.5220/0007246202190230
Klare, H.; Saglam, T.; Burger, E.; Reussner, R.
2019. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prag, CZ, February 20-22, 2019. Ed.: S. Hammoudi, 219–230, SciTePress. doi:10.5220/0007246202190230
An Empirical Study on the Current and Future Challenges of Automotive Software Release and Configuration Management
Guissouma, H.; Klare, H.; Sax, E.; Burger, E.
2018. Euromicro Conference on Software Engineering and Advanced Applications 2018 (SEAA 2018), Prague, CZ, August 29-31, 2018. Ed.: T. Bures, 298–305, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA.2018.00056
Guissouma, H.; Klare, H.; Sax, E.; Burger, E.
2018. Euromicro Conference on Software Engineering and Advanced Applications 2018 (SEAA 2018), Prague, CZ, August 29-31, 2018. Ed.: T. Bures, 298–305, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA.2018.00056
The palladio-bench for modeling and simulating software architectures
Heinrich, R.; Werle, D.; Klare, H.; Reussner, R.; Kramer, M.; Becker, S.; Happe, J.; Koziolek, H.; Krogmann, K.
2018. 40th ACM/IEEE International Conference on Software Engineering (ICSE 2018), Gothenburg, S, May 27 June 3, 2018, 37–40, Association for Computing Machinery (ACM). doi:10.1145/3183440.3183474
Heinrich, R.; Werle, D.; Klare, H.; Reussner, R.; Kramer, M.; Becker, S.; Happe, J.; Koziolek, H.; Krogmann, K.
2018. 40th ACM/IEEE International Conference on Software Engineering (ICSE 2018), Gothenburg, S, May 27 June 3, 2018, 37–40, Association for Computing Machinery (ACM). doi:10.1145/3183440.3183474
Variants and Versions Management for Models with Integrated Consistency Preservation
Ananieva, S.; Klare, H.; Burger, E.; Reussner, R.
2018. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018), Madrid, E, February 7-9, 2018, 3–10, Association for Computing Machinery (ACM). doi:10.1145/3168365.3168377
Ananieva, S.; Klare, H.; Burger, E.; Reussner, R.
2018. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018), Madrid, E, February 7-9, 2018, 3–10, Association for Computing Machinery (ACM). doi:10.1145/3168365.3168377
Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems
Yurchenko, K.; Behr, M.; Klare, H.; Kramer, M.; Reussner, R.
2017. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, September 17-22, 2017. Ed.: L. Burgueño, 321–323, RWTH Aachen
Yurchenko, K.; Behr, M.; Klare, H.; Kramer, M.; Reussner, R.
2017. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, September 17-22, 2017. Ed.: L. Burgueño, 321–323, RWTH Aachen
Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools
Klare, H.; Burger, E.; Kramer, M.; Langhammer, M.; Saglam, T.; Reussner, R.
2017. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, September 17-22, 2017, 221–228, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS.2017.30
Klare, H.; Burger, E.; Kramer, M.; Langhammer, M.; Saglam, T.; Reussner, R.
2017. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, September 17-22, 2017, 221–228, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS.2017.30
Projecting UML Class Diagrams from Java Code Models
Klare, H.; Langhammer, M.; Kramer, M. E.
2016. 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling : Proceedings, 2 March 2016, Karlsruhe, Germany. Ed.: C. Atkinson, 11–18, Karlsruher Institut für Technologie (KIT)
Klare, H.; Langhammer, M.; Kramer, M. E.
2016. 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling : Proceedings, 2 March 2016, Karlsruhe, Germany. Ed.: C. Atkinson, 11–18, Karlsruher Institut für Technologie (KIT)
Reports/Preprints
A Formal Approach to Prove Compatibility in Transformation Networks
Klare, H.; Pepin, A.; Burger, E.; Reussner, R.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000121444
Klare, H.; Pepin, A.; Burger, E.; Reussner, R.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000121444
A Survey on the State and Future of Automotive Software Release and Configuration Management
Sax, E.; Reussner, R.; Guissouma, H.; Klare, H.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000075673
Sax, E.; Reussner, R.; Guissouma, H.; Klare, H.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000075673
PhD Theses
Building Transformation Networks for Consistent Evolution of Interrelated Models. PhD dissertation
Klare, H.
2022. KIT Scientific Publishing. doi:10.5445/KSP/1000138566
Klare, H.
2022. KIT Scientific Publishing. doi:10.5445/KSP/1000138566
Building Transformation Networks for Consistent Evolution of Interrelated Models. PhD dissertation
Klare, H.
2021, June 9. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000133724
Klare, H.
2021, June 9. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000133724
Master's Theses
Designing a Change-Driven Language for Model Consistency Repair Routines. master’s thesis
Klare, H.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080138
Klare, H.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080138
Artifacts
Reproduction Package for Evaluating the Vitruvius Approach
Klare, H.
2020, September 17. doi:10.5445/IR/1000123568
Klare, H.
2020, September 17. doi:10.5445/IR/1000123568
Projects
I am and have been working on the following projects.
In particular, I am lead developer of the Vitruvius framework developed within the Vitruvius research project.
Lectures
I have been involved in the following lectures as a teaching assistant preparing materials, practice sheets and exams.
In addition, I give regular guest lectures in the course and have the supported the lecture with mini tutorials based on ILIAS.
| Title | Semester |
|---|---|
| Programming Paradigms | WS 19/20 |
| Übung zu Programmierparadigmen | WS 19/20 |
| Programming Paradigms | WS 18/19 |
| Übung zu Programmierparadigmen | WS 18/19 |
| Programming Paradigms | WS 17/18 |
| Übung zu Programmierparadigmen | WS 17/18 |
| Software Engineering in Practice | WS 16/17 |
| Programming Paradigms | WS 16/17 |
| Übung zu Programmierparadigmen | WS 16/17 |
| Software Engineering in Practice | SS 2017 |
Supervised Theses
- Thomas Weber. Entwurf und Umsetzung von Zugriffskontrolle in der Sichtenbasierten Entwicklung. Master's thesis, Karlsruhe Institute of Technology (KIT), 2022.
- Joshua Gleitze. Methodology for Evaluation a Domain-Specific Model Transformation Language. Master's thesis, Karlsruhe Institute of Technology (KIT), 2021. [ http | bib | pdf ]
- Lukas Hennig. Describing Consistency Relations of Multiple Models with Commonalities. Master's thesis, Karlsruhe Institute of Technology (KIT), 2020.
- Timur Sağlam. A Case Study for Networks of Bidirectional Transformations. Master's thesis, Karlsruhe Institute of Technology (KIT), 2020. [ http | bib | pdf ]
- Aurélien Pepin. Decomposition of Relations for Multi-model Consistency Preservation. Master's thesis, Karlsruhe Institute of Technology (KIT), 2019. [ http | bib | pdf ]
- Roland Osterrieter. Combining Imperative and Declarative Language Constructs in Mappings for Model-driven Software Consistency Preservation. Master's thesis, Karlsruhe Institute of Technology (KIT), 2019.
- Andreas Lang. Eigenschaftsbasierte Konsistenzerhaltung in AutomationML. Master's thesis, Karlsruhe Institute of Technology (KIT), 2019.
- Torsten Syma. Multi-model Consistency through Transitive Combination of Binary Transformations. Master's thesis, Karlsruhe Institute of Technology (KIT), 2018. [ http | bib | pdf ]
- Dominik Klooz. Semi-automatic Consistency Preservation of Models. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2018.
- Joshua Gleitze. A Declarative Language for Preserving Consistency of Multiple Models. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017. [ http | bib | pdf ]
- Patrick Stöckle. Model Versioning with Consistency Conservation in Vitruvius. Master's thesis, Karlsruhe Institute of Technology (KIT), 2017.
- Matthias Klatte. Konsistenzhaltung zwischen UML- und PCM-Komponentenmodellen. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017.
- Fei Chen. Änderungsgetriebene Konsistenzhaltung zwischen UML-Klassenmodellen und Java-Code. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017.
- Stefan Elbert. Darstellung und Anwendung von Änderungssequenzen an Ecore-Modellen. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017.
- Benjamin Rupp. Fallstudie zur Evaluierung einer Sprache zur Konsistenzerhaltung von Softwaremodellen für Automobilsysteme. Master's thesis, Karlsruhe Institute of Technology (KIT), 2017.
- Timur Sağlam. Automatic Integration of Ecore Functionality into Java Code. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017. [ http | bib | pdf ]
Activities
He has been a program committee member of the following events:
- VoSE 2019 1st International Workshop on View-Oriented Software Engineering
He was invited to and participated in the following Dagstuhl Seminars:
- Dagstuhl Seminar 19191: "Software Evolution in Time and Space: Unifying Version and Variability Management",
participated in writing the Dagstuhl Report - Dagstuhl Seminar 18491: "Multidirectional Transformations and Synchronisations",
participated in writing the Dagstuhl Report
Memberships
He is a member of the following organizations/communities:
- Gesellschaft für Informatik (GI) e.V., membership number GI-63355
Qualifications
- Certified Professional Scrum Product Owner (PSPO), Scrum.org
- Certified Professional Scrum Master (PSPM), Scrum.org
- Baden-Württemberg Zertifikat für Hochschuldidaktik, Hochschuldidaktikzentrum Baden-Württemberg (HDZ)
- Agile Software Engineering Training, andrena objects ag
Awards
- GI-Dissertationspreis Nomination (2021), GI
- Ernst Denert Software-Engineering-Preis Nomination (2021), GI
- Distinction for Dissertation (2021), Karlsruhe Institute of Technology
- Best Paper Award Nomination (2021), European Association for the Study of Science and Technology (EASST): Nomination for EASST best paper award at European Joint Conferences on Theory & Practice of Software (ETAPS) for the paper "Finding a Universal Execution Strategy for Model Transformation Networks" presented at Fundamental Approaches to Software Engineering (FASE) conference
- Best Compulsory Lecture (2018), KIT Department of Informatics: Award for best computer science compulsory lecture "Programming Paradigms" in summer term 2017 and winter term 2017/2018
- Deutschlandstipendium (2014), Karlsruhe Institute of Technology: Awarded for outstanding academic performance