Research visits
Steering committee member
Conference/Workshops GandALF'11 (member of PC) VAST'11 (member of PC) SOFSEM'11 (member of PC) ICST'11 (member of PC) RV'10 (member of PC) TIME'10 (invited speaker) HiBi'10 (member of PC) ICTAC'10 (member of PC) Dagstuhl seminar: Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 2010 (organizer, with Klaus Havelund (NASA), Martin Sachenbacher (TUM), Oleg Sokolsky (UPENN), Brian Williams (MIT)) MEMICS'09 (member of PC) PDMC'09 (member of PC) ICTAC'09 (PC Chair with Carroll Morgan) GBPMI'09 (member of PC) JASS'09 (course on Automatic Verification Techniques) (CANCELED) FoMSESS'09 (invited speaker) HiBi'09 (member of PC) CSR'09 (member of PC) RV'09 (member of PC) ICTAC'08 (member of PC) MEMICS'08 (member of PC) ETAPS'08 (Tutorial on Learning meets Verification) Dagstuhl seminar: Verification and Grid Computing 2008 (organizer, with Henri Bal and Lubos Brim) RV'08 (organizer) Doktoranden-Symposium Modellierung'08 (member of PC) FLACOS'07 (invited participant) PDMC'07 (member of PC) FMICS'07 (member of PC) RV'07 (member of PC) FMCO'06 (Tutorial on Learning meets Verification) Advances in Timed Systems (Invited Talk) FMICS'06 (Co-Chair with Lubos Brim) PDMC'05 (Co-Chair with Jaco van de Pol) CfP: Special Issue on PDMC(ps, pdf) SEFM'04 (Tutorial on Model-based testing) PDMC'04 (Co-Chair with Lubos Brim) FMICS'04 (member of PC) Seminar: Model-based Testing of Reactive Systems (Coordinator) CoLoPS'03 (member of OC) PDMC'03 (member of PC) FMICS'03 (member of PC)
Links homepage
