 | 2009 |
|---|
| 12 |       | Andreas Schierl,
Gerhard Schellhorn,
Dominik Haneberg,
Wolfgang Reif:
Abstract Specification of the UBIFS File System for Flash Memory.
FM 2009: 190-206 |
| 2008 |
|---|
| 11 | | Dominik Haneberg,
Gerhard Schellhorn,
Holger Grandy,
Wolfgang Reif:
Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
Formal Asp. Comput. 20(1): 41-59 (2008) |
| 2007 |
|---|
| 10 | | Nina Moebius,
Dominik Haneberg,
Wolfgang Reif,
Gerhard Schellhorn:
A Modeling Framework for the Development of Provably Secure E-Commerce Applications.
ICSEA 2007: 8 |
| 9 | | Dominik Haneberg,
Holger Grandy,
Wolfgang Reif,
Gerhard Schellhorn:
Verifying Smart Card Applications: An ASM Approach.
IFM 2007: 313-332 |
| 2006 |
|---|
| 8 | | Holger Grandy,
Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
Developing Provable Secure M-Commerce Applications.
ETRICS 2006: 115-129 |
| 7 | | Gerhard Schellhorn,
Holger Grandy,
Dominik Haneberg,
Wolfgang Reif:
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.
FM 2006: 16-31 |
| 2005 |
|---|
| 6 | | Dominik Haneberg,
Holger Grandy,
Wolfgang Reif,
Gerhard Schellhorn:
Verifying Security Protocols: An ASM Approach.
Abstract State Machines 2005: 247-262 |
| 2004 |
|---|
| 5 | | Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
A Construction Kit for Modeling the Security of M-commerce Applications.
FORTE Workshops 2004: 72-85 |
| 4 |  | 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 |
|---|
| 3 | | Dominik Haneberg,
Alexander Kreibich,
Wolfgang Reif,
Kurt Stenzel:
Design for Trust: Security im M-Commerce.
GI Jahrestagung (1) 2003: 91-94 |
| 2 | | Rudolf Berghammer,
Dominik Haneberg,
Wolfgang Reif,
Gerhard Schellhorn:
Special Issue on Tools for System Design and Verification.
J. UCS 9(2): 86-87 (2003) |
| 2002 |
|---|
| 1 | | Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
A Method for Secure Smartcard Applications.
AMAST 2002: 319-333 |
