BSBC: Towards a Succinct Data Format for XML Streams. - Stefan Böttcher; Rita Hartel; Christian Heinzemann (WEBIST (1), 2008)

Compressing XML Data Streams with DAG+BSBC. - Stefan Böttcher; Rita Hartel; Christian Heinzemann (WEBIST (Selected Papers), 2008)

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. - Stefan Henkler; Joel Greenyer; Martin Hirsch 001; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (ICSE, 2009)

Verifikation von Protokollverfeinerungen. - Christian Heinzemann (Informatiktage, 2010)

Reachability Analysis on Timed Graph Transformation Systems. - Christian Heinzemann; Julian Suck; Tobias Eckardt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Reusing dynamic communication protocols in self-adaptive embedded component architectures. - Christian Heinzemann; Stefan Henkler (CBSE, 2011)

Towards modeling reconfiguration in hierarchical component architectures. - Christian Heinzemann; Claudia Priesterjahn; Steffen Becker 001 (CBSE, 2012)

Real-Time Coordination Patterns for Advanced Mechatronic Systems. - Stefan Dziwok; Christian Heinzemann; Matthias Tichy (COORDINATION, 2012)

Runtime safety analysis for safe reconfiguration. - Claudia Priesterjahn; Christian Heinzemann; Wilhelm Schäfer; Matthias Tichy (INDIN, 2012)

Executing reconfigurations in hierarchical component architectures. - Christian Heinzemann; Steffen Becker 001 (CBSE, 2013)

Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. - Steffen Ziegert; Christian Heinzemann (ICTAC, 2013)

From timed automata to timed failure propagation graphs. - Claudia Priesterjahn; Christian Heinzemann; Wilhelm Schäfer (ISORC, 2013)

A discipline-spanning development process for self-adaptive mechatronic systems. - Christian Heinzemann; Oliver Sudmann; Wilhelm Schäfer; Matthias Tichy (ICSSP, 2013)

Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink. - Christian Heinzemann; Jan Rieke; Wilhelm Schäfer (SASO, 2013)

Automata-Based Refinement Checking for Real-Time Systems. - Christian Brenner 001; Christian Heinzemann; Wilhelm Schäfer; Stefan Henkler (Software Engineering, 2013)

Modeling and verifying dynamic communication structures based on graph transformations. - Tobias Eckardt; Christian Heinzemann; Stefan Henkler; Martin Hirsch 001; Claudia Priesterjahn; Wilhelm Schäfer (Comput. Sci. Res. Dev., 2013)

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 003; et al. (Design Methodology for Intelligent Technical Systems, 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 002; Peter Reinold; Christoph Romaus; Thomas Schierbaum; Tobias Schneider; et al. (Design Methodology for Intelligent Technical Systems, 2014)

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. - Steffen Becker 001; Stefan Dziwok; Christopher Gerking; Christian Heinzemann; Wilhelm Schäfer; Matthias Meyer 001; Uwe Pohlmann (ICSE Companion, 2014)

A tool suite for the model-driven software engineering of cyber-physical systems. - Stefan Dziwok; Christopher Gerking; Steffen Becker 001; Sebastian Thiele 002; Christian Heinzemann; Uwe Pohlmann (SIGSOFT FSE, 2014)

Solving the Movie Database Case with QVTo. - Christopher Gerking; Christian Heinzemann (TTC@STAF, 2014)

Domain-Specific Model Checking for Cyber-Physical Systems. - Christopher Gerking; Wilhelm Schäfer; Stefan Dziwok; Christian Heinzemann (MoDeVVa@MoDELS, 2015)

Automata-based refinement checking for real-time systems. - Christian Heinzemann; Christian Brenner 001; Stefan Dziwok; Wilhelm Schäfer (Comput. Sci. Res. Dev., 2015)

Verification and simulation of self-adaptive mechatronic systems. - Christian Heinzemann (2015)

Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. - David Schubert; Christian Heinzemann; Christopher Gerking (CBSE, 2016)

Combining robotics component-based model-driven development with a model-based performance analysis. - Alex Lotz; Arne Hamann 001; Ralph Lange; Christian Heinzemann; Jan Staschulat; Vincent Kesel; Dennis Stampfer; Matthias Lutz; Christian Schlegel (SIMPAR, 2016)

Provably safe motion of mobile robots in human environments. - Stefan B. Liu; Hendrik Roehm; Christian Heinzemann; Ingo Lütkebohle; Jens Oehlerking; Matthias Althoff (IROS, 2017)

Making the Case for Safety of Machine Learning in Highly Automated Driving. - Simon Burton 001; Lydia Gauerhof; Christian Heinzemann (SAFECOMP Workshops, 2017)

vTSL - A Formally Verifiable DSL for Specifying Robot Tasks. - Christian Heinzemann; Ralph Lange (IROS, 2018)

Experience Paper: Search-Based Testing in Automated Driving Control Applications. - Christoph Gladisch; Thomas Heinz 001; Christian Heinzemann; Jens Oehlerking; Anne von Vietinghoff; Tim Pfitzer (ASE, 2019)

Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. - Matthias Woehrle; Christoph Gladisch; Christian Heinzemann (SAFECOMP Workshops, 2019)

Transactional execution of hierarchical reconfigurations in cyber-physical systems. - Christian Heinzemann; Steffen Becker 001; Andreas Volk (Softw. Syst. Model., 2019)

Leveraging combinatorial testing for safety-critical computer vision datasets. - Christoph Gladisch; Christian Heinzemann; Martin Herrmann; Matthias Woehrle (CVPR Workshops, 2020)

SOCA: Domain Analysis for Highly Automated Driving Systems. - Martin Butz; Christian Heinzemann; Martin Herrmann; Jens Oehlerking; Michael Rittel; Nadja Schalm; Dirk Ziegenbein (ITSC, 2020)

Scenario-based threat metric evaluation based on the highd dataset. - Patrick Schneider; Martin Butz; Christian Heinzemann; Jens Oehlerking; Matthias Woehrle (IV, 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 (SAFECOMP Workshops, 2020)

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 (CVPR Workshops, 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 (ICCVW, 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 (ISSRE Workshops, 2021)

Towards threat metric evaluation in complex urban scenarios. - Patrick Schneider; Martin Butz; Christian Heinzemann; Jens Oehlerking; Matthias Woehrle (ITSC, 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; et al. (CoRR, 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)

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 (DATE, 2022)

Towards Safety-Aware Pedestrian Detection in Autonomous Systems. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (IROS, 2022)

Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function. - Christoph Gladisch; Christian Heinzemann (ICSRS, 2023)

Artifact for "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 (Zenodo, 2023)

Supplementary Material for TACAS Submission "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 (Zenodo, 2023)

Artifact for "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 (Zenodo, 2023)

Supplementary Material for "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 (Zenodo, 2023)

A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (SAFECOMP (Workshops), 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 (TACAS (2), 2024)

Supplementary Material for "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 (Zenodo, 2024)

Supplementary Material for "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 (Zenodo, 2024)