Travelled to:1 × Canada
1 × France
1 × USA
1 × United Kingdom
3 × Germany
Collaborated with:W.Reif M.Heisel ∅ W.Schönfeld G.Rock A.Nonnengart D.Hutter A.Wolpers R.Hähnle B.Langenstein C.Sengler J.H.Siekmann H.Mantel M.Balser G.Schellhorn K.Stenzel
Talks about:verif (5) formal (3) program (2) system (2) logic (2) engin (2) dynam (2) vse (2) use (2) lightweight (1)
Person: Werner Stephan
DBLP: Stephan:Werner
Facilitated 1 volumes:
EdContributed to:
2006
200219981996
19901988
198819871986Wrote 9 papers:
- FM-2006-Stephan #formal method #lightweight #plugin #security
- Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
- FASE-2002-NonnengartRS #modelling #requirements #using
- Formal Requirements Engineering Using Observer Models (AN, GR, WS), pp. 264–278.
- FM-1998-HutterMRSWBRSS #complexity #formal method #named
- VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.
- FME-1996-HutterLSSSW #deduction #verification
- Deduction in the Verification Support Environment (VSE) (DH, BL, CS, JHS, WS, AW), pp. 268–286.
- CADE-1990-HeiselRS #proving #theorem proving #verification
- Tactical Theorem Proving in Program Verification (MH, WR, WS), pp. 117–131.
- CADE-1988-HeiselRS #implementation #verification
- Implementing Verification Strategies in the KIV-System (MH, WR, WS), pp. 131–140.
- CSL-1988-SchonfeldS #integration
- Integration of Descriptive and Procedural Language Constructs (WS, WS), pp. 344–356.
- CSL-1987-HeiselRS #logic #using #verification
- Program Verification Using Dynamic Logic (MH, WR, WS), pp. 102–117.
- CADE-1986-HahnleHRS #interactive #logic #verification
- An Interactive Verification System Based on Dynamic Logic (RH, MH, WR, WS), pp. 306–315.