Im Kontext der Modellierung und der Verifikation beschäftige ich mich mit dem zeitlichen Verhalten von Systemen. Dabei liegt mein Fokus auf der formalen Verifikation von Echtzeit-Eigenschaften. Da für Fehler in eingebetteten Systemen häufig die Software verantwortlich ist, betrachte ich insbesondere auch das Echtzeitverhalten der Software über gegebenen Hardware.