Bruno Langenstein

According to our database, Bruno Langenstein authored at least 12 papers between 1996 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

Formal API Specification of the PikeOS Separation Kernel.

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Formal Specification of a Generic Separation Kernel.

Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Arch. Formal Proofs, 2014

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.

Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

The VSE Refinement Method in Hets.

Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein

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

2009

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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009

2007

Verification of Distributed Applications.

Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan

Proceedings of the Computer Safety, 2007

A History-based Verification of Distributed Applications.

Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2005

Verification Support Environment.

Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2000

VSE: formal methods meet industrial needs.

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers

Int. J. Softw. Tools Technol. Transf., 2000

Formal software development in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt

J. Exp. Theor. Artif. Intell., 2000

The Use of Formal Methods for Trusted Digital Signature Devices.

Bruno Langenstein, Roland Vogt, Markus Ullmann

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1996

Deduction in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996