Christoph Gladisch

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 11

Top Topics

Pedestrian Detection

Computer Vision

Top Venues

SAFECOMP Workshops

Publications

Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection. CoRR (2024)
Christoph Gladisch, Christian Heinzemann
Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function. ICSRS (2023)
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
Towards Safety-Aware Pedestrian Detection in Autonomous Systems. IROS (2022)
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains. CVPR Workshops (2021)
Stephanie Abrecht, Lydia Gauerhof, Christoph Gladisch, Konrad Groh, Christian Heinzemann, Matthias Woehrle
Testing Deep Learning-based Visual Perception for Automated Driving. ACM Trans. Cyber Phys. Syst. 5 (4) (2021)
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes. ICCVW (2021)
Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle
Leveraging combinatorial testing for safety-critical computer vision datasets. CVPR Workshops (2020)
Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer
Experience Paper: Search-Based Testing in Automated Driving Control Applications. ASE (2019)
Matthias Woehrle, Christoph Gladisch, Christian Heinzemann
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. SAFECOMP Workshops (2019)
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16 (4) (2017)
Christoph Gladisch, Shmuel S. Tyszberowicz
Specifying linked data structures in JML for combining formal verification and testing. Sci. Comput. Program. (2015)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri
JKelloy: A Proof Assistant for Relational Specifications of Java Programs. NASA Formal Methods (2014)
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz
Generating JML Specifications from Alloy Expressions. Haifa Verification Conference (2014)
Christoph Gladisch, Shmuel S. Tyszberowicz
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. SBMF (2013)
Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz
Refinement-based testing of delta-oriented product lines. PPPJ (2013)
Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Syst. Assur. Eng. Manag. 2 (2) (2011)
Christoph Gladisch
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas. FoVeOOS (2010)
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS (2010)
Christoph Gladisch
Test Data Generation for Programs with Quantified First-Order Logic Specifications. ICTSS (2010)
Christoph Gladisch
Could We Have Chosen a Better Loop Invariant or Method Contract?. TAP@TOOLS (2009)
Christoph Gladisch
Verification-Based Test Case Generation for Full Feasible Branch Coverage. SEFM (2008)
Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer
Integrating Verification and Testing of Object-Oriented Software. TAP (2008)
Bernhard Beckert, Christoph Gladisch
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP (2007)