| 2024 | SAFECOMP | A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. | Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel |
| 2022 | IROS | Towards Safety-Aware Pedestrian Detection in Autonomous Systems. | Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel |
| 2021 | CVPR | From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains. | Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel |
| 2020 | CVPR | Leveraging combinatorial testing for safety-critical computer vision datasets. | Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle |
| 2019 | SAFECOMP | Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. | Matthias Woehrle, Christoph Gladisch, Christian Heinzemann |
| 2010 | TAP | Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. | Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai |
| 2009 | TAP | Could We Have Chosen a Better Loop Invariant or Method Contract?. | Christoph Gladisch |
| 2008 | SEFM | Verification-Based Test Case Generation for Full Feasible Branch Coverage. | Christoph Gladisch |
| 2008 | TAP | Integrating Verification and Testing of Object-Oriented Software. | Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rmmer |
| 2007 | TAP | White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. | Bernhard Beckert, Christoph Gladisch |