Verification and Validation for Femur Prosthesis Surgery. - Ekaterina Auer; Roger Cuypers; Eva Dyllong; Stefan Kiel; Wolfram Luther (Computer-assisted proofs - tools, methods and applications, 2009)

Geometrische Modellierung mit Superquadriken zur Optimierung skelettaler Diagnosesysteme. - Roger Cuypers (2011)

Process-oriented Approach to Verification in Engineering. - Ekaterina Auer; Roger Cuypers; Wolfram Luther (ICINCO (2), 2012)