default search action

combined dblp search
author search
venue search
publication search

ask others

Christoph Gladisch

Christoph David Gladisch

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2011
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Gladisch2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Gladisch2011
Christoph David Gladisch:
Verification-based software-fault detection. Karlsruhe Institute of Technology, 2011, ISBN 978-3-86644-676-2, pp. 1-264

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/AbrechtGGGHW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/AbrechtGGGHW21
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): 37:1-37:28 (2021)
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/DamianiFGT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/DamianiFGT17
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz:
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16(4): 1223-1251 (2017)
2015
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GladischT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GladischT15
Christoph Gladisch, Shmuel S. Tyszberowicz:
Specifying linked data structures in JML for combining formal verification and testing. Sci. Comput. Program. 107-108: 19-40 (2015)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Gladisch12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Gladisch12
Christoph David Gladisch:
Model generation for quantified formulas with application to test data generation. Int. J. Softw. Tools Technol. Transf. 14(4): 439-459 (2012)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/saem/BeckertGTY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saem/BeckertGTY11
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): 97-113 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LyssenkoGHWT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LyssenkoGHWT24
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. SAFECOMP (Workshops) 2024: 335-350
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/GladischH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/GladischH23
Christoph Gladisch, Christian Heinzemann:
Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function. ICSRS 2023: 454-463
2022
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/LyssenkoGHWT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/LyssenkoGHWT22
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
Towards Safety-Aware Pedestrian Detection in Autonomous Systems. IROS 2022: 293-300
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cvpr/LyssenkoGHWT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvpr/LyssenkoGHWT21
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: 38-45
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iccvw/LyssenkoGHWT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccvw/LyssenkoGHWT21
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: 988-996
2020
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cvpr/GladischHHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvpr/GladischHHW20
Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle:
Leveraging combinatorial testing for safety-critical computer vision datasets. CVPR Workshops 2020: 1314-1321
2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Gladisch0HOVP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Gladisch0HOVP19
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: 26-37
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/WoehrleGH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/WoehrleGH19
Matthias Woehrle, Christoph Gladisch, Christian Heinzemann:
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. SAFECOMP Workshops 2019: 333-345
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/GrunwaldGLTT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/GrunwaldGLTT14
Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz:
Generating JML Specifications from Alloy Expressions. Haifa Verification Conference 2014: 99-115
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GhaziUGTT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GhaziUGTT14
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: 173-187
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AhrendtBBBGGHHHKMSSU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AhrendtBBBGGHHHKMSSU14
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: 55-71
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/DamianiGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/DamianiGT13
Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz:
Refinement-based testing of delta-oriented product lines. PPPJ 2013: 135-140
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GladischT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GladischT13
Christoph Gladisch, Shmuel S. Tyszberowicz:
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. SBMF 2013: 99-114
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/Gladisch10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/Gladisch10
Christoph Gladisch:
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas. FoVeOOS 2010: 76-91
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/pts/Gladisch10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/Gladisch10
Christoph Gladisch:
Test Data Generation for Programs with Quantified First-Order Logic Specifications. ICTSS 2010: 158-173
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GladischTBY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GladischTBY10
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai:
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS 2010: 61-76
2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Gladisch09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Gladisch09
Christoph Gladisch:
Could We Have Chosen a Better Loop Invariant or Method Contract?. TAP@TOOLS 2009: 74-89
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Gladisch08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Gladisch08
Christoph Gladisch:
Verification-Based Test Case Generation for Full Feasible Branch Coverage. SEFM 2008: 159-168
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/EngelGKR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/EngelGKR08
Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer:
Integrating Verification and Testing of Object-Oriented Software. TAP 2008: 182-191
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BeckertG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BeckertG07
Bernhard Beckert, Christoph Gladisch:
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP 2007: 207-216

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2016
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AhrendtGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AhrendtGH16
Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda:
Proof-based Test Case Generation. Deductive Software Verification 2016: 415-451

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-07642
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-07642
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection. CoRR abs/2402.07642 (2024)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.