拉斯维加斯赌城

图片

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

  • 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 | 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

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.

拉斯维加斯赌城