Dr. Dominik Haneberg

Senior Researcher
Institute for Software & Systems Engineering
Phone: +49 821 598 2178
Fax: +49 821 598 2175
Email: haneberg@informatik.uni-augsburg.de
Room: 3013 (N)
Address: Universitätsstraße 6a, 86159 Augsburg

Research Topics

  • Software quality
  • Software architecture
  • IT-security
  • Formal methods

Curriculum Vitae

Vita

1975 Born in Ulm
1981-1985 Grammar school in Blaustein
1985-1994 Hans- und Sophie Scholl-Gymnasium in Ulm
1994 Abitur
1994-1995 Civil service
1995-2000 Diploma studies in Informatics at the University of Ulm
2000 Graduated with diploma in Informatics
2000-2016 Reasearcher at Augsburg University
2006 Doctorate in Informatics
Seit 2016     Senior researcher at Augsburg University

 

Awards

  • Award of the Swabian Economy 2007 (IHK Schwaben)
  • Best Paper Award at Second International Conference on Software Engineering Advances 2007

Administration

  • Member of board of the faculty for Applied Informatics
  • Coordinator of the Master „Software Engineering“ (Elite Graduate Program)
  • Student counseling for study program „Computer Science in Engineering“
  • Admission commission for Master „Software Engineering“
  • Admission commission for Master „Computer Science in Engineering“
  • Examination board for Bachelor and Master „Computer Science in Engineering“
  • Several appointment committees

Courses

Current Term

(applied filters: semester: current | institute: Softwaretechnik | lecturers: Dominik Haneberg | course types: all)
name lecturer semester type
Human-Computer Interaction Petrak

Björn Niclas Hendrik Petrak,

Klein

Stina Klein,

Weitz

Katharina Weitz,

Haneberg

Dominik Haneberg,

André

Elisabeth André

summer semester 2023 Vorlesung + Übung
Seminar zu Internetsicherheit Bodenmüller

Stefan Bodenmüller,

Reif

Wolfgang Reif,

Schellhorn

Gerhard Schellhorn,

Haneberg

Dominik Haneberg

summer semester 2023 Seminar
Oberseminar Software- und Systems Engineering Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg

summer semester 2023 Oberseminar
Führungskompetenz Bauer

Bernhard Bauer,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung
Übung zu Softwaretechnik für Eingebettete Systeme Reif

Wolfgang Reif,

Hanke

Julian Hanke,

Haneberg

Dominik Haneberg

summer semester 2023 Übung
Anleitung zu wissenschaftlichen Arbeiten Software- und Systems Engineering Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg

summer semester 2023 Arbeitsgemeinschaft
Ausgewählte Themen des Software Engineerings: Requirements Engineering Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung + Übung
Ausgewählte Themen des Software Engineerings: Testen Knapp

Alexander Knapp,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung + Übung
Modellbasierte Sicherheitsanalyse Reif

Wolfgang Reif,

Stüben

Matthias Stüben,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung + Übung
Konzepte Verteilter Systeme Bauer

Bernhard Bauer,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung + Übung
Softwaretechnik für Eingebettete Systeme Reif

Wolfgang Reif,

Hanke

Julian Hanke,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung
Datenbanksysteme und moderne CPU-Architekturen Winter

Christian Winter,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung + Übung
Modellierung, Spezifikation und Verifikation reaktiver Systeme Knapp

Alexander Knapp,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung + Übung
Modellbasierte Softwareentwicklung Knapp

Alexander Knapp,

Haneberg

Dominik Haneberg

summer semester 2023 Vorlesung + Übung

Former Courses

  • Lecture on „Fomal Methods in Software Engineering“
  • Lecture on „Provably correct Software“
  • Lecture on „Advanced Software Engineering“
  • Lecture on „Introductory course Software Engineering“
  • Lecture on „Formal Methods“
  • Lecture on „Software Engineering“
  • Seminar on „Software- and Systems-Engineering (Bachelor)“
  • Seminar on „Software- and Systems-Engineering (Master)“
  • Seminar on „Foundations of Software- and Systems-Engineering“
  • Seminar on „Internet security“
  • Seminar on „Modern Construction Paradigms for innovative Software Systems“

Publications

