Bruno Langenstein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1996–2014
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SAFECOMP | On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. | Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
| 2009 | ICFEM | The VSE Refinement Method in Hets. | Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski |
| 2007 | CADE | A History-based Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2007 | SAFECOMP | Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2000 | FlAIRS | The Use of Formal Methods for Trusted Digital Signature Devices. | Bruno Langenstein, Roland Vogt, Markus Ullmann |
| 1996 | FM | Deduction in the Verification Support Environment (VSE). | Dieter Hutter, Bruno Langenstein, Claus Sengler, Jrg H. Siekmann, Werner Stephan, Andreas Wolpers |