Christoph Gladisch

According to our database, Christoph Gladisch authored at least 27 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Flow-based Credibility Metric for Safety-critical Pedestrian Detection.

Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel

CoRR, 2024

2023

Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function.

Christoph Gladisch, Christian Heinzemann

Proceedings of the 7th International Conference on System Reliability and Safety, 2023

2022

Towards Safety-Aware Pedestrian Detection in Autonomous Systems.

Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Testing Deep Learning-based Visual Perception for Automated Driving.

Stephanie Abrecht, Lydia Gauerhof, Christoph Gladisch, Konrad Groh, Christian Heinzemann, Matthias Woehrle

ACM Trans. Cyber Phys. Syst., 2021

Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes.

Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel

Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

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

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021

2020

Leveraging combinatorial testing for safety-critical computer vision datasets.

Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Open Questions in Testing of Learned Computer Vision Functions for Automated Driving.

Matthias Woehrle, Christoph Gladisch, Christian Heinzemann

Proceedings of the Computer Safety, Reliability, and Security, 2019

Experience Paper: Search-Based Testing in Automated Driving Control Applications.

Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2017

A novel model-based testing approach for software product lines.

Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz

Softw. Syst. Model., 2017

2016

Proof-based Test Case Generation.

Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda

Proceedings of the Deductive Software Verification - The KeY Book, 2016

2015

Specifying linked data structures in JML for combining formal verification and testing.

Christoph Gladisch, Shmuel S. Tyszberowicz

Sci. Comput. Program., 2015

2014

The KeY Platform for Verification and Analysis of Java Programs.

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

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

JKelloy: A Proof Assistant for Relational Specifications of Java Programs.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Generating JML Specifications from Alloy Expressions.

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking.

Christoph Gladisch, Shmuel S. Tyszberowicz

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Refinement-based testing of delta-oriented product lines.

Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

2012

Model generation for quantified formulas with application to test data generation.

Christoph David Gladisch

Int. J. Softw. Tools Technol. Transf., 2012

2011

Verification-based software-fault detection.

Christoph David Gladisch

PhD thesis, 2011

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.

Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai

Int. J. Syst. Assur. Eng. Manag., 2011

2010

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.

Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Test Data Generation for Programs with Quantified First-Order Logic Specifications.

Christoph Gladisch

Proceedings of the Testing Software and Systems, 2010

Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas.

Christoph Gladisch

Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009

Could We Have Chosen a Better Loop Invariant or Method Contract?.

Christoph Gladisch

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

2008

Integrating Verification and Testing of Object-Oriented Software.

Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Verification-Based Test Case Generation for Full Feasible Branch Coverage.

Christoph Gladisch

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.

Bernhard Beckert, Christoph Gladisch

Proceedings of the Tests and Proofs - 1st International Conference, 2007