2017 | 2015 | 2014 | 2013 | 2012 | 2011 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001

2017

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. DOI: 10.1016/j.jss.2017.06.019
BibTeX | RIS | DOI

2015

Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2015. KIV: overview and VerifyThis competition. DOI: 10.1007/s10009-014-0308-3
BibTeX | RIS | DOI

2014

Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2014. Crash-safe refinement for a verified flash file system.
PDF | BibTeX | RIS

Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg and Wolfgang Reif. 2014. Development of a verified flash file system. 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. DOI: 10.1007/978-3-642-54108-7_13
BibTeX | RIS | DOI

2013

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. DOI: 10.1007/978-3-319-03077-7_15
BibTeX | RIS | DOI

2012

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler and Wolfgang Reif. 2012. A formal model of a virtual filesystem switch. 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.
BibTeX | RIS

2011

Wolfgang Reif, Dominik Haneberg, Nina Moebius, Gerhard Schellhorn and Kurt Stenzel. 2011. Mondex: engineering a provable secure electronic purse.
BibTeX | RIS | URL

Maximilian Junker, Dominik Haneberg, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst. 2011. Simulating a flash file system with CoreASM and Eclipse.
BibTeX | RIS | URL

2009

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius and Wolfgang Reif. 2009. A systematic verification approach for Mondex electronic purses using ASMs. 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. DOI: 10.1007/978-3-642-05089-3_13
PDF | BibTeX | RIS | DOI

2008

Dominik Haneberg. 2008. Electronic ticketing: risks in e-commerce applications. 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.
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. DOI: 10.1007/s00165-007-0057-0
BibTeX | RIS | DOI

2007

Nina Moebius, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2007. A modeling framework for the development of Provably Secure E-Commerce applications. DOI: 10.1109/icsea.2007.7
BibTeX | RIS | DOI

Dominik Haneberg. 2007. Sicherheit von Smart-Card-Anwendungen.
BibTeX | RIS

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

2006

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius and Wolfgang Reif. 2006. A systematic verification approach for Mondex electronic purses using ASMs.
PDF | BibTeX | RIS

Holger Grandy, Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2006. Developing provable secure M-commerce applications. 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.
PDF | BibTeX | RIS

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The Mondex challenge: machine checked proofs for an electronic purse.
PDF | BibTeX | RIS

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The mondex challenge: machine checked proofs for an electronic purse. 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.
PDF | BibTeX | RIS

Dominik Haneberg, Holger Grandy, Wolfgang Reif and Gerhard Schellhorn. 2006. Verifying smart card applications: an ASM approach.
PDF | BibTeX | RIS

2005

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.
BibTeX | RIS

Dominik Haneberg, H. Grandy, Wolfgang Reif and Gerhard Schellhorn. 2005. Verifying security protocols: an ASM approach.
BibTeX | RIS

2004

Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2004. A construction kit for modeling the security of M-Commerce applications. 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.
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.
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.
PDF | BibTeX | RIS

2003

Dominik Haneberg, Alexander Kreibich, Wolfgang Reif and Kurt Stenzel. 2003. Design for trust: security im M-Commerce.
BibTeX | RIS

Dominik Haneberg, Alexander Kreibich, Wolfgang Reif and Kurt Stenzel. 2003. Design for trust: security im M-Commerce.
BibTeX | RIS | URL

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2003. J.UCS Special Issue on Tools for System Design and Verification.
PDF | BibTeX | RIS | URL

2002

Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2002. A method for secure smartcard applications. DOI: 10.1007/3-540-45719-4_22
BibTeX | RIS | DOI

Dominik Haneberg. 2002. Electronic ticketing: a smartcard application case-study.
PDF | BibTeX | RIS

2001

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.
PDF | BibTeX | RIS

Dominik Haneberg. 2001. electronic Ticketing - a Case-Study.
PDF | BibTeX | RIS

Institute for Software & Systems Engineering

The Institute for Software & Systems Engineering (ISSE), directed by Prof. Dr. Wolfgang Reif, is a scientific institution within the Faculty of Applied Computer Science of the University of Augsburg. In research, the institute supports both fundamental and application-oriented research in all areas of software and systems engineering. In teaching, the institute facilitates the further development of the faculty's and university's relevant course offerings.

Search