| 2026 | ECMS | Integrating Simulation and Verification to Assess Safety of Robot Control Software. | Marco Lampacrescia, Matteo Palmas, Enrico Ghiorzi, Christian Henkel, Michaela Klauck, Armando Tacchella |
| 2025 | IROS | AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy. | Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli |
| 2024 | IROS | GSRM: Building Roadmaps for Query-Efficient and Near-Optimal Path Planning Using a Reaction Diffusion System. | Christian Henkel, Marc Toussaint, Wolfgang Hnig |
| 2020 | SAC | Optimized directed roadmap graph for multi-agent path finding using stochastic gradient descent. | Christian Henkel, Marc Toussaint |
| 2019 | IROS | An Optimal Algorithm to Solve the Combined Task Allocation and Path Finding Problem. | Christian Henkel, Jannik Abbenseth, Marc Toussaint |
| 2018 | INDIN | Adaptive Work Instructions for People with Disabilities in the Context of Human Robot Collaboration. | Matthias Sthr, Matthias Schneider, Christian Henkel |
| 2017 | INDIN | A harmonized approach for constructing a robust and efficient technology backbone for agile manufacturing systems. | Olga Meyer, Greg Rauhoeft, Christian Henkel, Ambra Cal |
| 2017 | SAC | Cloud-based cooperative navigation for mobile service robots in dynamic industrial environments. | Jannik Abbenseth, Felipe Garcia Lopez, Christian Henkel, Stefan Drr |