Holger Grandy

15 papers B 6Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2009 — conf
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.
Rigorous Methods for Software Construction and Analysis
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif
2009 — conf
Model-Driven Code Generation for Secure Smart Card Applications.
Australian Software Engineering Conference
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
2009 B conf
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications.
ARES
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
2009 — conf
Specification based testing of automotive human machine interfaces.
GI Jahrestagung
Holger Grandy, Sebastian Benz
2008 — —
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen.
Holger Grandy
2008 — conf
Verification of Java Programs with Generics.
AMAST
Kurt Stenzel, Holger Grandy, Wolfgang Reif
2008 B conf
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
FM
Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif
2008 J jnl
Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
Formal Aspects Comput.
Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif
2007 — conf
A Refinement Method for Java Programs.
FMOODS
Holger Grandy, Kurt Stenzel, Wolfgang Reif
2007 B conf
ASN1-light: A Verified Message Encoding for Security Protocols.
SEFM
Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif
2007 B conf
Verifying Smart Card Applications: An ASM Approach.
IFM
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
2006 — conf
Developing Provable Secure M-Commerce Applications.
ETRICS
Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2006 B conf
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.
FM
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
2005 B conf
Object Oriented Verification Kernels for Secure Java Applications.
SEFM
Holger Grandy, Kurt Stenzel, Wolfgang Reif
2005 — conf
Verifying Security Protocols: An ASM Approach.
Abstract State Machines
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn