Stefan Kiel

According to our database, Stefan Kiel authored at least 11 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

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

2014

UniVerMeC - A Framework for Development, Assessment and Interoperable Use of Verified Techniques.

Stefan Kiel

PhD thesis, 2014

2013

Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures.

Stefan Kiel, Wolfram Luther, Eva Dyllong

Soft 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

Uses of Verified Methods for Solving Non-Smooth Initial Value Problems.

Ekaterina Auer, Stefan Kiel

Reliab. Comput., 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 GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells.

Stefan Kiel, Ekaterina Auer, Andreas Rauh

Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

2012

YalAA: Yet Another Library for Affine Arithmetic.

Stefan Kiel

Reliab. Comput., 2012

A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure.

Eva Dyllong, Stefan Kiel

Computing, 2012

2010

Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations.

Stefan Kiel

Proceedings of the Curves and Surfaces, 2010

2009

Verification and Validation for Femur Prosthesis Surgery.

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

Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009