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)

Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations. - Stefan Kiel (Curves and Surfaces, 2010)

A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. - Eva Dyllong; Stefan Kiel (Computing, 2012)

YalAA: Yet Another Library for Affine Arithmetic. - Stefan Kiel (Reliab. Comput., 2012)

Uses of GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells. - Stefan Kiel; Ekaterina Auer; Andreas Rauh (NOLCOS, 2013)

A verified method for solving piecewise smooth initial value problems. - Ekaterina Auer; Stefan Kiel; Andreas Rauh (Int. J. Appl. Math. Comput. Sci., 2013)

Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. - Ekaterina Auer; Stefan Kiel (Reliab. Comput., 2013)

An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells. - Stefan Kiel; Ekaterina Auer; Andreas Rauh (Reliab. Comput., 2013)

Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. - Stefan Kiel; Wolfram Luther; Eva Dyllong (Soft Comput., 2013)

UniVerMeC - A Framework for Development, Assessment and Interoperable Use of Verified Techniques. - Stefan Kiel (Verlag Dr. Hut, 2014)

Control-Oriented Models for SO Fuel Cells from the Angle of V&V: Analysis, Simplification Possibilities, Performance. - Ekaterina Auer; Luise Senkel; Stefan Kiel; Andreas Rauh (Algorithms, 2017)