Chinese
English
Assistant Research Fellow  |  Chen, Yu-Fang  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
Personal (New window)
 
 
 
 
 
Publications
 
1. Yu-Fang Chen and Bow-Yaw Wang, "BULL: a Library for Learning Algorithms of Boolean Functions," The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Lecture Notes in Computer Science, March 2013.
2. Parosh Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine, "Memorax: Fence Inference under the TSO Memory Model," The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Lecture Notes in Computer Science, March 2013.
3. Parosh Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine, "Automatic Fence Insertion in Integer Programs via Predicate Abstraction," The 19th International Static Analysis Symposium (SAS 2012), Lecture Notes in Computer Science, Springer, September 2012.
4. Yu-Fang Chen and Bow-Yaw Wang, "Learning Boolean Functions Incrementally," International Conference on Computer Aided Verification (CAV 2012), Lecture Notes in Computer Science, 7358, Madhusudan Parthasarathy and Sanjit A. Seshia, editor, Springer, pages 55-70, July 2012.
5. Parosh Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine, "Counter-Example Guided Fence Insertion under TSO," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Lecture Notes in Computer Science, 7214, March 2012.
6. Parosh Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukas Holik, Chih-Duo Hong, Richard Mayr, Tomas Vojnar, "Advanced Ramsey-based Buchi Automata Inclusion Testing," The 22nd International Conference on Concurrency Theory (CONCUR 2011), September 2011, CONCUR 2011
7. Parosh Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukas Holik, Chih-Duo Hong, Richard Mayr, Tomas Vojnar, "Advanced Ramsey-based Buchi Automata Inclusion Testing," The 22nd International Conference on Concurrency Theory (CONCUR 2011), September 2011, CONCUR 2011
8. 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), Lecture Notes in Computer Science, 6416, October 2010.
9. 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, 6269, September 2010.
10. Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, and Bow-Yaw Wang, "Automated Assume-Guarantee Reasoning through Implicit Learning," International Conference on Computer Aided Verification (CAV 2010), Lecture Notes in Computer Science, 6174, Tayssir Touili, Byron Cook and Paul Jackson, editors, Springer, pages 511-526, July 2010.
11. 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.
12. 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.
13. "Proceedings 12th International Workshop on Verification of Infinite-State Systems," Yu-Fang Chen and Ahmed Rezine, editor, 2010.
14. 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), December 2009.
15. 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, May 2009.
16. 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, March 2009.
17. 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, March 2008.
18. 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, March 2008.
19. 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, March 2007.
 
 
bg