Dominik Haneberg

24 papers B 3C 2Journal 5Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif.
Go Where the Bugs Are
Dominik Haneberg, Alexander Knapp, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn, Martin Wirsing
2025 — conf
Eine REIFe Leistung - Anecdotes from Behind the Scenes.
Go Where the Bugs Are
Gidon Ernst, Dominik Haneberg, Matthias Güdemann, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn
2017 J jnl
No silver brick: Opportunities and limitations of teaching Scrum with Lego workshops.
J. Syst. Softw.
Jan-Philipp Steghöfer, Håkan Burden, Hiva Alahyari, Dominik Haneberg
2015 J jnl
KIV: overview and VerifyThis competition.
Int. J. Softw. Tools Technol. Transf.
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
2014 C conf
Development of a Verified Flash File System.
ABZ
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
2013 — conf
Formal Specification of an Erase Block Management Layer for Flash Memory.
Haifa Verification Conference
Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
2013 — conf
Verification of a Virtual Filesystem Switch.
VSTTE
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
2012 — conf
A Formal Model of a Virtual Filesystem Switch
SSV
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
2011 J jnl
Mondex: Engineering a Provable Secure Electronic Purse.
Int. J. Softw. Informatics
Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
2011 — conf
Simulating a Flash File System with CoreASM and Eclipse.
GI-Jahrestagung
Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst
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 B conf
Abstract Specification of the UBIFS File System for Flash Memory.
FM
Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, 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 C conf
A Modeling Framework for the Development of Provably Secure E-Commerce Applications.
ICSEA
Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
2007 — —
Sicherheit von Smart-Card-Anwendungen.
Dominik Haneberg
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 — conf
Verifying Security Protocols: An ASM Approach.
Abstract State Machines
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
2004 — conf
A Construction Kit for Modeling the Security of M-commerce Applications.
FORTE Workshops
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2004 — conf
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application.
Workshop Mobile Commerce
Dominik Haneberg, Kurt Stenzel, Wolfgang Reif
2003 — conf
Design for Trust: Security im M-Commerce.
GI Jahrestagung (1)
Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
2003 J jnl
Special Issue on Tools for System Design and Verification.
J. Univers. Comput. Sci.
Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
2002 — conf
A Method for Secure Smartcard Applications.
AMAST
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel