Holger Grandy

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Rigorous Methods for Software Construction and Analysis (2009)
Holger Grandy, Sebastian Benz
Specification based testing of automotive human machine interfaces. GI Jahrestagung (2009)
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES (2009)
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference (2009)
Kurt Stenzel, Holger Grandy, Wolfgang Reif
Verification of Java Programs with Generics. AMAST (2008)
Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Aspects Comput. 20 (1) (2008)
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)
Holger Grandy, Kurt Stenzel, Wolfgang Reif
A Refinement Method for Java Programs. FMOODS (2007)
Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif
ASN1-light: A Verified Message Encoding for Security Protocols. SEFM (2007)
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
Verifying Smart Card Applications: An ASM Approach. IFM (2007)
Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
Developing Provable Secure M-Commerce Applications. ETRICS (2006)
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. FM (2006)
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
Verifying Security Protocols: An ASM Approach. Abstract State Machines (2005)
Holger Grandy, Kurt Stenzel, Wolfgang Reif
Object Oriented Verification Kernels for Secure Java Applications. SEFM (2005)

Holger Grandy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Holger Grandy