Verification and Validation for Femur Prosthesis Surgery

Authors Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, Wolfram Luther

Thumbnail PDF


  • Filesize: 0.92 MB
  • 22 pages

Document Identifiers

Author Details

Ekaterina Auer
Roger Cuypers
Eva Dyllong
Stefan Kiel
Wolfram Luther

Cite AsGet BibTex

Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, and Wolfram Luther. Verification and Validation for Femur Prosthesis Surgery. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


In this paper, we describe how verified methods we are developing in the course of the project TellHim&S (Interval Based Methods For Adaptive Hierarchical Models In Modeling And Simulation Systems) can be applied in the context of the biomechanical project PROREOP (Development of a new prognosis system to optimize patient-specific pre- operative surgical planning for the human skeletal system). On the one hand, it includes the use of verified hierarchical structures for reliable geometric modeling, object decomposition, distance computation and path planning. On the other hand, we cover such tasks as verification and validation assessment and propagation of differently described uncertainties through system models in engineering or mechanics.
  • Graphical interface construction
  • superquadrics
  • 3D modeling
  • biomedical engineering


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads