default search action
Christian Heinzemann
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c38]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 - [c37]Lukas König
, Christian Heinzemann
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) 2024: 44-65 - [i2]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) - 2023
- [c36]Christoph Gladisch, Christian Heinzemann:
Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function. ICSRS 2023: 454-463 - [d3]Lukas König
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Version 1. Zenodo, 2023 [all versions] - [d2]Lukas König
Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Zenodo, 2023 - [d1]Lukas König
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Version 2. Zenodo, 2023 [all versions] - 2022
- [c35]Martin Herrmann, Christian Witt, Laureen Lake, Stefani Guneshka, Christian Heinzemann, Frank Bonarens, Patrick Feifel, Simon Funke:
Using ontologies for dataset engineering in automotive AI applications. DATE 2022: 526-531 - [c34]Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
Towards Safety-Aware Pedestrian Detection in Autonomous Systems. IROS 2022: 293-300 - 2021
- [j5]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) - [c33]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 - [c32]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 - [c31]Lydia Gauerhof, Roman Gansch, Christian Heinzemann, Matthias Woehrle, Andreas Heyl:
On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning. ISSRE Workshops 2021: 23-28 - [c30]Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle:
Towards threat metric evaluation in complex urban scenarios. ITSC 2021: 1192-1198 - [i1]Sebastian Houben, Stephanie Abrecht, Maram Akila, Andreas Bär, Felix Brockherde, Patrick Feifel, Tim Fingscheidt, Sujan Sai Gannamaneni, Seyed Eghbal Ghobadi, Ahmed Hammam, Anselm Haselhoff, Felix Hauser, Christian Heinzemann, Marco Hoffmann, Nikhil Kapoor, Falk Kappel, Marvin Klingner, Jan Kronenberger, Fabian Küppers, Jonas Löhdefink, Michael Mlynarski, Michael Mock, Firas Mualla, Svetlana Pavlitskaya, Maximilian Poretschkin, Alexander Pohl, Varun Ravi Kumar, Julia Rosenzweig, Matthias Rottmann, Stefan Rüping, Timo Sämann, Jan David Schneider, Elena Schulz, Gesina Schwalbe
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety. CoRR abs/2104.14235 (2021) - 2020
- [c29]Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle:
Leveraging combinatorial testing for safety-critical computer vision datasets. CVPR Workshops 2020: 1314-1321 - [c28]Martin Butz, Christian Heinzemann, Martin Herrmann, Jens Oehlerking, Michael Rittel, Nadja Schalm, Dirk Ziegenbein:
SOCA: Domain Analysis for Highly Automated Driving Systems. ITSC 2020: 1-6 - [c27]Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle:
Scenario-based threat metric evaluation based on the highd dataset. IV 2020: 213-218 - [c26]Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle:
Revisiting Neuron Coverage and Its Application to Test Generation. SAFECOMP Workshops 2020: 289-301
2010 – 2019
- 2019
- [j4]Christian Heinzemann, Steffen Becker
Transactional execution of hierarchical reconfigurations in cyber-physical systems. Softw. Syst. Model. 18(1): 157-189 (2019) - [c25]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 - [c24]Matthias Woehrle, Christoph Gladisch, Christian Heinzemann:
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. SAFECOMP Workshops 2019: 333-345 - 2018
- [c23]Christian Heinzemann, Ralph Lange
vTSL - A Formally Verifiable DSL for Specifying Robot Tasks. IROS 2018: 8308-8314 - 2017
- [c22]Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff:
Provably safe motion of mobile robots in human environments. IROS 2017: 1351-1357 - [c21]Simon Burton, Lydia Gauerhof
Making the Case for Safety of Machine Learning in Highly Automated Driving. SAFECOMP Workshops 2017: 5-16 - 2016
- [c20]David Schubert, Christian Heinzemann, Christopher Gerking
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. CBSE 2016: 33-38 - [c19]Alex Lotz, Arne Hamann, Ralph Lange
Combining robotics component-based model-driven development with a model-based performance analysis. SIMPAR 2016: 170-176 - 2015
- [b1]Christian Heinzemann:
Verification and simulation of self-adaptive mechatronic systems. University of Paderborn, 2015 - [j3]Christian Heinzemann, Christian Brenner, Stefan Dziwok
Automata-based refinement checking for real-time systems. Comput. Sci. Res. Dev. 30(3-4): 255-283 (2015) - [c18]Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann:
Domain-Specific Model Checking for Cyber-Physical Systems. MoDeVVa@MoDELS 2015: 18-27 - 2014
- [c17]Steffen Becker, Stefan Dziwok, Christopher Gerking
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. ICSE Companion 2014: 614-615 - [c16]Stefan Dziwok
A tool suite for the model-driven software engineering of cyber-physical systems. SIGSOFT FSE 2014: 715-718 - [c15]Christopher Gerking, Christian Heinzemann:
Solving the Movie Database Case with QVTo. TTC@STAF 2014: 98-102 - [p2]Joachim Böcker, Christian Heinzemann, Christian Hölscher, Jan Henning Keßler, Bernd Kleinjohann, Lisa Kleinjohann, Claudia Priesterjahn, Christoph Rasche, Peter Reinold, Christoph Romaus, Thomas Schierbaum, Tobias Schneider, Christoph Schulte, Bernd Schulz, Christoph Sondermann-Wölke, Karl Stephan Stille
Examples of Self-optimizing Systems. Design Methodology for Intelligent Technical Systems 2014: 27-64 - [p1]Harald Anacker, Michael Dellnitz, Kathrin Flaßkamp, Stefan Groesbrink, Philip Hartmann, Christian Heinzemann, Christian Horenkamp, Bernd Kleinjohann, Lisa Kleinjohann, Sebastian Korf, Martin Krüger, Wolfgang Müller, Sina Ober-Blöbaum, Simon Oberthür, Mario Porrmann, Claudia Priesterjahn, Rafael Radkowski, Christoph Rasche, Jan Rieke, Maik Ringkamp
Methods for the Design and Development. Design Methodology for Intelligent Technical Systems 2014: 183-350 - 2013
- [j2]Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer:
Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28(1): 3-22 (2013) - [c14]Christian Heinzemann, Steffen Becker:
Executing reconfigurations in hierarchical component architectures. CBSE 2013: 3-12 - [c13]Steffen Ziegert, Christian Heinzemann:
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. ICTAC 2013: 427-444 - [c12]Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer:
From timed automata to timed failure propagation graphs. ISORC 2013: 1-8 - [c11]Christian Heinzemann, Oliver Sudmann, Wilhelm Schäfer, Matthias Tichy:
A discipline-spanning development process for self-adaptive mechatronic systems. ICSSP 2013: 36-45 - [c10]Christian Heinzemann, Jan Rieke, Wilhelm Schäfer:
Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink. SASO 2013: 71-80 - [c9]Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler:
Automata-Based Refinement Checking for Real-Time Systems. Software Engineering 2013: 99-112 - 2012
- [c8]Christian Heinzemann, Claudia Priesterjahn, Steffen Becker:
Towards modeling reconfiguration in hierarchical component architectures. CBSE 2012: 23-28 - [c7]Stefan Dziwok, Christian Heinzemann, Matthias Tichy:
Real-Time Coordination Patterns for Advanced Mechatronic Systems. COORDINATION 2012: 166-180 - [c6]Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer, Matthias Tichy
Runtime safety analysis for safe reconfiguration. INDIN 2012: 1092-1097 - 2011
- [c5]Christian Heinzemann, Stefan Henkler:
Reusing dynamic communication protocols in self-adaptive embedded component architectures. CBSE 2011: 109-118 - 2010
- [j1]Christian Heinzemann, Julian Suck, Tobias Eckardt:
Reachability Analysis on Timed Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010) - [c4]Christian Heinzemann:
Verifikation von Protokollverfeinerungen. Informatiktage 2010: 57-60
2000 – 2009
- 2009
- [c3]Stefan Henkler, Joel Greenyer
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE 2009: 615-618 - 2008
- [c2]Stefan Böttcher, Rita Hartel, Christian Heinzemann:
BSBC: Towards a Succinct Data Format for XML Streams. WEBIST (1) 2008: 13-21 - [c1]Stefan Böttcher, Rita Hartel, Christian Heinzemann:
Compressing XML Data Streams with DAG+BSBC. WEBIST (Selected Papers) 2008: 65-79
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: