Search: (more)
Header

M.Sc. Yu Bai

email
bai (at) cs.uni-kl.de
was member of the group
12/2010 - 12/2015
left for
Berner and Mattner Systemtechnik, Berlin
research interests
verification of reactive systems
desynchronization of synchronous systems
runtime monitoring and runtime verification
publications
all | authored | edited/supervised | talks