Veröffentlichungen 2010 - 2011

Gabor Rebner, Ekaterina Auer & Wolfram Luther
A verified realization of a Dempster–Shafer based fault tree analysis. Computing 2011, DOI 10.1007/10.1007/s00607-011-0179-3

Ekaterina Auer & Andreas Rauh
VERICOMP: a system to compare and assess verified IVP solvers . Computing 2011, DOI 10.1007/10.1007/s00607-011-0178-4

Andreas Rauh, Julia Kersten, Ekaterina Auer & Harald Aschemann
Sensitivity-based feedforward and feedback control for uncertain systems. Computing 2011, DOI 10.1007/10.1007/s00607-011-0171-y

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 2011, DOI 10.1007/10.1007/s00607-011-0172-x

Eva Dyllong & Stefan Kiel
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. Computing 2011, DOI 10.1007/s00607-011-0161-0

Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer & Harald Aschemann
Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. Reliable Computing 15, 2011, 321-332.

Andreas Rauh & Ekaterina Auer
Verified Simulation of ODEs and DAEs in ValEncIA-IVP. Reliable Computing 15, 2011, 370-381.

Sebastian Kempken & Wolfram Luther
Verified Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment, Reliable Computing 15, 2011, 179-192

Daniel Biella, Wolfram Luther & Nelson Baloian
Virtual Museum Exhibition Designer Using Enhanced ARCO Standard. XXIX International Conference of the Chilean Computer Science Society (SCCC), 2010, 15-19 Nov. 2010, 226 - 235, ISSN: 1522-4902, ISBN: 978-1-4577-0073-6

Benjamin Weyers & Wolfram Luther
Virtual Formal Modeling and Reconfiguration of User Interfaces . XXIX International Conference of the Chilean Computer Science Society (SCCC), 2010, 15-19 Nov. 2010, 236 - 245 , ISSN: 1522-4902, ISBN: 978-1-4577-0073-6

Ekaterina Auer, Andrey Chuev, Roger Cuypers, Stefan Kiel & Wolfram Luther
Relevance of Accurate and Verified Numerical Algorithms for Verification and Validation in Biomechanics. In Euromech Colloqium 511 - Biomechanics of Human Motion Proceedings , March 2011

Ekaterina Auer, Haider Albassam, Andres Kecskemethy & Wolfram Luther
Verified Analysis of a Model for Stance Stabilization, In Modeling, Design and Simulation of Systems with Uncertainties, Series Mathematical Engineering, 2011

Andreas Rauh & Ekaterina Auer (eds)
Modeling, Design and Simulation of Systems with Uncertainties, Series Mathematical Engineering, 2011

Stefan Kiel
Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations, Proceedings of Seventh International Conference on Curves and Surfaces 2010, to appear

Ekaterina Auer, Wolfram Luther & Gabor Rebner
A Verified Realization of a Dempster-Shafer-Based Fault Tree Analysis, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, ENS de Lyon, France, September 27-30, 2010,
http://scan2010.ens-lyon.fr/SCAN2010_Auer_Luther_Rebner.pdf

Ekaterina Auer & Andreas Rauh
Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems, LNCS 6068, Part II, pp. 408-417, Springer 2010. doi: 10.1007/978-3-642-14403-5_43

Ekaterina Auer, Andreas Rauh & Harald Aschemann
Development of a Quality Measure for the Characterization of Guaranteed Solution Sets to ODEs in Engineering. 8th IFAC Symposium on Nonlinear Control Systems, Bologna, Italy, 2010.

Ekaterina Auer & Wolfram Luther
Verified Analysis of a Biomechanics-Related System. In: Minisymposium on Modeling, Design, and Simulation of Systems with Uncertainties, ECMI2010, Wuppertal, Germany, 2010, to appear

Eva Dyllong & Stefan Kiel
Verified Distance Computation Between Convex Hulls of Octrees Using Interval Optimization Techniques. PAMM, 10: 651–652. doi: 10.1002/pamm.201010318

Nelson Baloian, Daniel Biella & Wolfram Luther
Beyond the ARCO Standard, Proceedings 16th International Conference on Virtual Systems and Multimedia (VSMM2010), p.184-191, IEEE, ISBN: 978-1-4244-9025-. doi: 10.1109/VSMM.2010.5665985

Benjamin Weyers, Wolfram Luther & Nelson Baloian
Interface creation and redesign techniques in collaborative learning scenarios. In: Peter Sloot (ed.), The International Journal of Future Generation Computer Systems, Grid Computing and eScience (FGCS), Vol. 27, Issue 1, pp. 127 - 138, Elsevier 2011, ISSN 0167-739X

Benjamin Weyers, Dina Burkolter, Anette Kluge & Wolfram Luther
User-centered Interface Reconfiguration for Error Reduction in Human-Computer Interaction. In: R. Hariprakash, Elod Egyed-Zsigmond, Mario Hoffmann (eds), Proceedings of The Third International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies, and Services (CENTRIC) , pp. 50-55, IEEE Verlag 2010, ISBN 978-0-7695-4141-9, doi: 10.1109/CENTRIC.2010.11

Ekaterina Auer, Wolfram Luther, Gabor Rebner & Philipp Limbourg
A Verified MATLAB Toolbox for the Dempster-Shafer Theory. Proceedings Workshop on the Theory of Belief Functions, Brest April 1-2, 2010.

Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel & Wolfram Luther
Verification and Validation for Femur Prosthesis Surgery. In Dagstuhl Seminar Proceedings 09471 B. M. Brown, E. Kaltofen, S. Oishi, S. M. Rump (Eds.: Computer-assisted proofs - tools, methods and applications, ISSN 1862 - 4405 Dagstuhl Seminar 09471, 15.11. - 20.11.2009

Ekaterina Auer & Andreas Rauh
Interval Approaches to Reliable Control of Dynamical Systems. In Dagstuhl Seminar Proceedings 09471 B. M. Brown, E. Kaltofen, S. Oishi, S. M. Rump (Eds.: Computer-assisted proofs - tools, methods and applications, ISSN 1862 - 4405 Dagstuhl Seminar 09471, 15.11. - 20.11.2009

Wolfram Luther & Benjamin Weyers
Interface Reconfiguration Techniques in Interactive Data Mining and Processing, First Workshop in Business Analytics and Optimization (BAO 2010), 11 - 13 January, 2010, Santiago de Chile

Nelson Baloian, Wolfram Luther, Dirk Söffker & Yoshiyori Urano (Eds.)
Interface and Interaction Design for Learning and Simulation Environments, Readings of the Summer Academy, Duisburg 2009, Logos-Verlag, Berlin, 2010, ISBN 978-3-8325-2361-9