中文版
English
研究員  |  陳郁方  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
others
Personal (New window)
 
 
 
 
 
Invited Talks
 
  1. The Commutativity Problem of MapReduce programs , Uppsala, Sweden, The 3rd Workshop on Theory and Applications of Graphs as Models (GaM) 2017, co-located with ETAPS 2017 (2017/04/23)
  2. The Commutativity Problem of MapReduce programs, Singapore, Institute for Mathematical Sciences Workshop (2016/09/01)
  3. The Commutativity Problem of MapReduce programs, Canada, Toroto, The 9th Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), co-located with CAV 2016 (2016/07/17)
  4. Learning Minimal Separating DFA's with Applications in Compositional Verification, Uppsala, Sweden, Uppsala University (Prof. Parosh Abdulla) (2011/05/08)
  5. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Taipei, Taiwan, National Cheng-Chi University (CS dept, Prof. 陳正佳) (2010/10/21)
  6. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Paris, France, LIAFA, Paris 7 (Prof. Ahmed Bouajjani) (2010/09/07)
  7. Learning Minimal Separating DFA's with Applications in Compositional Verification, Paris, France, LIAFA, Paris 7 (Prof. Ahmed Bouajjani) (2010/09/06)
  8. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Liverpool, UK, University Liverpool (Prof. Sven Schewe) (2010/07/13)
  9. An Introduction to Software Verification, Taipei, Taiwan, National Taiwan University (IM dept, Prof. 陳建錦) (2010/05/13)
  10. Efficient Language Inclusion Testing of Automata using Simulation Subsumption, Taipei, Taiwan, National Taiwan University (EE dept, EDA group, Prof. 江介宏) (2010/05/10)
  11. When Simulation Meets Antichains (on Checking Language Inclusion of NFA), Uppsala, Sweden, Uppsala University (Prof. Parosh Abdulla) (2010/03/18)
  12. When Simulation Meets Antichains (on Checking Language Inclusion of NFA), Taipei, Taiwan, National Taiwan University (EE dept, CS group, Prof. 王凡) (2009/12/28)
  13. 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