Hendrik Göttmann

M.Sc. Hendrik Göttmann

+49(0)6151 16-22395
fax +49(0)6151 16-22352

S3|06 320
Merckstr. 25
64283 Darmstadt

BITTE BEACHTEN SIE: Aufgrund der Coronavirus-Pandemie arbeite ich derzeit von zu Hause aus. Daher bin ich telefonisch nicht erreichbar, aber Sie können mir jederzeit eine E-Mail schicken.

Forschung

Publikationen

Eine Liste meine Publikationen finden Sie entweder hier oder unter DBLP.

Projekte

Lehre

Abgeschlossene Abschlussarbeiten

  • Nikolas Asimyadis: Statistisches Model-Checking von echtzeitfähigen Automaten für dynamische Software-Produktlinien. Masterarbeit, Betreuer: H. Göttmann, 2021.
  • Nicolas Gottwald: Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien. Bachelorarbeit, Betreuer: M. Lochau, H. Göttmann, 2020.
  • Frederic Jacob: Selbstkonfigurierende und kooperierende Agenten in einem Industrie-4.0-Kontext. Masterarbeit, Betreuer: H. Göttmann, L. Luthmann, 2020.
  • Isabelle Bacher: Bisimulations-Analyse von echtzeitkritischen Software-Produktlinien. Masterarbeit, Betreuer: L. Luthmann, H. Göttmann, 2020