Publikationen von Bruno Langenstein

2012

• Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
  The VSE Refinement Method in Hets.
  In: Electronic Communications of the EASST, Vol. o.A. Page o.A. o.A. 2012.

2009

• Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
  The VSE Refinement Method in HETS.
  In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil, Lecture Notes in Computer Science (LNCS), Vol. 5885, Springer, 2009.

2000

• Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
  VSE: Formal Methods Meet Industrial Needs.
  In: International Journal on Software Tools for Technology Transfer, Special Issue on Mechanized Theorem Proving for Technology (STTT), Vol. 3, No. 1, Pages 66-77, Springer Verlag, Berlin, Heidelberg, 2000.
• Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
  Formal Software Development in the Verification Support Environment.
  In: Journal of Experimental and Theoretical Artificial Intelligence, 2000.
• Bruno Langenstein; Markus Ullmann; Roland Vogt
  The Use of Formal Methods for Trusted Digital Signature Devices.
  In: Proc. 13th Intern. FLAIRS Conf. AAAI Press, 2000.

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.

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.