Jan-Philipp Stegh?fer, H?kan Burden, Hiva Alahyari and Dominik Haneberg. 2017. No silver brick: opportunities and limitations of teaching Scrum with Lego workshops. Journal of Systems and Software 131, 230-247. DOI: 10.1016/j.jss.2017.06.019
BibTeX | RIS | DOI

Gidon Ernst, J?rg Pf?hler, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2015. KIV: overview and VerifyThis competition. International Journal on Software Tools for Technology Transfer 17, 6, 677-694. DOI: 10.1007/s10009-014-0308-3
BibTeX | RIS | DOI

J?rg Pf?hler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2014. Crash-safe refinement for a verified flash file system. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2014-02. .
PDF | BibTeX | RIS

Gerhard Schellhorn, Gidon Ernst, J?rg Pf?hler, Dominik Haneberg and Wolfgang Reif. 2014. Development of a verified flash file system. Lecture Notes in Computer Science 8477, 9-24. DOI: 10.1007/978-3-662-43652-3_2
BibTeX | RIS | DOI

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J?rg Pf?hler and Wolfgang Reif. 2014. Verification of a virtual filesystem switch. Lecture Notes in Computer Science 8164, 242-261. DOI: 10.1007/978-3-642-54108-7_13
BibTeX | RIS | DOI

J?rg Pf?hler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2013. Formal specification of an erase block management layer for flash memory. Lecture Notes in Computer Science 8244, 214-229. DOI: 10.1007/978-3-319-03077-7_15
BibTeX | RIS | DOI

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J?rg Pf?hler and Wolfgang Reif. 2012. A formal model of a virtual filesystem switch. Electronic Proceedings in Theoretical Computer Science 102, 33-45. DOI: 10.4204/eptcs.102.5
BibTeX | RIS | DOI

Dominik Haneberg, Alwin Hoffmann, Hella Seebach, Michael Vistein and Wolfgang Reif. 2012. Towards model-based evolution for robot-based automation. In Modellierung in der Automatisierungstechnik (MAT 2012), Workshop im Rahmen der Modellierung 2012, Bamberg, Germany, March 15, 2012.
BibTeX | RIS

Wolfgang Reif, Dominik Haneberg, Nina Moebius, Gerhard Schellhorn and Kurt Stenzel. 2011. Mondex: engineering a provable secure electronic purse. International Journal of Software and Informatics 5, 1-2, 159-184.
BibTeX | RIS

Maximilian Junker, Dominik Haneberg, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst. 2011. Simulating a flash file system with CoreASM and Eclipse. In Hans-Ulrich Hei?, Peter Pepper, Holger Schlingloff and J?rg Schneider (Ed.). INFORMATIK 2011 – Informatik schafft Communities, Berlin, Deutschland, 4.-7. Oktober 2011. Gesellschaft für Informatik e.V., Bonn (GI-Edition : lecture notes in informatics : GI-Edition / Proceedings ; P-192), 355.
BibTeX | RIS | URL

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius and Wolfgang Reif. 2009. A systematic verification approach for Mondex electronic purses using ASMs. Lecture Notes in Computer Science 5115, 93-110. DOI: 10.1007/978-3-642-11447-2_7
BibTeX | RIS | DOI

Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2009. Abstract specification of the UBIFS file system for flash memory. Lecture Notes in Computer Science 5850, 190-206. DOI: 10.1007/978-3-642-05089-3_13
PDF | BibTeX | RIS | DOI

Dominik Haneberg. 2008. Electronic ticketing: risks in e-commerce applications. In P. J. J. Welfens and E. Walther-Klaus (Ed.). Digital Excellence: University Meets Economy. Springer, Berlin, 55-66. DOI: 10.1007/978-3-540-72621-0_5
BibTeX | RIS | DOI

Frank Ortmeier, Alwin Hoffmann, Ulrich Huggenberger, Wolfgang Reif, Dominik Haneberg, Gerhard Schellhorn and Christian Tarragona. 2008. Simulations-basierte Programmierung von Industrierobotern. In Internationales Forum Mechatronik 2008, Stuttgart, Deutschland, 22-23.09.2008.
PDF | BibTeX | RIS | URL

Dominik Haneberg, Gerhard Schellhorn, Holger Grandy and Wolfgang Reif. 2008. Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Aspects of Computing 20, 1, 41-59. DOI: 10.1007/s00165-007-0057-0
BibTeX | RIS | DOI

Nina Moebius, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2007. A modeling framework for the development of Provably Secure E-Commerce applications. In Sergiu Dascalu, Petre Dini, Sandro Morasca, Tadashi Ohta and Andre Oboler (Ed.). International Conference on Software Engineering Advances (ICSEA 2007), 25-31 Aug. 2007, Cap Esterel, France. IEEE, Piscataway, NJ, 8. DOI: 10.1109/icsea.2007.7
BibTeX | RIS | DOI

Dominik Haneberg. 2007. Sicherheit von Smart-Card-Anwendungen. Dissertation, Universit?t Augsburg. Logos-Verlag, Berlin.
BibTeX | RIS

Dominik Haneberg, Holger Grandy, Wolfgang Reif and Gerhard Schellhorn. 2007. Verifying smart card applications: an ASM approach. Lecture Notes in Computer Science 4591, 313-332. DOI: 10.1007/978-3-540-73210-5_17
BibTeX | RIS | DOI

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius and Wolfgang Reif. 2006. A systematic verification approach for Mondex electronic purses using ASMs. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2006-27. Universit?t Augsburg, Augsburg.
PDF | BibTeX | RIS

Holger Grandy, Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2006. Developing provable secure M-commerce applications. Lecture Notes in Computer Science 3995, 115-129. DOI: 10.1007/11766155_9
BibTeX | RIS | DOI

