Christoph Gladisch

26 papers A* 1A 1B 1C 3Journal 5Unranked 14

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