Dr. Dominik Haneberg
| Telefon: | +49 821 598 2178 |
| Fax: | +49 821 598 2175 |
| E-Mail: | haneberg@informatik.uni-augsburginformatik.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
- Vorlesung ?Softwaretechnik 2“
- Vorlesung ?Softwaretechnik für Eingebettete Systeme“
- 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 ?Robotik“
- Seminar ?Moderne Entwurfsmethoden für innovative Softwaresysteme“
Publikationen
|
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 |
|
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 |
|
2014 |
|
J?rg Pf?hler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2014. Crash-safe refinement for a verified flash file system. |
|
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 |
|
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 |
|
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 |
|
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 |
|
Dominik Haneberg, Alwin Hoffmann, Hella Seebach, Michael Vistein and Wolfgang Reif. 2012. Towards model-based evolution for robot-based automation. |