BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Finland
1 × New Zealand
1 × Spain
1 × United Kingdom
3 × Germany
Collaborated with:
W.Reif G.Schellhorn H.Grandy N.Moebius M.Balser M.Borek R.Bertossi M.Bischof A.Thums D.Hutter H.Mantel G.Rock W.Stephan A.Wolpers
Talks about:
kiv (5) system (4) secur (4) correct (3) formal (3) verif (3) protocol (2) develop (2) verifi (2) applic (2)

Person: Kurt Stenzel

DBLP DBLP: Stenzel:Kurt

Contributed to:

SEFM 20132013
MoDELS 20112011
FM 20082008
SEFM 20072007
SEFM 20052005
FASE 20002000
FM-Trends 19981998
CADE 19971997

Wrote 10 papers:

SEFM-2013-BorekMSR #approach #model checking #modelling
Model Checking of Security-Critical Applications in a Model-Driven Approach (MB, NM, KS, WR), pp. 76–90.
MoDELS-2011-StenzelMR #code generation #qvt #verification
Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
FM-2008-GrandyBSSR #protocol #security #verification
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code (HG, MB, KS, GS, WR), pp. 165–180.
SEFM-2007-GrandyBSR #encoding #named #protocol #security
ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
SEFM-2005-GrandySR #java #kernel #object-oriented #verification
Object Oriented Verification Kernels for Secure Java Applications (HG, KS, WR), pp. 170–179.
FASE-2000-BalserRSST #development
Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.
KIV 3.0 for Provably Correct Systems (MB, WR, GS, KS), pp. 330–337.
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.
CADE-1997-ReifSS #correctness #proving
Proving System Correctness with KIV 3.0 (WR, GS, KS), pp. 69–72.
TAPSOFT-1997-ReifSS #correctness #proving
Proving System Correctness with KIV (WR, GS, KS), pp. 859–862.

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.