Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. - Udo Frese; Daniel Hausmann 001; Christoph Lüth; Holger Täubig; Dennis Walter (Software Engineering (Workshops), 2008)

The Importance of Being Formal. - Udo Frese; Daniel Hausmann 001; Christoph Lüth; Holger Täubig; Dennis Walter (SafeCert@ETAPS, 2008)

Experiences in Applying Formal Verification in Robotics. - Dennis Walter; Holger Täubig; Christoph Lüth (SAFECOMP, 2010)

Extensions to reactive self-collision avoidance for torque and position controlled humanoids. - Alexander Dietrich; Thomas Wimböck; Holger Täubig; Alin Albu-Schäffer; Gerd Hirzinger (ICRA, 2011)

Real-time swept volume and distance computation for self collision detection. - Holger Täubig; Berthold Bäuml; Udo Frese (IROS, 2011)

Real-time continuous collision detection for mobile manipulators - A general approach. - Holger Täubig; Berthold Bäuml; Udo Frese (Humanoids, 2012)

A New Library for Real-time Continuous Collision Detection. - Holger Täubig; Udo Frese (ROBOTIK, 2012)

Guaranteeing functional safety: design for provability and computer-aided verification. - Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; Elena Vorobev; Dennis Walter (Auton. Robots, 2012)

On task-oriented criteria for configurations selection in robot calibration. - Henry Carrillo; Oliver Birbach; Holger Täubig; Berthold Bäuml; Udo Frese; José A. Castellanos 001 (ICRA, 2013)