Bruno Langenstein Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2009
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski: The VSE Refinement Method in Hets. ICFEM 2009: 660-678
2007
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: A History-based Verification of Distributed Applications. VERIFY 2007
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: Verification of Distributed Applications. SAFECOMP 2007: 315-328
2005
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock: Verification Support Environment. Mechanizing Mathematical Reasoning 2005: 476-493
2000
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Langenstein, Roland Vogt, Markus Ullmann: The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference 2000: 336-340
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Eyad Alkassar
[c7]
2Serge Autexier
[j1]
3Vladimir Boyarinov
[c7]
4Mihai Codescu
[c6]
5Ernie Cohen
[c7]
6Markus Dahlweid
[c7]
7Ulan Degenbaev
[c7]
8Mark A. Hillebrand
[c7]
9Dieter Hutter
[j2] [j1] [c1]
10Dirk Leinenbach
[c7]
11Christian Maeder
[c6]
12Heiko Mantel
[j1]
13Michal Moskal
[c7]
14Till Mossakowski
[c6]
15Andreas Nonnengart
[c5] [c4] [c3]
16Steven Obua
[c7]
17Wolfgang J. Paul
[c7]
18Hristo Pentchev
[c7]
19Elena Petrova
[c7]
20Georg Rock
[c5] [c4] [c3] [j2] [j1]
21Thomas Santen
[c7]
22Axel Schairer
[j1]
23Norbert Schirmer (Bert Schirmer)
[c7]
24Sabine Schmaltz
[c7]
25Wolfram Schulte
[c7]
26Claus Sengler
[c1]
27Andrey Shadrin
[c7]
28Jörg H. Siekmann
[j2] [c1]
29Werner Stephan
[c5] [c4] [c3] [j2] [j1] [c1]
30Stephan Tobies
[c7]
31Alexandra Tsyban
[c7]
32Sergey Tverdyshev
[c7]
33Markus Ullmann
[c2]
34Roland Vogt
[j2] [j1] [c2]
35Andreas Wolpers
[j1] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 26 07:04:14 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page