Ekaterina Auer

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