- 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, e70001. doi:10.1002/sys.70001
Cederbladh, J.; Kamburjan, E.; Manrique-Negrin, D. A.; Mittal, R.; Weber, T.
2025. Systems Engineering, e70001. doi:10.1002/sys.70001
Conference Papers
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, Gesellschaft für Informatik (GI)
Armbruster, M.; Chebbi, F.; Weber, T.; Koziolek, A.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik, 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
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