50 Jahre Uni Lübeck

Dr. Hagen Voelzer

Forschung


Forschungsinteressen

  • Formale Methoden:

    Modellierung, Verifikation, Modellkontrolle, Modelle der Nebenläufigkeit, Petrinetze, Fairness, temporale Logik, Feinheit, Komposition

  • System Engeneering:

    Konfigurationsmanagement, Veränderungsmanagement, Verifikation und Validierung, Tests, Komponentenspezifikation

  • Verteilte Systeme:

    Fehlertoleranz, Konsistenz, Selbststabiliserung, Arbeitsflusssysteme, verteilte Algorithmen, Randomisierung, Semantik