Dr. Dominik Haneberg

Akademischer Rat
Institut für Software & Systems Engineering
Telefon: +49 821 598 2178
Fax: +49 821 598 2175
E-Mail:
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 | Dozenten: Dominik Haneberg | Vorlesungsarten: alle)
Name Dozent Semester Typ
Oberseminar Software- und Systems Engineering Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg

Sommersemester 2020 Oberseminar
Modellbasierte Softwareentwicklung Knapp

Alexander Knapp,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung + Übung
Datenbanksysteme und moderne CPU-Architekturen Winter

Christian Winter,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung + Übung
Führungskompetenz Bauer

Bernhard Bauer,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung
Softwaretechnik für Eingebettete Systeme Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg,

Hoffmann

Alwin Hoffmann

Sommersemester 2020 Vorlesung
Übung zu Safety and Security Lenzen

Philip Lenzen,

Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg

Sommersemester 2020 Übung
Human-Computer Interaction Heimerl

Alexander Heimerl,

Mertes

Silvan Mertes,

Petrak

Björn Niclas Hendrik Petrak,

Weitz

Katharina Weitz,

Haneberg

Dominik Haneberg,

Andre

Elisabeth Andre

Sommersemester 2020 Vorlesung + Übung
Anleitung zu wissenschaftlichen Arbeiten Software- und Systems Engineering Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg

Sommersemester 2020 Arbeitsgemeinschaft
Modellierung, Spezifikation und Verifikation reaktiver Systeme Knapp

Alexander Knapp,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung + Übung
Safety and Security Lenzen

Philip Lenzen,

Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung
Ausgewählte Themen des Software Engineerings: Requirements Engineering Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung + Übung
Ausgewählte Themen des Software Engineerings: Testen Knapp

Alexander Knapp,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung + Übung
Konzepte Verteilter Systeme Bauer

Bernhard Bauer,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung + Übung
Modellbasierte Sicherheitsanalyse Lenzen

Philip Lenzen,

Reif

Wolfgang Reif,

Stüben

Matthias Stüben,

Haneberg

Dominik Haneberg

Sommersemester 2020 Vorlesung + Übung
Übung zu Softwaretechnik für Eingebettete Systeme Reif

Wolfgang Reif,

Haneberg

Dominik Haneberg,

Hoffmann

Alwin Hoffmann

Sommersemester 2020 Ü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