Assistant Research Fellow  |  Chen, Yu-Fang       Publications   Journal Articles   1. Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, W.-C. Chan, C.-J. Luo, and J.-S. Chang, "Tool Support for Learning Buechi Automata and Linear Temporal Logic," Formal Aspects of Computing, volume 21, pages 259-275, 2009.     Conference Papers   1. Parosh Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukas Holik, Chih-Duo Hong, Richard Mayr, Tomas Vojnar, "Advanced Ramsey-based Buchi Automata Inclusion Testing," To Appear in The 22nd International Conference on Concurrency Theory,, CONCUR 2011 2. Y.-F. Chen, E. Clarke, A. Farzan, M.-H. Tsai, Y.-K. Tsay, and B.-Y. Wang, "Automated Assume-Guarantee Reasoning through Implicit Learning," 22nd International Conference on Computer Aided Verification (CAV 2010), Lecture Notes in Computer Science, July 2010. 3. P.A. Abdulla, Y.-F. Chen, L.o Clemente, L. Holik, C.-D. Hong, R. Mayr, and T. Vojnar, "Simulation Subsumption in Ramsey-based Buchi Automata Universality and Inclusion Testing," 22nd International Conference on Computer Aided Verification (CAV 2010), Lecture Notes in Computer Science, July 2010. 4. P.A. Abdulla, Y.-F. Chen, L. Holik, R. Mayr and T. Vojnar, "When Simulation Meets Antichain (on Language Inclusion Checking of NFA/TA) (Best Paper Award)," The 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), Lecture Notes in Computer Science, March 2010. 5. "Proceedings 12th International Workshop on Verification of Infinite-State Systems," Yu-Fang Chen and Ahmed Rezine, editor, 2010. 6. Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu, "Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.," 4th International Symposium on Leveraging Applications (ISoLA 2010), 2010. 7. Parosh Abdulla , Yu-Fang Chen, Giorgio Delzanno, Frederic Haziza, Chih-Duo Hong and Ahmed Rezine., "Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification," The 21st International Conference on Concurrency Theory (CONCUR 2010), Lecture Notes in Computer Science, 2010. 8. Y.-F. Chen, A. Farzan, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang, "Learning Minimal Separating DFA's for Compositional Verification," The 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), Lecture Notes in Computer Science, 5505, pages 31-45, 2009. 9. P.A. Abdulla, Y.-F. Chen, L. Holik, and T. Vojnar, "Mediating for Reduction (on Minimizing Alternating Buchi Automata)," The 29th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), 2009. 10. Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, W.-C. Chan, and C.-J. Luo, "GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic," The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), Lecture Notes in Computer Science, 4963, pages 346--350, 2008. 11. A. Farzan, Y.-F. Chen, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang, "Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages," The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), Lecture Notes in Computer Science, 4963, pages 2--17, 2008. 12. Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, and W.-C. Chan, "GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal Formulae," The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Lecture Notes in Computer Science, 4424, pages 466--471, 2007.