Dr.-Ing. Andreas Morgenstern

was member of the group
from 02/2004 to 12/2013
left for
Fraunhofer IESE
research interests
verification of reactive systems program synthesis from temporal logic specifications runtime verification
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik