Verifying Security Protocols: An ASM Approach. - Dominik Haneberg; Holger Grandy; Wolfgang Reif; Gerhard Schellhorn (Abstract State Machines, 2005)

Object Oriented Verification Kernels for Secure Java Applications. - Holger Grandy; Kurt Stenzel; Wolfgang Reif (SEFM, 2005)

Developing Provable Secure M-Commerce Applications. - Holger Grandy; Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (ETRICS, 2006)

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. - Gerhard Schellhorn; Holger Grandy; Dominik Haneberg; Wolfgang Reif (FM, 2006)

A Refinement Method for Java Programs. - Holger Grandy; Kurt Stenzel; Wolfgang Reif (FMOODS, 2007)

Verifying Smart Card Applications: An ASM Approach. - Dominik Haneberg; Holger Grandy; Wolfgang Reif; Gerhard Schellhorn (IFM, 2007)

ASN1-light: A Verified Message Encoding for Security Protocols. - Holger Grandy; Robert Bertossi; Kurt Stenzel; Wolfgang Reif (SEFM, 2007)

Verification of Java Programs with Generics. - Kurt Stenzel; Holger Grandy; Wolfgang Reif (AMAST, 2008)

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. - Holger Grandy; Markus Bischof; Kurt Stenzel; Gerhard Schellhorn; Wolfgang Reif (FM, 2008)

Verification of Mondex electronic purses with KIV: from transactions to a security protocol. - Dominik Haneberg; Gerhard Schellhorn; Holger Grandy; Wolfgang Reif (Formal Aspects Comput., 2008)

Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen. - Holger Grandy (2008)

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. - Nina Moebius; Kurt Stenzel; Holger Grandy; Wolfgang Reif (ARES, 2009)

Model-Driven Code Generation for Secure Smart Card Applications. - Nina Moebius; Kurt Stenzel; Holger Grandy; Wolfgang Reif (Australian Software Engineering Conference, 2009)

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. - Gerhard Schellhorn; Holger Grandy; Dominik Haneberg; Nina Moebius; Wolfgang Reif (Rigorous Methods for Software Construction and Analysis, 2009)

Specification based testing of automotive human machine interfaces. - Holger Grandy; Sebastian Benz (GI Jahrestagung, 2009)