| 2008 |
|---|
| 21 | EE | Kurt Stenzel,
Holger Grandy,
Wolfgang Reif:
Verification of Java Programs with Generics.
AMAST 2008: 315-329 |
| 20 | EE | Holger Grandy,
Markus Bischof,
Kurt Stenzel,
Gerhard Schellhorn,
Wolfgang Reif:
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
FM 2008: 165-180 |
| 2007 |
|---|
| 19 | EE | Holger Grandy,
Kurt Stenzel,
Wolfgang Reif:
A Refinement Method for Java Programs.
FMOODS 2007: 221-235 |
| 18 | EE | Holger Grandy,
Robert Bertossi,
Kurt Stenzel,
Wolfgang Reif:
ASN1-light: A Verified Message Encoding for Security Protocols.
SEFM 2007: 195-204 |
| 2006 |
|---|
| 17 | EE | Holger Grandy,
Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
Developing Provable Secure M-Commerce Applications.
ETRICS 2006: 115-129 |
| 2005 |
|---|
| 16 | EE | Holger Grandy,
Kurt Stenzel,
Wolfgang Reif:
Object Oriented Verification Kernels for Secure Java Applications.
SEFM 2005: 170-179 |
| 2004 |
|---|
| 15 | EE | Kurt Stenzel:
A Formally Verified Calculus for Full Java Card.
AMAST 2004: 491-505 |
| 14 | EE | Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
A Construction Kit for Modeling the Security of M-commerce Applications.
FORTE Workshops 2004: 72-85 |
| 13 | | Dominik Haneberg,
Kurt Stenzel,
Wolfgang Reif:
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application.
Workshop Mobile Commerce 2004: 103-113 |
| 2003 |
|---|
| 12 | | Dominik Haneberg,
Alexander Kreibich,
Wolfgang Reif,
Kurt Stenzel:
Design for Trust: Security im M-Commerce.
GI Jahrestagung (1) 2003: 91-94 |
| 2002 |
|---|
| 11 | EE | Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
A Method for Secure Smartcard Applications.
AMAST 2002: 319-333 |
| 2000 |
|---|
| 10 | EE | Michael Balser,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel,
Andreas Thums:
Formal System Development with KIV.
FASE 2000: 363-366 |
| 1998 |
|---|
| 9 | | Michael Balser,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
KIV 3.0 for Provably Correct Systems.
FM-Trends 1998: 330-337 |
| 8 | | 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 |
|---|
| 7 | | Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
Proving System Correctness with KIV 3.0.
CADE 1997: 69-72 |
| 6 | | Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
Proving System Correctness with KIV.
TAPSOFT 1997: 859-862 |
| 1995 |
|---|
| 5 | | Thomas Fuchß,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
Three Selected Case Studies in Verification.
KORSO Book 1995: 371-387 |
| 1994 |
|---|
| 4 | | Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
Formal Specification and Verification Using KIV.
FTRTFT 1994: 787-787 |
| 3 | | Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
Tactics in KIV.
Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 293-310 (1994) |
| 1993 |
|---|
| 2 | | Wolfgang Reif,
Kurt Stenzel:
Reuse of Proofs in Software Verification.
FSTTCS 1993: 284-293 |
| 1 | | 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 |