Holger Grandy, Nina Moebius, Markus Bischof, Dominik Haneberg, Gerhard Schellhorn, Kurt Stenzel and Wolfgang Reif. 2006. The Mondex case study: from specifications to code. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2006-31. .
PDF | BibTeX | RIS

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The Mondex challenge: machine checked proofs for an electronic purse. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2006-02. .
PDF | BibTeX | RIS

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The mondex challenge: machine checked proofs for an electronic purse. Lecture Notes in Computer Science 4085, 16-31. DOI: 10.1007/11813040_2
BibTeX | RIS | DOI

Dominik Haneberg, Gerhard Schellhorn, Holger Grandy and Wolfgang Reif. 2006. Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2006-32. .
PDF | BibTeX | RIS

Dominik Haneberg, Holger Grandy, Wolfgang Reif and Gerhard Schellhorn. 2006. Verifying smart card applications: an ASM approach. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2006-08. .
PDF | BibTeX | RIS

Dominik Haneberg, Simon B?umler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt and Kurt Stenzel. 2005. The user interface of the KIV verification system: a system description. In Public transport 2020 - making the connection: people, environment, business; 56th UITP world congress, Rome, 5 - 9 June 2005; proceedings of the User Interfaces for Theorem Provers Workshop (UITP 2005). UITP, Brussels
BibTeX | RIS

Dominik Haneberg, H. Grandy, Wolfgang Reif and Gerhard Schellhorn. 2005. Verifying security protocols: an ASM approach. In D. Beauquier, E. B?rger, A. Slissenko (Eds.). Proceedings of the 12th International Workshop on Abstract State Machines (ASM 2005), University Paris 12 - Val de Marne, Créteil, France, Marech 2005.
BibTeX | RIS

Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2004. A construction kit for modeling the security of M-Commerce applications. Lecture Notes in Computer Science 3236, 72-85. DOI: 10.1007/978-3-540-30233-9_6
BibTeX | RIS | DOI

Mathias Drton, Friedrich Pukelsheim, Günter H?gele, Dominik Haneberg and Wolfgang Reif. 2004. A rediscovered Llull tract and the Augsburg web edition of Llull's electoral writings. Le Médiéviste et l'ordinateur 43, .
PDF | BibTeX | RIS | URL

Dominik Haneberg, Kurt Stenzel and Wolfgang Reif. 2004. Electronic-onboard-ticketing: software challenges of an state-of-the-art M-Commerce application. In Key Pousttchi and Klaus Turowski (Ed.). Mobile Economy - Transaktionen, Prozesse, Anwendungen und Dienste: Proceedings zum 4. Workshop Mobile Commerce, Universit?t Augsburg 2.-3. Februar 2004. Gesellschaft für Informatik e.V., Bonn (GI-Edition : Proceedings ; 42), 103-113.
BibTeX | RIS

Mathias Drton, Günter H?gele, Dominik Haneberg, Friedrich Pukelsheim and Wolfgang Reif. 2004. Ramon Llulls Traktate zu Wahlverfahren: Ziele und Realisierung einer Internet-Edition. In Klaus von Eickels, Ruth Weichselbaumer and Ingrid Bennewitz (Ed.). Mediaevistik und Neue Medien [27 Beitr?ge vom Kolloquium "Medi?vistik und Neue Medien", das am 7. und 8. Dezember 2001 in Bamberg abgehalten wurde ; CD mit Demonstrationsdateien zu den Projekten]. Thorbecke, Ostfildern, 131-140.
PDF | BibTeX | RIS

Dominik Haneberg, Alexander Kreibich, Wolfgang Reif and Kurt Stenzel. 2003. Design for trust: security im M-Commerce. In Klaus P. Jantke, Wolfgang S. Wittig and J?rg Herrmann (Ed.). Von e-Learning bis e-Payment 2003: das Internet als sicherer Marktplatz. Tagungsband LIT '03. Akademische Verlagsgesellschaft, Aka, Berlin, 204-208.
BibTeX | RIS

Dominik Haneberg, Alexander Kreibich, Wolfgang Reif and Kurt Stenzel. 2003. Design for trust: security im M-Commerce. In K. Dittrich, W. K?nig, A. Oberweis, K. Rannenberg and W. Wahlster (Ed.). INFORMATIK 2003 - Innovative Informatikanwendungen: Band 1, Beitr?ge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September - 2. Oktober 2003 in Frankfurt am Main. Gesellschaft für Informatik, Bonn (GI-Edition : Proceedings ; 34) (Beitr?ge der Jahrestagung der Gesellschaft für Informatik ; 33) (Lecture Notes in Informatics ; P-34), 91-94.
BibTeX | RIS | URL

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2003. J.UCS Special Issue on Tools for System Design and Verification. Journal of Universal Computer Science 9, 2, 86-87.
PDF | BibTeX | RIS | URL

Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2002. A method for secure smartcard applications. Lecture Notes in Computer Science 2422, 319-333. DOI: 10.1007/3-540-45719-4_22
BibTeX | RIS | DOI

Dominik Haneberg. 2002. Electronic ticketing: a smartcard application case-study. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2002-16. .
PDF | BibTeX | RIS

Mathias Drton, Friedrich Pukelsheim, Günter H?gele, Dominik Haneberg and Wolfgang Reif. 2001. A rediscovered Llull tract and the Augsburg web edition of Llull's electoral writings. Institut für Mathematik, Universit?t Augsburg, Augsburg
PDF | BibTeX | RIS

Dominik Haneberg. 2001. electronic Ticketing - a Case-Study. Reports / Technische Berichte der Fakult?t für Angewandte Informatik der Universit?t Augsburg 2001-09. .
PDF | BibTeX | RIS