Deduction in the Verification Support Environment (VSE). - Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg H. Siekmann; Werner Stephan 001; Andreas Wolpers (FME, 1996)

The Use of Formal Methods for Trusted Digital Signature Devices. - Bruno Langenstein; Roland Vogt; Markus Ullmann (FLAIRS, 2000)

Formal software development in the Verification Support Environment (VSE). - Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg H. Siekmann; Werner Stephan 001; Roland Vogt (J. Exp. Theor. Artif. Intell., 2000)

VSE: formal methods meet industrial needs. - Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan 001; Roland Vogt; Andreas Wolpers (Int. J. Softw. Tools Technol. Transf., 2000)

Verification Support Environment. - Werner Stephan 001; Bruno Langenstein; Andreas Nonnengart; Georg Rock (Mechanizing Mathematical Reasoning, 2005)

A History-based Verification of Distributed Applications. - Bruno Langenstein; Andreas Nonnengart; Georg Rock; Werner Stephan 001 (VERIFY, 2007)

Verification of Distributed Applications. - Bruno Langenstein; Andreas Nonnengart; Georg Rock; Werner Stephan 001 (SAFECOMP, 2007)

Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

The VSE Refinement Method in Hets. - Till Mossakowski; Mihai Codescu; Christian Maeder; Bruno Langenstein (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. - Adrian Garcia Ramirez; Julien Schmaltz; Freek Verbeek; Bruno Langenstein; Holger Blasum (SAFECOMP, 2014)

Formal Specification of a Generic Separation Kernel. - Freek Verbeek; Sergey Tverdyshev; Oto Havle; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Yakoub Nemouchi; Abderrahmane Feliachi; Burkhart Wolff; Julien Schmaltz (Arch. Formal Proofs, 2014)

Formal API Specification of the PikeOS Separation Kernel. - Freek Verbeek; Oto Havle; Julien Schmaltz; Sergey Tverdyshev; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Burkhart Wolff; Yakoub Nemouchi (NFM, 2015)