Holger Grandy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2005–2009
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | GI | Specification based testing of automotive human machine interfaces. | Holger Grandy, Sebastian Benz |
| 2008 | FM | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
| 2007 | IFM | Verifying Smart Card Applications: An ASM Approach. | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
| 2007 | SEFM | ASN1-light: A Verified Message Encoding for Security Protocols. | Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif |
| 2006 | FM | The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
| 2005 | SEFM | Object Oriented Verification Kernels for Secure Java Applications. | Holger Grandy, Kurt Stenzel, Wolfgang Reif |