Christian Heinzemann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
13
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination. | Lukas Knig, Christian Schildwchter, Michaela Klauck, Christian Heinzemann |
| 2024 | SAFECOMP | A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. | Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel |
| 2024 | TACAS | Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. | Lukas Knig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kperkoch, Dennis Fassbender, Michael Hanselmann |
| 2022 | DATE | 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 |
| 2022 | IROS | Towards Safety-Aware Pedestrian Detection in Autonomous Systems. | Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel |
| 2021 | CVPR | 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 |
| 2021 | ISSRE | On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning. | Lydia Gauerhof, Roman Gansch, Christian Heinzemann, Matthias Woehrle, Andreas Heyl |
| 2020 | CVPR | Leveraging combinatorial testing for safety-critical computer vision datasets. | Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle |
| 2020 | SAFECOMP | Revisiting Neuron Coverage and Its Application to Test Generation. | Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle |
| 2019 | SAFECOMP | Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. | Matthias Woehrle, Christoph Gladisch, Christian Heinzemann |
| 2018 | IROS | vTSL - A Formally Verifiable DSL for Specifying Robot Tasks. | Christian Heinzemann, Ralph Lange |
| 2017 | IROS | Provably safe motion of mobile robots in human environments. | Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Ltkebohle, Jens Oehlerking, Matthias Althoff |
| 2017 | SAFECOMP | Making the Case for Safety of Machine Learning in Highly Automated Driving. | Simon Burton, Lydia Gauerhof, Christian Heinzemann |
| 2015 | MODELS | Domain-Specific Model Checking for Cyber-Physical Systems. | Christopher Gerking, Wilhelm Schfer, Stefan Dziwok, Christian Heinzemann |
| 2014 | ICSE | The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. | Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schfer, Matthias Meyer, Uwe Pohlmann |
| 2013 | ICTAC | Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. | Steffen Ziegert, Christian Heinzemann |
| 2013 | ISORC | From timed automata to timed failure propagation graphs. | Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schfer |
| 2012 | Coordination | Real-Time Coordination Patterns for Advanced Mechatronic Systems. | Stefan Dziwok, Christian Heinzemann, Matthias Tichy |
| 2012 | INDIN | Runtime safety analysis for safe reconfiguration. | Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schfer, Matthias Tichy |
| 2009 | ICSE | Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. | Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Lffler, Andreas Seibel, Holger Giese |
| 2008 | WEBIST | BSBC: Towards a Succinct Data Format for XML Streams. | Stefan Bttcher, Rita Hartel, Christian Heinzemann |
| 2008 | WEBIST | Compressing XML Data Streams with DAG+BSBC. | Stefan Bttcher, Rita Hartel, Christian Heinzemann |