Ekaterina Auer

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 9

Top Venues

J. Univers. Comput. Sci.

Acta Cybern.

Math. Comput. Sci.

ICSC

University of Duisburg-Essen (PHD)

Education History

University of Duisburg-Essen

PHD

Publications

Lorenz Gillner, Ekaterina Auer
Towards a Traceable Data Model Accommodating Bounded Uncertainty for DST Based Computation of BRCA1/2 Mutation Probability With Age. J. Univers. Comput. Sci. 29 (11) (2023)
Andreas Rauh, Ekaterina Auer
Comparison of Stochastic and Interval-Based Modeling Approaches for the Online optimization of the Fuel Efficiency of SOFC Systems. ICSC (2021)
Ekaterina Auer, Wolfram Luther
Uncertainty Handling in Genetic Risk Assessment and Counseling. J. Univers. Comput. Sci. 27 (12) (2021)
Andreas Rauh, Julia Kersten, Ekaterina Auer, Harald Aschemann
Intervallmethoden zur Berechnung exponentieller Zustandseinschlüsse für die Erreichbarkeitsanalyse unsicherer Systeme. Autom. 68 (10) (2020)
Wolfram Luther, Ekaterina Auer, Benjamin Weyers
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. Acta Cybern. 24 (3) (2020)
Ekaterina Auer, Julia Kersten, Andreas Rauh
Preface. Acta Cybern. 24 (3) (2020)
Ekaterina Auer, Andreas Rauh, Julia Kersten
Experiments-based parameter identification on the GPU for cooperative systems. J. Comput. Appl. Math. 371 (2020)
Benjamin Weyers, Ekaterina Auer, Wolfram Luther
The Role of Verification and Validation Techniques within Visual Analytics. J. Univers. Comput. Sci. 25 (8) (2019)
Ekaterina Auer, Luise Senkel, Stefan Kiel, Andreas Rauh
Control-Oriented Models for SO Fuel Cells from the Angle of V&V: Analysis, Simplification Possibilities, Performance. Algorithms 10 (4) (2017)
Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. SCAN (2014)
Andreas Rauh, Luise Senkel, Ekaterina Auer, Harald Aschemann
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems. Math. Comput. Sci. 8 (3-4) (2014)
Stefan Kiel, Ekaterina Auer, Andreas Rauh
An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells. Reliab. Comput. 19 (3) (2013)
Stefan Kiel, Ekaterina Auer, Andreas Rauh
Uses of GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells. NOLCOS (2013)
Gabor Rebner, Michael Beer, Ekaterina Auer, Matthias Stein
Verified stochastic methods. Soft Comput. 17 (8) (2013)
Andreas Rauh, Luise Senkel, Thomas Dötschel, Harald Aschemann, Ekaterina Auer
Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models. Reliab. Comput. 19 (4) (2013)
Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer
Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP. Reliab. Comput. 19 (1) (2013)
Thomas Dötschel, Ekaterina Auer, Andreas Rauh, Harald Aschemann
Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control. Soft Comput. 17 (8) (2013)
Ekaterina Auer, Stefan Kiel
Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. Reliab. Comput. 19 (2) (2013)
Ekaterina Auer, Stefan Kiel, Andreas Rauh
A verified method for solving piecewise smooth initial value problems. Int. J. Appl. Math. Comput. Sci. 23 (4) (2013)
Andreas Rauh, Julia Kersten, Ekaterina Auer, Harald Aschemann
Sensitivity-based feedforward and feedback control for uncertain systems. Computing 94 (2-4) (2012)
Ekaterina Auer, Roger Cuypers, Wolfram Luther
Process-oriented Approach to Verification in Engineering. ICINCO (2) (2012)
Gabor Rebner, Ekaterina Auer, Wolfram Luther
A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94 (2-4) (2012)
Ekaterina Auer, Andreas Rauh
VERICOMP: a system to compare and assess verified IVP solvers. Computing 94 (2-4) (2012)
Andreas Rauh, Ekaterina Auer, Thomas Dötschel, Harald Aschemann
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances. Computing 94 (2-4) (2012)
Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, Harald Aschemann
Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. Reliab. Comput. 15 (4) (2011)
Andreas Rauh, Ekaterina Auer
Verified Simulation of ODEs and DAEs in ValEncIA-IVP. Reliab. Comput. 15 (4) (2011)
Ekaterina Auer, Wolfram Luther
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. Int. J. Appl. Math. Comput. Sci. 19 (3) (2009)
Ekaterina Auer, Andreas Rauh
Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems. PPAM (2) (2009)
Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, Wolfram Luther
Verification and Validation for Femur Prosthesis Surgery. Computer-assisted proofs - tools, methods and applications (2009)
Andreas Rauh, Ekaterina Auer
Interval Approaches to Reliable Control of Dynamical Systems. Computer-assisted proofs - tools, methods and applications (2009)
Ekaterina Auer, Wolfram Luther
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures (2008)
Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. Reliable Implementation of Real Number Algorithms (2008)
Ekaterina Auer, Wolfram Luther
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures (2008)
Ekaterina Auer, Wolfram Luther
Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) (2007)
Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski
Integration of reliable algorithms into modeling software. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski
Interval Algorithms in Modeling of Multibody Systems. Numerical Software with Result Verification (2003)

Ekaterina Auer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ekaterina Auer