A Method for Secure Smartcard Applications. - Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (AMAST, 2002)

Design for Trust: Security im M-Commerce. - Dominik Haneberg; Alexander Kreibich; Wolfgang Reif; Kurt Stenzel (GI Jahrestagung (1), 2003)

Special Issue on Tools for System Design and Verification. - Rudolf Berghammer; Dominik Haneberg; Wolfgang Reif; Gerhard Schellhorn (J. Univers. Comput. Sci., 2003)

A Construction Kit for Modeling the Security of M-commerce Applications. - Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (FORTE Workshops, 2004)

Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. - Dominik Haneberg; Kurt Stenzel; Wolfgang Reif (Workshop Mobile Commerce, 2004)

Verifying Security Protocols: An ASM Approach. - Dominik Haneberg; Holger Grandy; Wolfgang Reif; Gerhard Schellhorn (Abstract State Machines, 2005)

Developing Provable Secure M-Commerce Applications. - Holger Grandy; Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (ETRICS, 2006)

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. - Gerhard Schellhorn; Holger Grandy; Dominik Haneberg; Wolfgang Reif (FM, 2006)

A Modeling Framework for the Development of Provably Secure E-Commerce Applications. - Nina Moebius; Dominik Haneberg; Wolfgang Reif; Gerhard Schellhorn (ICSEA, 2007)

Verifying Smart Card Applications: An ASM Approach. - Dominik Haneberg; Holger Grandy; Wolfgang Reif; Gerhard Schellhorn (IFM, 2007)

Sicherheit von Smart-Card-Anwendungen. - Dominik Haneberg (2007)

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)

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. - Gerhard Schellhorn; Holger Grandy; Dominik Haneberg; Nina Moebius; Wolfgang Reif (Rigorous Methods for Software Construction and Analysis, 2009)

Abstract Specification of the UBIFS File System for Flash Memory. - Andreas Schierl; Gerhard Schellhorn; Dominik Haneberg; Wolfgang Reif (FM, 2009)

Simulating a Flash File System with CoreASM and Eclipse. - Dominik Haneberg; Maximilian Junker; Gerhard Schellhorn; Wolfgang Reif; Gidon Ernst (GI-Jahrestagung, 2011)

Mondex: Engineering a Provable Secure Electronic Purse. - Dominik Haneberg; Nina Moebius; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (Int. J. Softw. Informatics, 2011)

A Formal Model of a Virtual Filesystem Switch - Gidon Ernst; Gerhard Schellhorn; Dominik Haneberg; Jörg Pfähler; Wolfgang Reif (SSV, 2012)

Formal Specification of an Erase Block Management Layer for Flash Memory. - Jörg Pfähler; Gidon Ernst; Gerhard Schellhorn; Dominik Haneberg; Wolfgang Reif (Haifa Verification Conference, 2013)

Verification of a Virtual Filesystem Switch. - Gidon Ernst; Gerhard Schellhorn; Dominik Haneberg; Jörg Pfähler; Wolfgang Reif (VSTTE, 2013)

Development of a Verified Flash File System. - Gerhard Schellhorn; Gidon Ernst; Jörg Pfähler; Dominik Haneberg; Wolfgang Reif (ABZ, 2014)

KIV: overview and VerifyThis competition. - Gidon Ernst; Jörg Pfähler; Gerhard Schellhorn; Dominik Haneberg; Wolfgang Reif (Int. J. Softw. Tools Technol. Transf., 2015)

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)

Eine REIFe Leistung - Anecdotes from Behind the Scenes. - Gidon Ernst; Dominik Haneberg; Matthias Güdemann; Oliver Kosak; Florian Nafz; Hella Ponsar; Gerhard Schellhorn (Go Where the Bugs Are, 2025)

A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif. - Dominik Haneberg; Alexander Knapp; Oliver Kosak; Florian Nafz; Hella Ponsar; Gerhard Schellhorn; Martin Wirsing (Go Where the Bugs Are, 2025)