- Model-driven (Software) Development
- Intellectual Property Protection
- Consistency Preservation in View-based Environments
- Cross-Organisational Collaboration
Thomas Weber, M.Sc.
- Researcher
- Group: Model-Driven Software Development
- Room: 035
CS 50.34 - Phone: +49 721 608-47375
- thomas weber ∂does-not-exist.kit edu
Chair Prof. Reussner
KASTEL - Institute of Information Security and Dependability
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
Research Interests
Curriculum Vitae (CV)
| 07/2022 - now | Doctoral Researcher at the Department of Informatics, Karlsruhe Institute of Technology |
| 04/2021 - 08/2021 | Internship at IOSB Fraunhofer, Karlsruhe |
| 10/2017 - 03/2022 | Teaching Assistant at the Department of Informatics, Karlsruhe Institute of Technology |
| 10/2016 - 06/2022 | Studies of Informatics at Karlsruhe Institute of Technology |
| 2016 | Abitur at Europa-Gymnasium Wörth |
Publications
2025
Journal Articles
Modeling the composition of analysis components and automatic constraint checking for semantic soundness
Taghavi, B.; Weber, S.; Marin, A.; Rumpe, B.; Stüber, S.; Henss, J.; Weber, T.; Heinrich, R.
2025. The journal of systems and software, 231. doi:10.1016/j.jss.2025.112637
Taghavi, B.; Weber, S.; Marin, A.; Rumpe, B.; Stüber, S.; Henss, J.; Weber, T.; Heinrich, R.
2025. The journal of systems and software, 231. doi:10.1016/j.jss.2025.112637
Enhancing Production Workflows by Leveraging BPMN to Model Inconsistencies — An Experience Report
Weber, T.; Kuder, N. D.; Völk, T. A.; Schneider, J.; Weber, S.; Koziolek, A.
2025. The Journal of Object Technology, 24 (2), 1–14
Weber, T.; Kuder, N. D.; Völk, T. A.; Schneider, J.; Weber, S.; Koziolek, A.
2025. The Journal of Object Technology, 24 (2), 1–14
Traceability Support for Engineering Reviews of Horizontal Model Evolution
Cederbladh, J.; Kamburjan, E.; Manrique-Negrin, D. A.; Mittal, R.; Weber, T.
2025. Systems Engineering, 28 (6), 720–736. doi:10.1002/sys.70001
Cederbladh, J.; Kamburjan, E.; Manrique-Negrin, D. A.; Mittal, R.; Weber, T.
2025. Systems Engineering, 28 (6), 720–736. doi:10.1002/sys.70001
Conference Papers
An Initial Exploration of MULTI Level Modeling for Model-Based Systems Engineering
Lange, A.; Cederbladh, J.; Feichtinger, K.; Weber, T.
2025. INCOSE International Symposium, 348–363. doi:10.1002/iis2.70080
Lange, A.; Cederbladh, J.; Feichtinger, K.; Weber, T.
2025. INCOSE International Symposium, 348–363. doi:10.1002/iis2.70080
Towards the Derivation of Encryption Rules for Encryption-Based Access Control for Delta-Based Model Representations — The DEBAC Approach
Weber, T.; Quellmalz, K.; Benz, L.; Weber, S.; Burger, E.; 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)
Weber, T.; Quellmalz, K.; Benz, L.; Weber, S.; Burger, E.; 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)
How and Why is Change Modeled? – A Scoping Literature Review
Weber, T.; Cederbladh, J.; Weber, S.; Lange, A.; Cicchetti, A.; Reussner, R.
2025. Models and Evolution Workshop, Institute of Electrical and Electronics Engineers (IEEE)
Weber, T.; Cederbladh, J.; Weber, S.; Lange, A.; Cicchetti, A.; Reussner, R.
2025. Models and Evolution Workshop, Institute of Electrical and Electronics Engineers (IEEE)
Machine Learning Surrogate Models for Performance Prediction with Architectural Models
Weber, S.; Pace, V.; Weber, T.; Henß, J.; Heinrich, R.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Weber, S.; Pace, V.; Weber, T.; Henß, J.; Heinrich, R.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Generation of Checkpoints for Hardware Architecture Simulators
Weber, S.; Weber, L.; Weber, T.; Henß, J.; Heinrich, R.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Weber, S.; Weber, L.; Weber, T.; Henß, J.; Heinrich, R.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Towards Bringing Vitruvius into the Cloud II: Against Attacks from the Internet
Armbruster, M.; Chebbi, F.; Weber, T.; Koziolek, A.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Armbruster, M.; Chebbi, F.; Weber, T.; Koziolek, A.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
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)
What can we learn from other Domains – An exploratory process for the extension of a language based on cross-domain knowledge transfer
Jutz, B.; Zacouris, Z.; Weber, T.; Acosta, M.; Reussner, R.; Burger, E.
2025. Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, Grand Rapids, MI, USA, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Jutz, B.; Zacouris, Z.; Weber, T.; Acosta, M.; Reussner, R.; Burger, E.
2025. Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, Grand Rapids, MI, USA, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
2024
Master's Theses
Erzeugung von Verschlüsselungsregeln auf Modelländerungen aus Zugriffskontrollregeln auf Modellelementen. master’s thesis
Quellmalz, K.
2024, July 7. Karlsruher Institut für Technologie (KIT)
Quellmalz, K.
2024, July 7. Karlsruher Institut für Technologie (KIT)
Journal Articles
Integration of performability-model extraction and performability prediction in continuous integration/continuous delivery
Weber, S.; Weber, T.; Henß, J.
2024. Softwaretechnik-Trends, 45 (1)
Weber, S.; Weber, T.; Henß, J.
2024. Softwaretechnik-Trends, 45 (1)
Conference Papers
Consistency Management for Security Annotations for Continuous Verification
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620.3687821
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620.3687821
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
Model Everything but with Intellectual Property Protection - The Deltachain Approach
Weber, T.; Weber, S.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 49–56, Association for Computing Machinery (ACM). doi:10.1145/3640310.3674086
Weber, T.; Weber, S.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 49–56, Association for Computing Machinery (ACM). doi:10.1145/3640310.3674086
The Influence of Granularity of Transactions on Performance in Vitruvius
Weber, T.; Jutz, B.; Zacouris, Z.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Weber, T.; Jutz, B.; Zacouris, Z.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Scalability of Consistency Preservation with Vitruvius
Jutz, B.; Weber, T.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Jutz, B.; Weber, T.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models
Weber, S.; Henß, J.; Taghavi, B.; Weber, T.; Stüber, S.; Marin, A.; Rumpe, B.; Heinrich, R.
2024. Software Architecture. ECSA 2024 Tracks and Workshops – Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings. Ed.: A. Ampatzoglou, J. Pérez, B. Buhnova, V. Lenarduzzi, C. C. Venters, U. Zdun, K. Drira, L. Rebelo, D. Di Pompeo, M. Tucci, E. Y. Nakagawa, E. Navarro, 30 – 38, Springer Nature Switzerland. doi:10.1007/978-3-031-71246-3_4
Weber, S.; Henß, J.; Taghavi, B.; Weber, T.; Stüber, S.; Marin, A.; Rumpe, B.; Heinrich, R.
2024. Software Architecture. ECSA 2024 Tracks and Workshops – Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings. Ed.: A. Ampatzoglou, J. Pérez, B. Buhnova, V. Lenarduzzi, C. C. Venters, U. Zdun, K. Drira, L. Rebelo, D. Di Pompeo, M. Tucci, E. Y. Nakagawa, E. Navarro, 30 – 38, Springer Nature Switzerland. doi:10.1007/978-3-031-71246-3_4
Inconsistencies in Production Workflows and How to Model Them
Kuder, N. D.; Weber, T.; Schneider, J.; Weber, S.; Völk, T. A.; Albers, A.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th - 8th June 2024, 84 – 86, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00021
Kuder, N. D.; Weber, T.; Schneider, J.; Weber, S.; Völk, T. A.; Albers, A.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th - 8th June 2024, 84 – 86, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00021
Towards a Single Source of Truth with a Freely Shareable Deltachain
Weber, T.; Weber, S.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th -8th June 2024, 92 – 94, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00023
Weber, T.; Weber, S.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th -8th June 2024, 92 – 94, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00023
Consistency Management for Security Annotations for Continuous Verification
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620
Combining a Functional Simulation with Multi-level Timing Simulation for Software Architecture Models to Improve Extensibility
Weber, S.; Weber, T.; Heinrich, R.; Henß, J.
2024. IEEE International Conference on Software Architecture (ICSA 2024). doi:10.1109/ICSA-C63560.2024.00019
Weber, S.; Weber, T.; Heinrich, R.; Henß, J.
2024. IEEE International Conference on Software Architecture (ICSA 2024). doi:10.1109/ICSA-C63560.2024.00019
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
Research Data
Interview Results, Production Workflows, Inconsistencies in Production Workflows
Kuder, N. D.; Weber, T.
2024, March 28. doi:10.35097/YVtjSZhutJKPvdBi
Kuder, N. D.; Weber, T.
2024, March 28. doi:10.35097/YVtjSZhutJKPvdBi
2023
Conference Papers
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)
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
Audio & Video
2019
Bachelor's Theses
Angreifer-Modellierung für Intelligente Stromnetze. bachelor’s thesis
Weber, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000099848
Weber, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000099848
Courses
| Title | Type | Semester |
|---|---|---|
| Praxis der Softwareentwicklung (Software Engineering) | Practical Course | SS 25 |
| Praxis der Softwareentwicklung (Software Engineering) | Practical Course | WS 24/25 |
| Practical Course: Tools for Agile Modelling | Practical Course | WS 24/25 |
| Practical Course: Developing Software as an Engineer | Practical Course | WS 24/25 |
| Seminar: Continuous Software Engineering | Seminar | WS 24/25 |
| Praxis der Softwareentwicklung (Software Engineering) | Practical Course | SS 24 |
| Practical Course: Tools for Agile Modelling | Practical Course | SS 24 |
| Practical Course: Developing Software as an Engineer | Practical Course | SS 24 |
| Proseminar: Software Requirements and Design | Seminar | SS 24 |
| Praxis der Softwareentwicklung (Software Engineering) | Practical Course | WS 23/24 |
| Practical Course: Tools for Agile Modelling | Practical Course | WS 23/24 |
| Practical Course: Developing Software as an Engineer | Practical Course | WS 23/24 |
| Seminar: Continuous Software Engineering | Seminar | WS 23/24 |
| Practical Course: Tools for Agile Modelling | Practical Course | SS 23 |
| Practical Course: Developing Software as an Engineer | Practical Course | SS 23 |
| Proseminar: Software-Sustainability | Seminar | SS 23 |
| Practical Course: Developing Software as an Engineer | Practical Course | WS 22/23 |
Community Activities
- Reviewer for the International Journal on Software and Systems Modeling (SoSyM)
- Research Visit to the group of Antonio Cicchetti at Mälardalen University, Exchange about Model-Driven Systems Engineering, special thanks to Johan Cederbladh for the collaboration, 2025
- MOM Challenge Co-Chair, Part of the Second International Workshop on Model Management (MoM) co-located with MODELS, 2025
- MOM Challenge PC member, Part of the Second International Workshop on Model Management (MoM) co-located with MODELS, 2025
- MOM Workshop Co-Chair (workshop preparation only), Second International Workshop on Model Management (MoM) co-located with MODELS, 2025
- ICMM Workshop Co-Chair, (In-)Consistency Management in Modeling (ICMM) co-located with STAF, 2025
- WAKERS Workshop Participant, Workshop on Advances in Knowledge Engineering, Reasoning, and Sensemaking (WAKERS), 2024
- CAMPaM Workshop Participant, Computer Automated Multi-Paradigm Modelling (CAMPaM), 2023