Chinese
English
Associate Research Fellow  |  Chen, Yu-Fang  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
Personal (New window)
 
 
 
 
 
Invited Talks
 
  1. Learning Minimal Separating DFA's with Applications in Compositional Verification, Uppsala, Sweden, Uppsala University (Prof. Parosh Abdulla) (2011/05/08)
  2. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Taipei, Taiwan, National Cheng-Chi University (CS dept, Prof. 陳正佳) (2010/10/21)
  3. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Paris, France, LIAFA, Paris 7 (Prof. Ahmed Bouajjani) (2010/09/07)
  4. Learning Minimal Separating DFA's with Applications in Compositional Verification, Paris, France, LIAFA, Paris 7 (Prof. Ahmed Bouajjani) (2010/09/06)
  5. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Liverpool, UK, University Liverpool (Prof. Sven Schewe) (2010/07/13)
  6. An Introduction to Software Verification, Taipei, Taiwan, National Taiwan University (IM dept, Prof. 陳建錦) (2010/05/13)
  7. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Taipei, Taiwan, National Taiwan University (EE dept, EDA group, Prof. 江介宏) (2010/05/10)
  8. When Simulation Meets Antichains (on Checking Language Inclusion of NFA), Uppsala, Sweden, Uppsala University (Prof. Parosh Abdulla) (2010/03/18)
  9. When Simulation Meets Antichains (on Checking Language Inclusion of NFA), Taipei, Taiwan, National Taiwan University (EE dept, CS group, Prof. 王凡) (2009/12/28)
  10. Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages, Dortmund, Germany, Technische Universität Dortmund (Prof. Bernhard Steffen) (2009/05/22)
 
 
bg