Bruno Langenstein

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 0

Top Topics

Specification Languages

Kernel Function

Mutual Subspace Method

Formal Languages

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Arch. Formal Proofs

Publications

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
Formal API Specification of the PikeOS Separation Kernel. NFM (2015)
Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014)
Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. SAFECOMP (2014)
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
The VSE Refinement Method in Hets. ICFEM (2009)
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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
Verification of Distributed Applications. SAFECOMP (2007)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
A History-based Verification of Distributed Applications. VERIFY (2007)
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
Verification Support Environment. Mechanizing Mathematical Reasoning (2005)
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Bruno Langenstein, Roland Vogt, Markus Ullmann
The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference (2000)
Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12 (4) (2000)
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
Deduction in the Verification Support Environment (VSE). FME (1996)