The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bruno Langenstein: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
    Verification Support Environment. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:476-493 [Conf]
  2. Bruno Langenstein, Roland Vogt, Markus Ullmann
    The Use of Formal Methods for Trusted Digital Signature Devices. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:336-340 [Conf]
  3. Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
    Deduction in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:268-286 [Conf]
  4. Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
    Formal software development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2000, v:12, n:4, pp:383-406 [Journal]
  5. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
    VSE: formal methods meet industrial needs. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:66-77 [Journal]
  6. Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
    Verification of Distributed Applications. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:315-328 [Conf]

  7. A History-based Verification of Distributed Applications. [Citation Graph (, )][DBLP]


  8. Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]


  9. The VSE Refinement Method in Hets. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002