Dominik Haneberg

According to our database, Dominik Haneberg authored at least 22 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

No silver brick: Opportunities and limitations of teaching Scrum with Lego workshops.

Jan-Philipp Steghöfer, Håkan Burden, Hiva Alahyari, Dominik Haneberg

J. Syst. Softw., 2017

2015

KIV: overview and VerifyThis competition.

Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif

Int. J. Softw. Tools Technol. Transf., 2015

2014

Development of a Verified Flash File System.

Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Verification of a Virtual Filesystem Switch.

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Formal Specification of an Erase Block Management Layer for Flash Memory.

Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

A Formal Model of a Virtual Filesystem Switch

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011

Mondex: Engineering a Provable Secure Electronic Purse.

Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

Int. J. Softw. Informatics, 2011

Simulating a Flash File System with CoreASM and Eclipse.

Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2009

Abstract Specification of the UBIFS File System for Flash Memory.

Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif

Proceedings of the FM 2009: Formal Methods, 2009

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Verification of Mondex electronic purses with KIV: from transactions to a security protocol.

Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif

Formal Aspects Comput., 2008

2007

Sicherheit von Smart-Card-Anwendungen.

Dominik Haneberg

PhD thesis, 2007

Verifying Smart Card Applications: An ASM Approach.

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

A Modeling Framework for the Development of Provably Secure E-Commerce Applications.

Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

2006

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif

Proceedings of the FM 2006: Formal Methods, 2006

Developing Provable Secure M-Commerce Applications.

Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel

Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005

Verifying Security Protocols: An ASM Approach.

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application.

Dominik Haneberg, Kurt Stenzel, Wolfgang Reif

Proceedings of the Mobile Economy, 2004

A Construction Kit for Modeling the Security of M-commerce Applications.

Dominik Haneberg, Wolfgang Reif, Kurt Stenzel

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Special Issue on Tools for System Design and Verification.

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn

J. Univers. Comput. Sci., 2003

Design for Trust: Security im M-Commerce.

Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2002

A Method for Secure Smartcard Applications.

Dominik Haneberg, Wolfgang Reif, Kurt Stenzel

Proceedings of the Algebraic Methodology and Software Technology, 2002