Christian Heinzemann

According to our database, Christian Heinzemann authored at least 47 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• 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

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.

Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Using ontologies for dataset engineering in automotive AI applications.

Martin Herrmann, Christian Witt, Laureen Lake, Stefani Guneshka, Christian Heinzemann, Frank Bonarens, Patrick Feifel, Simon Funke

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 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

Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety.

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

CoRR, 2021

Towards threat metric evaluation in complex urban scenarios.

Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning.

Lydia Gauerhof, Roman Gansch, Christian Heinzemann, Matthias Woehrle, Andreas Heyl

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 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

Revisiting Neuron Coverage and Its Application to Test Generation.

Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Scenario-based threat metric evaluation based on the highd dataset.

Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

SOCA: Domain Analysis for Highly Automated Driving Systems.

Martin Butz, Christian Heinzemann, Martin Herrmann, Jens Oehlerking, Michael Rittel, Nadja Schalm, Dirk Ziegenbein

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 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

Transactional execution of hierarchical reconfigurations in cyber-physical systems.

Christian Heinzemann, Steffen Becker, Andreas Volk

Softw. Syst. Model., 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

2018

vTSL - A Formally Verifiable DSL for Specifying Robot Tasks.

Christian Heinzemann, Ralph Lange

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

2017

Making the Case for Safety of Machine Learning in Highly Automated Driving.

Simon Burton, Lydia Gauerhof, Christian Heinzemann

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

Provably safe motion of mobile robots in human environments.

Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff

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

2016

Combining robotics component-based model-driven development with a model-based performance analysis.

Alex Lotz, Arne Hamann, Ralph Lange, Christian Heinzemann, Jan Staschulat, Vincent Kesel, Dennis Stampfer, Matthias Lutz, Christian Schlegel

Proceedings of the 2016 IEEE International Conference on Simulation, 2016

Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.

David Schubert, Christian Heinzemann, Christopher Gerking

Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

2015

Verification and simulation of self-adaptive mechatronic systems.

Christian Heinzemann

PhD thesis, 2015

Automata-based refinement checking for real-time systems.

Christian Heinzemann, Christian Brenner, Stefan Dziwok, Wilhelm Schäfer

Comput. Sci. Res. Dev., 2015

Domain-Specific Model Checking for Cyber-Physical Systems.

Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

2014

Solving the Movie Database Case with QVTo.

Christopher Gerking, Christian Heinzemann

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

A tool suite for the model-driven software engineering of cyber-physical systems.

Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems.

Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann

Proceedings of the 36th International Conference on Software Engineering, 2014

Examples of Self-optimizing Systems.

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, Ansgar Trächtler, Detmar Zimmer

Proceedings of the Design Methodology for Intelligent Technical Systems, 2014

Methods for the Design and Development.

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, Katharina Stahl, Dominik Steenken, Jörg Stöcklein, Robert Timmermann, Ansgar Trächtler, Katrin Witting, Tao Xie, Steffen Ziegert

Proceedings of the Design Methodology for Intelligent Technical Systems, 2014

2013

Modeling and verifying dynamic communication structures based on graph transformations.

Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer

Comput. Sci. Res. Dev., 2013

Automata-Based Refinement Checking for Real-Time Systems.

Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink.

Christian Heinzemann, Jan Rieke, Wilhelm Schäfer

Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

A discipline-spanning development process for self-adaptive mechatronic systems.

Christian Heinzemann, Oliver Sudmann, Wilhelm Schäfer, Matthias Tichy

Proceedings of the International Conference on Software and System Process, 2013

From timed automata to timed failure propagation graphs.

Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration.

Steffen Ziegert, Christian Heinzemann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Executing reconfigurations in hierarchical component architectures.

Christian Heinzemann, Steffen Becker

Proceedings of the CBSE'13, 2013

2012

Runtime safety analysis for safe reconfiguration.

Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer, Matthias Tichy

Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Real-Time Coordination Patterns for Advanced Mechatronic Systems.

Stefan Dziwok, Christian Heinzemann, Matthias Tichy

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Towards modeling reconfiguration in hierarchical component architectures.

Christian Heinzemann, Claudia Priesterjahn, Steffen Becker

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011

Reusing dynamic communication protocols in self-adaptive embedded component architectures.

Christian Heinzemann, Stefan Henkler

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010

Reachability Analysis on Timed Graph Transformation Systems.

Christian Heinzemann, Julian Suck, Tobias Eckardt

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Verifikation von Protokollverfeinerungen.

Christian Heinzemann

Proceedings of the Informatiktage 2010, 2010

2009

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Compressing XML Data Streams with DAG+BSBC.

Stefan Böttcher, Rita Hartel, Christian Heinzemann

Proceedings of the Web Information Systems and Technologies, 4th International Conference, 2008

BSBC: Towards a Succinct Data Format for XML Streams.

Stefan Böttcher, Rita Hartel, Christian Heinzemann

Proceedings of the WEBIST 2008, 2008