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: Stenzel:Kurt
Contributed to:
2013
2011
200820072005
20001998
1997
1997Wrote 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.
- FM-1998-BalserRSS
- 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.