BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stephan:Werner

Facilitated 1 volumes:

FM-Trends 1998Ed

Contributed to:

FM 20062006
FASE 20022002
FM-Trends 19981998
FME 19961996
CADE 19901990
CADE 19881988
CSL 19881988
CSL 19871987
CADE 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.