Michael Baer, M. Sc.

imageScientific Staff
Office hour:
    by arrangement, per E-Mail anmelden

projects

Automatic Detection of Race-Conditions
Director: Philippsen, M.
Coworker: Baer, M.
International Collegiate Programming Contest at the FAU
Director: Philippsen, M.
Coworker: Novac, D.; Baer, M.; Krainz, J.; Werth, T.

Lectures

WS 2019/2020

SS 2019

WS 2018/2019

SS 2018

WS 2017/2018

SS 2017

WS 2016/2017

SS 2016

WS 2015/2016

Supervised theses

Open theses

  1. Implementierung eines existierenden Verfahrens zum Program-Slicing für nebenläufige Software und Erstellung eines Benchmarks mit Wettlaufsitationen.[BT]
    Advisors: Baer, M.; Philippsen, M.
  2. Implementierung und Erweiterung eines Verfahrens zum Program-Slicing für nebenläufige Software.[MT]
    Advisors: Baer, M.; Philippsen, M.

Finished theses

  1. Stefan Kraus: Entwicklung eines Werkzeugs zur Bestimmung der Fehleraufdeckungsgüte von Testfällen beim Mutationstest mit Operatoren für nebenläufige Programme.[BT]
    Advisors: Oster, N.; Baer, M.; Philippsen, M.: submitted on June 12, 2017
  2. Benjamin Bösl: Konzeption und Umsetzung eines Werkzeugs für den Mutationstest mit spezialisierten Operatoren für Nebenläufigkeitsfehler.[SP]
    Advisors: Baer, M.; Oster, N.; Philippsen, M.: submitted on March 27, 2017
watermark seal