Christian Heinzemann

49 papers A* 2A 4B 1C 6Journal 7Unranked 26
YearRankTypeTitle / Venue / Authors
2026 — conf
Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination.
TACAS (1)
Lukas König, Christian Schildwächter, Michaela Klauck, Christian Heinzemann
2024 — conf
A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection.
SAFECOMP (Workshops)
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2024 J jnl
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection.
CoRR
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2024 — conf
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
TACAS (2)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
2023 — conf
Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function.
ICSRS
Christoph Gladisch, Christian Heinzemann
2022 A conf
Towards Safety-Aware Pedestrian Detection in Autonomous Systems.
IROS
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2022 A conf
Using ontologies for dataset engineering in automotive AI applications.
DATE
Martin Herrmann, Christian Witt, Laureen Lake, Stefani Guneshka, Christian Heinzemann, Frank Bonarens, Patrick Feifel, Simon Funke
2021 — conf
From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains.
CVPR Workshops
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2021 J jnl
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety.
CoRR
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
2021 — conf
Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes.
ICCVW
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2021 — conf
On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning.
ISSRE Workshops
Lydia Gauerhof, Roman Gansch, Christian Heinzemann, Matthias Woehrle, Andreas Heyl
2021 J jnl
Testing Deep Learning-based Visual Perception for Automated Driving.
ACM Trans. Cyber Phys. Syst.
Stephanie Abrecht, Lydia Gauerhof, Christoph Gladisch, Konrad Groh, Christian Heinzemann, Matthias Woehrle
2021 — conf
Towards threat metric evaluation in complex urban scenarios.
ITSC
Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
2020 — conf
Leveraging combinatorial testing for safety-critical computer vision datasets.
CVPR Workshops
Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle
2020 — conf
Revisiting Neuron Coverage and Its Application to Test Generation.
SAFECOMP Workshops
Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle
2020 — conf
SOCA: Domain Analysis for Highly Automated Driving Systems.
ITSC
Martin Butz, Christian Heinzemann, Martin Herrmann, Jens Oehlerking, Michael Rittel, Nadja Schalm, Dirk Ziegenbein
2020 C conf
Scenario-based threat metric evaluation based on the highd dataset.
IV
Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
2019 A* conf
Experience Paper: Search-Based Testing in Automated Driving Control Applications.
ASE
Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer
2019 — conf
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving.
SAFECOMP Workshops
Matthias Woehrle, Christoph Gladisch, Christian Heinzemann
2019 J jnl
Transactional execution of hierarchical reconfigurations in cyber-physical systems.
Softw. Syst. Model.
Christian Heinzemann, Steffen Becker, Andreas Volk
2018 A conf
vTSL - A Formally Verifiable DSL for Specifying Robot Tasks.
IROS
Christian Heinzemann, Ralph Lange
2017 — conf
Making the Case for Safety of Machine Learning in Highly Automated Driving.
SAFECOMP Workshops
Simon Burton, Lydia Gauerhof, Christian Heinzemann
2017 A conf
Provably safe motion of mobile robots in human environments.
IROS
Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff
2016 — conf
Combining robotics component-based model-driven development with a model-based performance analysis.
SIMPAR
Alex Lotz, Arne Hamann, Ralph Lange, Christian Heinzemann, Jan Staschulat, Vincent Kesel, Dennis Stampfer, Matthias Lutz, Christian Schlegel
2016 — conf
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.
CBSE
David Schubert, Christian Heinzemann, Christopher Gerking
2015 J jnl
Automata-based refinement checking for real-time systems.
Comput. Sci. Res. Dev.
Christian Heinzemann, Christian Brenner, Stefan Dziwok, Wilhelm Schäfer
2015 — conf
Domain-Specific Model Checking for Cyber-Physical Systems.
MoDeVVa@MoDELS
Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann
2015 — —
Verification and simulation of self-adaptive mechatronic systems.
Christian Heinzemann
2014 — conf
A tool suite for the model-driven software engineering of cyber-physical systems.
SIGSOFT FSE
Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann
2014 — ch.
Examples of Self-optimizing Systems.
Design Methodology for Intelligent Technical 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
2014 — ch.
Methods for the Design and Development.
Design Methodology for Intelligent Technical Systems
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
2014 — conf
Solving the Movie Database Case with QVTo.
TTC@STAF
Christopher Gerking, Christian Heinzemann
2014 — conf
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems.
ICSE Companion
Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann
2013 B conf
A discipline-spanning development process for self-adaptive mechatronic systems.
ICSSP
Christian Heinzemann, Oliver Sudmann, Wilhelm Schäfer, Matthias Tichy
2013 C conf
Automata-Based Refinement Checking for Real-Time Systems.
Software Engineering
Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler
2013 C conf
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration.
ICTAC
Steffen Ziegert, Christian Heinzemann
2013 — conf
Executing reconfigurations in hierarchical component architectures.
CBSE
Christian Heinzemann, Steffen Becker
2013 C conf
From timed automata to timed failure propagation graphs.
ISORC
Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer
2013 J jnl
Modeling and verifying dynamic communication structures based on graph transformations.
Comput. Sci. Res. Dev.
Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
2013 — conf
Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink.
SASO
Christian Heinzemann, Jan Rieke, Wilhelm Schäfer
2012 C conf
Real-Time Coordination Patterns for Advanced Mechatronic Systems.
COORDINATION
Stefan Dziwok, Christian Heinzemann, Matthias Tichy
2012 C conf
Runtime safety analysis for safe reconfiguration.
INDIN
Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer, Matthias Tichy
2012 — conf
Towards modeling reconfiguration in hierarchical component architectures.
CBSE
Christian Heinzemann, Claudia Priesterjahn, Steffen Becker
2011 — conf
Reusing dynamic communication protocols in self-adaptive embedded component architectures.
CBSE
Christian Heinzemann, Stefan Henkler
2010 J jnl
Reachability Analysis on Timed Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Christian Heinzemann, Julian Suck, Tobias Eckardt
2010 — conf
Verifikation von Protokollverfeinerungen.
Informatiktage
Christian Heinzemann
2009 A* conf
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.
ICSE
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
2008 — conf
BSBC: Towards a Succinct Data Format for XML Streams.
WEBIST (1)
Stefan Böttcher, Rita Hartel, Christian Heinzemann
2008 — conf
Compressing XML Data Streams with DAG+BSBC.
WEBIST (Selected Papers)
Stefan Böttcher, Rita Hartel, Christian Heinzemann