Christian Heinzemann

Provably safe motion of mobile robots in human environments

Stefan B. Liu, Hendrik Roehm, Christian Heinzemann et al. · 2017 · 66 citations · Full text

Engineering, Field Robotics, Intelligent Robotics +18

Experience Paper: Search-Based Testing in Automated Driving Control Applications

Christoph Gladisch, Thomas Heinz, Christian Heinzemann et al. · 2019 · 59 citations

Engineering, Verification, Test Data Generation +19

Leveraging combinatorial testing for safety-critical computer vision datasets

Christoph Gladisch, Christian Heinzemann, Martin Herrmann et al. · 2020 · 36 citations

Artificial Intelligence, Convolutional Neural Network, Engineering +16

Modeling and verifying dynamic communication structures based on graph transformations

Tobias Eckardt, Christian Heinzemann, Stefan Henkler et al. · Computer Science - Research and Development · 2011 · 32 citations

Reachability Analysis, Engineering, Graph Theory +11

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

Steffen Becker, Stefan Dziwok, Christopher Gerking et al. · 2014 · 30 citations

Engineering, Software Engineering, Intelligent Systems +20