Holger Grandy

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

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

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: 93-110

Holger Grandy, Sebastian Benz: Specification based testing of automotive human machine interfaces. GI Jahrestagung 2009: 2720-2727

Holger Grandy: Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen. University of Augsburg 2008, isbn 978-3-8325-1972-8, pp. 1-290

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)

Kurt Stenzel, Holger Grandy, Wolfgang Reif: Verification of Java Programs with Generics. AMAST 2008: 315-329

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

Holger Grandy, Kurt Stenzel, Wolfgang Reif: A Refinement Method for Java Programs. FMOODS 2007: 221-235

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

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

Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel: Developing Provable Secure M-Commerce Applications. ETRICS 2006: 115-129

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

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

Holger Grandy, Kurt Stenzel, Wolfgang Reif: Object Oriented Verification Kernels for Secure Java Applications. SEFM 2005: 170-179