Dominik Haneberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2011
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | GI | Simulating a Flash File System with CoreASM and Eclipse. | Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst |
| 2009 | FM | Abstract Specification of the UBIFS File System for Flash Memory. | Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
| 2007 | ICSEA | A Modeling Framework for the Development of Provably Secure E-Commerce Applications. | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |
| 2007 | IFM | Verifying Smart Card Applications: An ASM Approach. | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
| 2006 | FM | The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
| 2004 | FORTE | A Construction Kit for Modeling the Security of M-commerce Applications. | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
| 2003 | GI | Design for Trust: Security im M-Commerce. | Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel |