Dr. Dominik Haneberg

Akademischer Rat
Institut für Software & Systems Engineering
Telefon: +49 821 598 2178
Fax: +49 821 598 2175
E-Mail: haneberg@informatik.uni-augsburg.de
Raum: 3013 (N)
Adresse: Universitätsstraße 6a, 86159 Augsburg

Lebenslauf

Lebenslauf

1975 Geboren in Ulm
1981-1985 Ludwig-Uhland-Grundschule in Blaustein
1985-1994 Hans- und Sophie Scholl-Gymnasium in Ulm
1994 Abitur
1994-1995 Zivildienst
1995-2000 Studium der Informatik an der Universität Ulm
2000 Abschluß als Diplom-Informatiker
2000-2016 Wissenschaftlicher Mitarbeiter an der Universität Augsburg
2006 Promotion in Informatik
Seit 2016   Akademischer Rat

 

Auszeichnungen

  • Wissenschaftspreis der Schwäbischen Wirtschaft verliehen durch die IHK 2007
  • Best Paper Award auf der Second International Conference on Software Engineering Advances 2007

Universitäre Selbstverwaltung

  • Mitglied des Fakultätsrats der Fakultät für Angewandte Informatik
  • Fachstudienberater und Studiengangskoordinator Masterstudiengang Software Engineering
  • Studienberatung Ingenieurinformatik
  • Zulassungskommission Masterstudiengang Software Engineering
  • Zulassungskommission Masterstudiengang Ingenieurinformatik
  • Prüfungsausschuss Ingenieurinformatik
  • Verschiedene Berufungskommissionen
  • Ehem. Fachschaft Informatik an der Universität Ulm

Forschungsschwerpunkte

  • Softwarequalität
  • Softwarearchitektur
  • IT-Sicherheit
  • Formale Methoden

Lehrveranstaltungen

Aktuelles Semester

(Angewandte Filter: | Semester: aktuelles | Institution: Softwaretechnik | Lehrende: Dominik Haneberg | Typen: )
Name Dozent Semester Typ
Change-Prozesse in verschiedenen Arbeitskontexten Haneberg

Dominik Haneberg

WS 2019/20 sonstige
Oberseminar Software- und Systems Engineering Reif

Wolfgang Reif

Haneberg

Dominik Haneberg

WS 2019/20 Oberseminar
Präsentationstraining Haneberg

Dominik Haneberg

WS 2019/20 sonstige
Schreibtraining Haneberg

Dominik Haneberg

WS 2019/20 sonstige
Projektseminar "Bill Beam" Reif

Wolfgang Reif

Haneberg

Dominik Haneberg

WS 2019/20 Seminar
Anleitung zu wissenschaftlichen Arbeiten Software- und Systems Engineering Reif

Wolfgang Reif

Haneberg

Dominik Haneberg

WS 2019/20 Arbeitsgemeinschaft
Interkulturelle Kommunikation Haneberg

Dominik Haneberg

WS 2019/20 sonstige
Software Engineering Reif

Wolfgang Reif

Hanke

Julian Hanke

Haneberg

Dominik Haneberg

WS 2019/20 Vorlesung + Übung
Softwaretechnik 2 Reif

Wolfgang Reif

Haneberg

Dominik Haneberg

WS 2019/20 Vorlesung
Moderationstechniken Haneberg

Dominik Haneberg

WS 2019/20 sonstige
Erfolg im Team Haneberg

Dominik Haneberg

WS 2019/20 sonstige
Projektmanagement Haneberg

Dominik Haneberg

WS 2019/20 Vorlesung + Übung
Übung zu Softwaretechnik 2 Reif

Wolfgang Reif

Haneberg

Dominik Haneberg

WS 2019/20 Übung

Frühere Lehrveranstaltungen

  • Vorlesung „Fomale Methoden im Software Engineering“
  • Vorlesung „Beweisbar korrekte Software“
  • Vorlesung „Advanced Software Engineering“
  • Vorlesung „Angleichungskurs Softwaretechnik“
  • Vorlesung „Formale Methoden“
  • Vorlesung „Software Engineering“
  • Seminar „Software- und Systems-Engineering (Bachelor)“
  • Seminar „Software- und Systems-Engineering (Master)“
  • Seminar „Grundlage des Software- und Systems-Engineering“
  • Seminar „Internetsicherheit“
  • Seminar „Moderne Entwurfsmethoden für innovative Softwaresysteme“

Publikationen

Dominik Haneberg
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.
BibTeX | RIS | URL

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, Gerhard Schellhorn, Holger Grandy and Wolfgang Reif. 2007. Verification of Mondex electronic purses with KIV: from transactions to a security protocol. DOI: 10.1007/s00165-007-0057-0
BibTeX | RIS | DOI

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

2003

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

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

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2003. J.UCS Special Issue on Tools for System Design and Verification.
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. 2005. Electronic ticketing: a smartcard application case-study.
PDF | BibTeX | RIS

2001

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

Institut für Software & Systems Engineering

Das Institut für Software & Systems Engineering, geleitet von Prof. Dr. Wolfgang Reif, ist eine wissenschaftliche Einrichtung in der Fakultät für Angewandte Informatik an der Universität Augsburg. Das Institut unterstützt sowohl Grundlagen- als auch angewandte Forschung in allen Bereichen der Software & Systems Engineering. In der Lehre ermöglicht es die weitere Entwicklung des relevanten Kursangebots von Fakultät und Universität.

Suche