Interval Algorithms in Modeling of Multibody Systems. - Ekaterina Auer; Andrés Kecskeméthy; Martin Tändl; Holger Traczinski (Numerical Software with Result Verification, 2003)

Integration of reliable algorithms into modeling software. - Wolfram Luther; Gerhard Haßlinger; Ekaterina Auer; Eva Dyllong; Daniela Traczinski; Holger Traczinski (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

Smartmobile - an environment for guaranteed multibody modeling and simulation. - Ekaterina Auer; Wolfram Luther (ICINCO-RA (1), 2007)

Numerical Verification Assessment in Computational Biomechanics. - Ekaterina Auer; Wolfram Luther (Numerical Validation in Current Hardware Architectures, 2008)

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. - Ekaterina Auer; Andreas Rauh; Eberhard P. Hofer; Wolfram Luther (Reliable Implementation of Real Number Algorithms, 2008)

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)

Interval Approaches to Reliable Control of Dynamical Systems. - Andreas Rauh; Ekaterina Auer (Computer-assisted proofs - tools, methods and applications, 2009)

Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems. - Ekaterina Auer; Andreas Rauh (PPAM (2), 2009)

Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. - Ekaterina Auer; Wolfram Luther (Int. J. Appl. Math. Comput. Sci., 2009)

Verified Simulation of ODEs and DAEs in ValEncIA-IVP. - Andreas Rauh; Ekaterina Auer (Reliab. Comput., 2011)

Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. - Andreas Rauh; Ekaterina Auer; Mareile Freihold; Eberhard P. Hofer; Harald Aschemann (Reliab. Comput., 2011)

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

VERICOMP: a system to compare and assess verified IVP solvers. - Ekaterina Auer; Andreas Rauh (Computing, 2012)

Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances. - Andreas Rauh; Ekaterina Auer; Thomas Dötschel; Harald Aschemann (Computing, 2012)

Sensitivity-based feedforward and feedback control for uncertain systems. - Andreas Rauh; Julia Kersten; Ekaterina Auer; Harald Aschemann (Computing, 2012)

A verified realization of a Dempster-Shafer based fault tree analysis. - Gabor Rebner; Ekaterina Auer; Wolfram Luther (Computing, 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)

Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models. - Andreas Rauh; Luise Senkel; Thomas Dötschel; Harald Aschemann; Ekaterina Auer (Reliab. Comput., 2013)

Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP. - Andreas Rauh; Ramona Westphal; Harald Aschemann; Ekaterina Auer (Reliab. Comput., 2013)

Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control. - Thomas Dötschel; Ekaterina Auer; Andreas Rauh; Harald Aschemann (Soft Comput., 2013)

Verified stochastic methods. - Gabor Rebner; Michael Beer; Ekaterina Auer; Matthias Stein (Soft Comput., 2013)

Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. - Andreas Rauh; Ramona Westphal; Harald Aschemann; Ekaterina Auer (SCAN, 2014)

Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems. - Andreas Rauh; Luise Senkel; Ekaterina Auer; Harald Aschemann (Math. Comput. Sci., 2014)

Result Verification and Uncertainty Management in Engineering Applications. - Ekaterina Auer (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)

The Role of Verification and Validation Techniques within Visual Analytics. - Benjamin Weyers; Ekaterina Auer; Wolfram Luther (J. Univers. Comput. Sci., 2019)

Preface. - Ekaterina Auer; Julia Kersten; Andreas Rauh (Acta Cybern., 2020)

Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. - Wolfram Luther; Ekaterina Auer; Benjamin Weyers (Acta Cybern., 2020)

Intervallmethoden zur Berechnung exponentieller Zustandseinschlüsse für die Erreichbarkeitsanalyse unsicherer Systeme. - Andreas Rauh; Julia Kersten; Ekaterina Auer; Harald Aschemann (Autom., 2020)

Experiments-based parameter identification on the GPU for cooperative systems. - Ekaterina Auer; Andreas Rauh; Julia Kersten (J. Comput. Appl. Math., 2020)

Comparison of Stochastic and Interval-Based Modeling Approaches for the Online optimization of the Fuel Efficiency of SOFC Systems. - Andreas Rauh; Ekaterina Auer (ICSC, 2021)

Uncertainty Handling in Genetic Risk Assessment and Counseling. - Ekaterina Auer; Wolfram Luther (J. Univers. Comput. Sci., 2021)

Towards a Traceable Data Model Accommodating Bounded Uncertainty for DST Based Computation of BRCA1/2 Mutation Probability With Age. - Lorenz Gillner; Ekaterina Auer (J. Univers. Comput. Sci., 2023)

GPU-Based Interval Optimization in the Context of Optical MIMO Systems. - Ekaterina Auer; Andreas Ahrens; Lorenz Gillner (PPAM (1), 2024)

Verified Bit and Power Allocation for MIMO Systems: A Comparison of SVD Based Techniques With GMD. - Ekaterina Auer; Andreas Ahrens (Acta Cybern., 2024)

GPU-Accelerated, Interval-Based Parameter Identification Methods Illustrated Using the Two-Compartment Problem. - Lorenz Gillner; Ekaterina Auer (Acta Cybern., 2024)