Dominik Haneberg

KIV: overview and VerifyThis competition

Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn et al. · International Journal on Software Tools for Technology Transfer · 2014 · 59 citations

Trustworthy Computing, Engineering, Mechanical Verification +9

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

Jan-Philipp Steghöfer, Håkan Burden, Hiva Alahyari et al. · Journal of Systems and Software · 2017 · 44 citations · Full text

Teacher Education, Stem Education, Lego Workshops +7

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

Dominik Haneberg, Gerhard Schellhorn, Holger Grandy et al. · Formal Aspects of Computing · 2007 · 31 citations · Full text

The user interface of the KIV verification system: a system description

Dominik Haneberg, Simon Bäumler, Michael Balser et al. · 2005 · 14 citations

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

Nina Moebius, Dominik Haneberg, Wolfgang Reif et al. · 2007 · 13 citations

Engineering, Usable Security, Information Security +23