Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. - Hendrik Post; Carsten Sinz; Alexander Kaiser 001; Thomas Gorges (ASE, 2008)

Linking Functional Requirements and Software Verification. - Hendrik Post; Carsten Sinz; Florian Merz 001; Thomas Gorges; Thomas Kropf (RE, 2009)

Defect cost flow model: a Bayesian network for predicting defect correction effort. - Thomas Schulz; Lukasz Radlinski; Thomas Gorges; Wolfgang Rosenstiel (PROMISE, 2010)

Abstract Testing: Connecting Source Code Verification with Requirements. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (QUATIC, 2010)

Predicting the Flow of Defect Correction Effort using a Bayesian Network Model. - Thomas Schulz; Lukasz Radlinski; Thomas Gorges; Wolfgang Rosenstiel (Empir. Softw. Eng., 2013)

Bridging the gap between test cases and requirements by abstract testing. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (Innov. Syst. Softw. Eng., 2015)

Low-Rank Adaptation vs. Fine-Tuning for Handwritten Text Recognition. - Lukas Hüttner; Martin Mayr; Thomas Gorges; Fei Wu 025; Mathias Seuret; Andreas K. Maier; Vincent Christlein (WACV (Workshops), 2025)

PASAL: Progress- and sparsity-aware loss balancing for heterogeneous dataset fusion. - Thomas Gorges; Teresa Scholz; Stefan Saloman; Mathias Zinnen; Juliane Hoffmann; Nora Gourmelon; Andreas Maier 001; Sebastian Hettenkofer; Vincent Christlein (Inf. Fusion, 2025)

Perceptual Implications of Automatic Anonymization in Pathological Speech. - Soroosh Tayebi Arasteh; Saba Afza; Tri-Thien Nguyen; Lukas Buess; Maryam Parvin; Tomás Arias-Vergara; Paula Andrea Pérez-Toro; Hiuching Hung; Mahshad Lotfinia; Thomas Gorges; Elmar Nöth; Maria Schuster; et al. (CoRR, 2025)