Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bruno Langenstein
2000 – 2009
- 2009
[c7]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: 43-55- [c6]Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski: The VSE Refinement Method in Hets. ICFEM 2009: 660-678
- 2007
- [c5]Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: A History-based Verification of Distributed Applications. VERIFY 2007
- [c4]Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: Verification of Distributed Applications. SAFECOMP 2007: 315-328
- 2005
- [c3]Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock: Verification Support Environment. Mechanizing Mathematical Reasoning 2005: 476-493
- 2000
- [j2]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): 383-406 (2000)
- [j1]Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers: VSE: formal methods meet industrial needs. STTT 3(1): 66-77 (2000)
- [c2]Bruno Langenstein, Roland Vogt, Markus Ullmann: The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference 2000: 336-340
1990 – 1999
- 1996
- [c1]Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-14 16:48 CET by the dblp team