The goal of this project is to connect architecture documentation, requirements, and models while identifying missing or deviating elements (inconsistencies).
ARDoCo (Automating Requirements and Documentation Comprehension) is a research project focused on traceability link recovery and consistency analysis between software artifacts. The project connects architecture documentation and models while identifying missing or deviating elements (inconsistencies). An element can be any representable item of the model, like a component or a relation.
Our recent approaches, such as LiSSA, leverage Large Language Models (LLMs) and Information Retrieval (IR) to enable more generic and effective traceability link recovery across various artifact types, including requirements-to-code, documentation-to-code, and architecture-to-code tracing. We also leverage LLMs for specialized tasks, such as ExArch which uses LLM-based architecture component name extraction to identify and link architectural elements. You can find our different approaches, including LiSSA, ExArch, and others, on the approaches page or read more about them using the details link on the publications page.
Documenting the architecture of a software system is important, especially to capture reasoning and design decisions. However, documentation is often incomplete, outdated, or missing, leading to loss of crucial knowledge and increased risks. Our long-term vision is to persist information from various sources, such as whiteboard discussions, to avoid losing essential system knowledge. A key challenge is ensuring consistency between formal artifacts (e.g., models) and informal documentation. We address this by applying natural language understanding and knowledge bases to analyze consistency and create traceability links between models and textual artifacts.
You can find open topics for the project in our SDQ Wiki.
Additionally, you can write an email to us.
Bachelor’s Theses
Currently no offers
Master’s Theses
| Topic | Supervisors |
|---|---|
| Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering | Tobias Hey, Vincenzo Scotti |
| Utilizing Context to Improve LLM-assisted Formal Verification | Tobias Hey, Tianhai Liu |
Pfeiffer, J.; Fuchß, D.; Kühn, T.; Neumann, D.; Neimöck, C.; Koziolek, A.; Wortmann, A.
2026. Software and Systems Modeling. doi:10.1007/s10270-026-01410-9
Fuchß, D.; Liu, H.; Corallo, S.; Hey, T.; Keim, J.; von Geisau, J.; Koziolek, A.
2026. ACM Transactions on Autonomous and Adaptive Systems. doi:10.1145/3807453
Corallo, S.; Grupp, D.; Fuchß, D.; Keim, J.; Reiche, F.; Hey, T.; Koziolek, A.
2026. 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Association for Computing Machinery (ACM). doi:10.1145/3832783.3834614
Keim, J.; Fuchß, D.; Corallo, S.; Hey, T.; Winter, J.; Feichtinger, K.
2026. 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Association for Computing Machinery (ACM). doi:10.1145/3832783.3834621
Roßkothen, J.; Fuchß, D.; Erdösi, F.; Floruß, M.; Keim, J.; Hey, T.
2026. 2026 IEEE 34th International Requirements Engineering Conference (RE)
Liu, H.; Fuchß, D.; Corallo, S.; Hummel, M.; Keim, J.; Hey, T.
2026. 23rd IEEE International Conference on Software Architecture (ICSA 2026), Institute of Electrical and Electronics Engineers (IEEE)
Fuchß, D.; Hey, T.; Keim, J.; Liu, H.; Ewald, N.; Thirolf, T.; Koziolek, A.
2026. Software Engineering 2026 (SE 2026). Ed.: J. Spieler, Gesellschaft für Informatik, Bonn. doi:10.18420/se2026_37
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2026. Software Engineering 2026 (SE 2026). Ed.: J. Spieler, Gesellschaft für Informatik, Bonn. doi:10.18420/se2026_20
Keim, J.; Kaplan, A.
2026. arxiv. doi:10.48550/arXiv.2601.19548
Corallo, S.; Grupp, D.; Fuchß, D.; Keim, J.; Reiche, F.; Hey, T.; Koziolek, A.
2026, July 3. doi:10.5281/zenodo.21157836
Keim, J.; Fuchß, D.; Corallo, S.; Hey, T.; Winter, J.; Feichtinger, K.
2026. doi:10.5281/zenodo.21533985
Roßkothen, J.; Fuchß, D.; Erdösi, F.; Floruß, M.; Keim, J.; Hey, T.
2026. doi:10.5281/zenodo.20698022
Fuchß, D.; Liu, H.; Corallo, S.; Hey, T.; Keim, J.; von Geisau, J.; Koziolek, A.
2026, March 11. doi:10.5281/zenodo.18957376
Liu, H.; Fuchß, D.; Corallo, S.; Hummel, M.; Keim, J.; Hey, T.
2026, March. doi:10.5281/zenodo.18891216
Supp, M.
2026, March. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000193464
Bauch, D. M.
2026, January. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000192935
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2025. Software Engineering 2025 (SE 2025). Ed.: E. Burger, Gesellschaft für Informatik (GI). doi:10.18420/se2025-24
Fuchß, D.; Schwedt, S.; Keim, J.; Hey, T.
2025. 2025 IEEE 33rd International Requirements Engineering Conference Workshops (REW), 5–12, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/REW66121.2025.00006
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2025. 2025 IEEE 22nd International Conference on Software Architecture (ICSA), Odense, Denmark, 31 March 2025 - 04 April 2025, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA65012.2025.00011
Hey, T.; Fuchß, D.; Keim, J.; Koziolek, A.
2025. International Working Conference on Requirements Engineering (REFSQ 2025), 381–397, Springer. doi:10.1007/978-3-031-88531-0_27
Fuchß, D.; Hey, T.; Keim, J.; Liu, H.; Ewald, N.; Thirolf, T.; Koziolek, A.
2025. 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), Ottawa, ON, Canada, 26 April 2025 - 06 May 2025, 1396–1408, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSE55347.2025.00186
Soliman, M.; Keim, J.
2025. 2025 IEEE 22nd International Conference on Software Architecture (ICSA), 13–24, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA65012.2025.00012
Schmid, L.; Hey, T.; Armbruster, M.; Corallo, S.; Fuchß, D.; Keim, J.; Liu, H.; Koziolek, A.
2025. arxiv. doi:10.48550/arXiv.2505.16697
Hey, T.; Fuchß, D.; Keim, J.; Koziolek, A.
2025. doi:10.5445/IR/1000178589
Fuchß, D.; Hey, T.; Keim, J.; Liu, H.; Ewald, N.; Thirolf, T.; Koziolek, A.
2025. Institute of Electrical and Electronics Engineers (IEEE). doi:10.5445/IR/1000178348
Fuchß, D.; Schwedt, S.; Keim, J.; Hey, T.
2025, July 8. doi:10.5281/zenodo.15837231
Schmid, L.; Hey, T.; Armbruster, M.; Corallo, S.; Fuchß, D.; Keim, J.; Liu, H.; Koziolek, A.
2025. doi:10.5281/zenodo.15475475
Hey, T.; Fuchß, D.; Keim, J.; Koziolek, A.
2025. doi:10.5281/zenodo.14779457
Fuchß, D.; Hey, T.; Keim, J.; Liu, H.; Ewald, N.; Thirolf, T.; Koziolek, A.
2025, January 21. doi:10.5281/zenodo.14714706
Keim, J.
2025, February 28. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000179534
Winter, J. R.
2025, November. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000192928
Thirolf, T.
2025, December. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000190420
Bodenberger, M.
2025, October. doi:10.5445/IR/1000189527
Schwab, D.
2025, October. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000189294
Klemens, P.
2025, November. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000190417
Tran, H. H.
2025, September. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000186905
Strittmatter, J.
2025, February. doi:10.5445/IR/1000181162
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. ICSE ’24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Ed.: A. Paiva, Art.-Nr.: 215, Association for Computing Machinery (ACM). doi:10.1145/3597503.3639130
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
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2024. doi:10.5281/zenodo.14506935
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. doi:10.5281/zenodo.10411853
Kerkhoff, N.
2024, December. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000178560
Woschek, J. K.
2024, August. Karlsruher Institut für Technologie (KIT)
Ewald, N.
2024, July. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000178218
Halfmann, M.
2024, July. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000178257
Tewes, S.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000170392
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 439–454, Springer International Publishing. doi:10.1007/978-3-031-36889-9_29
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops, Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 455–464, Springer International Publishing. doi:10.1007/978-3-031-36889-9_30
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2023. 20th IEEE International Conference on Software Architecture (ICSA), 141–152, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA56044.2023.00021
Fuchß, D.; Kühn, T.; Wortmann, A.; Pfeiffer, J.; Koziolek, A.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000162389
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2023, February 17. doi:10.5281/zenodo.7555194
Fuchß, D.; Kühn, T.; Pfeiffer, J.; Wortmann, A.; Koziolek, A.
2023. doi:10.5281/zenodo.8199850
Mathes, J. P.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167656
Ye, J.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167655
Steinbuch, D.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167654
Schöppner, R.
2023, September 29. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165891
Reinbold, F.
2023, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165275
Speit, J.
2023, February 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000157373
Telge, T.
2023, March 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000157372
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151962
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2022. doi:10.5445/IR/1000149966
Klaus, P. D.
2022, October 10. doi:10.5445/IR/1000152122
Werber, K.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000148261
Keim, J.; Schulz, S.; Fuchß, D.; Kocher, C.; Speit, J.; Koziolek, A.
2021. Software Architecture. Ed.: S. Biffl, 101–116, Springer-Verlag. doi:10.1007/978-3-030-86044-8_7
Keim, J.; Corallo, S.; Fuchß, D.
2021, May 17. doi:10.5281/zenodo.4730621
Sauer, B.
2021, October 7. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139681
Winter, I.
2021, October 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139680
Schulz, S.
2020, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126194
Keim, J.; Schneider, Y.; Koziolek, A.
2019. Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 6–12, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ECASE.2019.00010
Keim, J.; Koziolek, A.
2019. IEEE International Conference on Software Architecture Companion (ICSA-C), Hamburg, 25.-29. März 2019, 250–253, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C.2019.00052
Schulz, R. R.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105870
Heine, T.
2019. doi:10.5445/IR/1000105437
