Dominik Haneberg

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 1

Top Venues

VSTTE

Int. J. Softw. Tools Technol. Transf.

J. Syst. Softw.

SSV

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Jan-Philipp Steghöfer, Håkan Burden, Hiva Alahyari, Dominik Haneberg
No silver brick: Opportunities and limitations of teaching Scrum with Lego workshops. J. Syst. Softw. 131 (2017)
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
KIV: overview and VerifyThis competition. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
Development of a Verified Flash File System. ABZ (2014)
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
Verification of a Virtual Filesystem Switch. VSTTE (2013)
Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
Formal Specification of an Erase Block Management Layer for Flash Memory. Haifa Verification Conference (2013)
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
A Formal Model of a Virtual Filesystem Switch SSV (2012)
Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Softw. Informatics 5 (1-2) (2011)
Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst
Simulating a Flash File System with CoreASM and Eclipse. GI-Jahrestagung (2011)
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)
Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
Abstract Specification of the UBIFS File System for Flash Memory. FM (2009)
Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Aspects Comput. 20 (1) (2008)
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
Verifying Smart Card Applications: An ASM Approach. IFM (2007)
Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ICSEA (2007)
Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
Developing Provable Secure M-Commerce Applications. ETRICS (2006)
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. FM (2006)
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
Verifying Security Protocols: An ASM Approach. Abstract State Machines (2005)
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops (2004)
Dominik Haneberg, Kurt Stenzel, Wolfgang Reif
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. Workshop Mobile Commerce (2004)
Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
Special Issue on Tools for System Design and Verification. J. Univers. Comput. Sci. 9 (2) (2003)
Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
Design for Trust: Security im M-Commerce. GI Jahrestagung (1) (2003)
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
A Method for Secure Smartcard Applications. AMAST (2002)

Dominik Haneberg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominik Haneberg