Search: (more)
Header

Dr.-Ing. Andreas Morgenstern

email
morgenstern (at) cs.uni-kl.de
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