 | 2009 |
|---|
| 8 |       | Mihai Codescu,
Bruno Langenstein,
Christian Maeder,
Till Mossakowski:
The VSE Refinement Method in Hets.
ICFEM 2009: 660-678 |
| 2007 |
|---|
| 7 | | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Verification of Distributed Applications.
SAFECOMP 2007: 315-328 |
| 6 | | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
A History-based Verification of Distributed Applications.
VERIFY 2007 |
| 2005 |
|---|
| 5 | | Werner Stephan,
Bruno Langenstein,
Andreas Nonnengart,
Georg Rock:
Verification Support Environment.
Mechanizing Mathematical Reasoning 2005: 476-493 |
| 2000 |
|---|
| 4 |  | Bruno Langenstein,
Roland Vogt,
Markus Ullmann:
The Use of Formal Methods for Trusted Digital Signature Devices.
FLAIRS Conference 2000: 336-340 |
| 3 | | 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) |
| 2 | | 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) |
| 1996 |
|---|
| 1 | | 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 |
