Reports

• Robert Eschbach, "ViERforES - Better Systems Through Virtual Reality", Annual Report 2009, Fraunhofer IESE

• Robert Eschbach, "Innovative Testing Procedures for High Demands on Quality: Most probably defect-free – quality check with statistics", Annual Report 2007, Fraunhofer IESE

• Robert Eschbach, "ART:  Modularization of Inductive Proofs in Equational Specifications", SEKI Report Working Papers, Number 3, 1999

• Robert Eschbach, Thomas Deiß, Martin Kronenburg, "A Framework for the Analysis of Formal Descripition Techniques for Timed Systems", SFB 501, Report, 1998

• Martin Kronenburg, Thomas Deiß, Robert Eschbach, "Temporal Logics as Examples of Formal Description Techniques for Timed Systems", SFB 501, Report, 1998

• Robert Eschbach, Inger Sonntag, "PLATIN: A Planning System for Inductive Theorem Proving: Implementation and Experiences", SEKI Report Working Papers, Number 74, 1997