Christian Heinzemann

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 23

Top Venues

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection. CoRR (2024)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) (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)
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)
Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
Towards threat metric evaluation in complex urban scenarios. ITSC (2021)
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)
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, Joachim Sicking, Toshika Srivastava, Serin Varghese, Michael Weber, Sebastian Wirkert, Tim Wirtz, Matthias Woehrle
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety. CoRR (2021)
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)
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)
Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
Scenario-based threat metric evaluation based on the highd dataset. IV (2020)
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)
Martin Butz, Christian Heinzemann, Martin Herrmann, Jens Oehlerking, Michael Rittel, Nadja Schalm, Dirk Ziegenbein
SOCA: Domain Analysis for Highly Automated Driving Systems. ITSC (2020)
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)
Christian Heinzemann, Steffen Becker, Andreas Volk
Transactional execution of hierarchical reconfigurations in cyber-physical systems. Softw. Syst. Model. 18 (1) (2019)
Christian Heinzemann, Ralph Lange
vTSL - A Formally Verifiable DSL for Specifying Robot Tasks. IROS (2018)
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)
Simon Burton, Lydia Gauerhof, Christian Heinzemann
Making the Case for Safety of Machine Learning in Highly Automated Driving. SAFECOMP Workshops (2017)
David Schubert, Christian Heinzemann, Christopher Gerking
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. CBSE (2016)
Alex Lotz, Arne Hamann, Ralph Lange, Christian Heinzemann, Jan Staschulat, Vincent Kesel, Dennis Stampfer, Matthias Lutz, Christian Schlegel
Combining robotics component-based model-driven development with a model-based performance analysis. SIMPAR (2016)
Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann
Domain-Specific Model Checking for Cyber-Physical Systems. MoDeVVa@MoDELS (2015)
Christian Heinzemann, Christian Brenner, Stefan Dziwok, Wilhelm Schäfer
Automata-based refinement checking for real-time systems. Comput. Sci. Res. Dev. 30 (3-4) (2015)
Christopher Gerking, Christian Heinzemann
Solving the Movie Database Case with QVTo. TTC@STAF (2014)
Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann
A tool suite for the model-driven software engineering of cyber-physical systems. SIGSOFT FSE (2014)
Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. ICSE Companion (2014)
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) (2013)
Steffen Ziegert, Christian Heinzemann
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. ICTAC (2013)
Christian Heinzemann, Steffen Becker
Executing reconfigurations in hierarchical component architectures. CBSE (2013)
Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler
Automata-Based Refinement Checking for Real-Time Systems. Software Engineering (2013)
Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer
From timed automata to timed failure propagation graphs. ISORC (2013)
Christian Heinzemann, Oliver Sudmann, Wilhelm Schäfer, Matthias Tichy
A discipline-spanning development process for self-adaptive mechatronic systems. ICSSP (2013)
Christian Heinzemann, Jan Rieke, Wilhelm Schäfer
Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink. SASO (2013)
Christian Heinzemann, Claudia Priesterjahn, Steffen Becker
Towards modeling reconfiguration in hierarchical component architectures. CBSE (2012)
Stefan Dziwok, Christian Heinzemann, Matthias Tichy
Real-Time Coordination Patterns for Advanced Mechatronic Systems. COORDINATION (2012)
Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer, Matthias Tichy
Runtime safety analysis for safe reconfiguration. INDIN (2012)
Christian Heinzemann, Stefan Henkler
Reusing dynamic communication protocols in self-adaptive embedded component architectures. CBSE (2011)
Christian Heinzemann
Verifikation von Protokollverfeinerungen. Informatiktage (2010)
Christian Heinzemann, Julian Suck, Tobias Eckardt
Reachability Analysis on Timed Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE (2009)
Stefan Böttcher, Rita Hartel, Christian Heinzemann
BSBC: Towards a Succinct Data Format for XML Streams. WEBIST (1) (2008)
Stefan Böttcher, Rita Hartel, Christian Heinzemann
Compressing XML Data Streams with DAG+BSBC. WEBIST (Selected Papers) (2008)

Christian Heinzemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Heinzemann