| 2000 |
|---|
| 9 | EE | 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) |
| 1999 |
|---|
| 8 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Modeling Dynamic Processes in TLA.
FBT 1999: 185-192 |
| 1998 |
|---|
| 7 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Assumption-Commitment Specifications and Safety-Critical Systems.
FBT 1998: 125-135 |
| 6 | | Dieter Hutter,
Heiko Mantel,
Georg Rock,
Werner Stephan,
Andreas Wolpers,
Michael Balser,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
VSE: Controlling the Complexity in Formal Software Developments.
FM-Trends 1998: 351-358 |
| 1997 |
|---|
| 5 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Tool Support for the Compositional Development of Distributed Systems.
FBT 1997: 89-98 |
| 1996 |
|---|
| 4 | | 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 |
| 1993 |
|---|
| 3 | | Werner Stephan,
Andreas Wolpers:
A Calculus for Higher Order Procedures with Global Variables.
MFCS 1993: 714-723 |
| 2 | | Rainer Drexler,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel,
Werner Stephan,
Andreas Wolpers:
The KIV System: A Tool for Formal Program Development.
STACS 1993: 704-705 |
| 1 | | Markus Ullmann,
H. Hauff,
D. Loevenich,
P. Kejwal,
R. Förster,
P. Baur,
Wolfgang Reif,
Werner Stephan,
Andreas Wolpers,
Jürgen Cleve,
Dieter Hutter,
Claus Sengler,
E. Canver:
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
VIS 1993: 175-190 |
