B
Bruno Langenstein
Researcher at German Research Centre for Artificial Intelligence
Publications - 15
Citations - 292
Bruno Langenstein is an academic researcher from German Research Centre for Artificial Intelligence. The author has contributed to research in topics: Formal verification & Formal methods. The author has an hindex of 8, co-authored 15 publications receiving 286 citations.
Papers
More filters
Book ChapterDOI
Invariants, modularity, and rights
Ernie Cohen,Eyad Alkassar,Vladimir Boyarinov,Markus Dahlweid,Ulan Degenbaev,Mark 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 +20 more
TL;DR: This paper argues that rights to access the state are really just sugar for knowledge that certain updates preserve certain invariants, and extends program assertions to include not just knowledge about the state, but rights toaccess the state.
Book ChapterDOI
Deduction in the Verification Support Environment (VSE)
Dieter Hutter,Bruno Langenstein,Claus Sengler,Jörg H. Siekmann,Werner Stephan,Andreas Wolpers +5 more
TL;DR: The VSE-tool was developed by a consortium of German universities and industry to make a tool available which supports this formal development process of software formal methods.
Book ChapterDOI
Formal API specification of the PikeOS separation kernel
Freek Verbeek,Freek Verbeek,Oto Havle,Julien Schmaltz,Sergey Tverdyshev,Holger Blasum,Bruno Langenstein,Werner Stephan,Burkhart Wolff,Yakoub Nemouchi +9 more
TL;DR: This work formalized the hardware independent security-relevant part of PikeOS that is to be used in a certification context and presents the model and the methodology used to create the model, and proves intransitive noninterference.
Journal ArticleDOI
VSE: formal methods meet industrial needs
Serge Autexier,Dieter Hutter,Bruno Langenstein,Heiko Mantel,Georg Rock,Axel Schairer,Werner Stephan,Roland Vogt,Andreas Wolpers +8 more
TL;DR: The application of VSE to an industrial case study is described and an overview of the enhanced VSE system and the VSE methodology is given.
Journal ArticleDOI
Formal software development in the Verification Support Environment (VSE)
TL;DR: In this paper, a survey of the VSE system, a CASE-tool for formal software development, is presented, focusing on the underlying formal method and tool support, and that in particular from the deductive support perspective.