|
|
| |
| |
| Invited Talks |
| |
- Learning Minimal Separating DFA's with Applications in Compositional Verification, Uppsala, Sweden, Uppsala University (Prof. Parosh Abdulla) (2011/05/08)
- Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Taipei, Taiwan, National Cheng-Chi University (CS dept, Prof. 陳正佳) (2010/10/21)
- Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Paris, France, LIAFA, Paris 7 (Prof. Ahmed Bouajjani) (2010/09/07)
- Learning Minimal Separating DFA's with Applications in Compositional Verification, Paris, France, LIAFA, Paris 7 (Prof. Ahmed Bouajjani) (2010/09/06)
- Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Liverpool, UK, University Liverpool (Prof. Sven Schewe) (2010/07/13)
- An Introduction to Software Verification, Taipei, Taiwan, National Taiwan University (IM dept, Prof. 陳建錦) (2010/05/13)
- Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Taipei, Taiwan, National Taiwan University (EE dept, EDA group, Prof. 江介宏) (2010/05/10)
- When Simulation Meets Antichains (on Checking Language Inclusion of NFA), Uppsala, Sweden, Uppsala University (Prof. Parosh Abdulla) (2010/03/18)
- When Simulation Meets Antichains (on Checking Language Inclusion of NFA), Taipei, Taiwan, National Taiwan University (EE dept, CS group, Prof. 王凡) (2009/12/28)
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages, Dortmund, Germany, Technische Universität Dortmund (Prof. Bernhard Steffen) (2009/05/22)
|
| |
|
|
|
|
|
 |
|
|
|
