Publikationen von Claus Sengler

1997

• Erica Melis; Claus Sengler
  Analogical Transfer of Verification Proofs for State-Based Specifications.
  DFKI, DFKI Research Reports (RR), Vol. 97-01, 1/1997.

1996

• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Deduction in the Verification Support Environment (VSE).
  In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods. FME-96, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.
• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Verification Support Environment (VSE).
  In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
• Dieter Hutter; Claus Sengler
  INKA: The Next Generation.
  In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. July 30 - August 3, New Brunswick, NJ, United States, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.
• Dieter Hutter; Claus Sengler
  The Graphical User Interface of INKA.
  In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. UITP-96, July 19, York, United Kingdom, Pages 43-50, N. Merriam, 1996.
• Claus Sengler
  Induction on Non-Freely Generated Data Types.
  DFKI, DFKI Research Reports (RR), Vol. 96-01, 1996.
• Claus Sengler
  Case Studies of Non-Freely Generated Data Types.
  DFKI, DFKI Research Reports (RR), Vol. 96-06, 1996.

1995

• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Verification Support Environment (VSE).
  In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. February 27 - March 3, Schloß Dagstuhl, Germany, 1995.
• Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif
  The VSE development method - a way to engineer high-assurance software systems.
  In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". June 22-23, Kaiserlautern, Germany, 1995.

1994

• Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan
  Deduction in the Verification Support Environment (VSE).
  In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Christian-Albrechts-Universität, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.
• R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke
  Verification Support Enviroment (VSE).
  In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. KES-Verlag, 1994.

1993

• Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
  VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
  In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme VIS. München, Germany, 1993.
• Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
  VSE Verification Support Environment.
  In: Proceedings Online 93. Hamburg, Germany, 1993.

1992

• Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
  The Verification Support Environment VSE.
  In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, Switzerland, Pages 69-74, IFAC Symposia Series, Pergamon Press, 1992.