
Associate Research Fellow  Chen, YuFang 





Publications 

1. 
Parosh Aziz Abdulla, Mohamed Faouzi Atig, YuFang Chen, Lukas Holik, Ahmed Rezine, Philipp Reummer and Jari Stenman, "String Constraints for Verification," to appear in International Conference on Computer Aided Verification (CAV 2014),. 
2. 
Y.F. Chen, C.H. Hsu, H.H. Lin, P. Schwabe, M.H. Tsai, B.Y. Wang, B.Y. Yang, and S.Y. Yang, "Verifying Curve25519 Software," Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS), ACM, pages 299309, November 2014. 
3. 
Y.F. Chen, C. Hsieh, M.H. Tsai, B.Y. Wang, and F. Wang, "Verifying Recursive Programs using Intraprocedural Analyzers," Proceedings of the 21st International Static Analysis Symposium (SAS), Lecture Notes in Computer Science, 8723, Springer, pages 118133, September 2014. 
4. 
YuFang Chen and BowYaw 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. 
5. 
Parosh Abdulla, Mohamed Faouzi Atig, YuFang 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. 
6. 
Parosh Abdulla, Mohamed Faouzi Atig, YuFang 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. 
7. 
YuFang Chen and BowYaw 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 5570, July 2012. 
8. 
Parosh Abdulla, Mohamed Faouzi Atig, YuFang Chen, Carl Leonardsson and Ahmed Rezine, "CounterExample 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. 
9. 
Parosh Abdulla, YuFang Chen, Lorenzo Clemente, Lukas Holik, ChihDuo Hong, Richard Mayr, Tomas Vojnar, "Advanced Ramseybased Buchi Automata Inclusion Testing," The 22nd International Conference on Concurrency Theory (CONCUR 2011), September 2011, CONCUR 2011 
10. 
YuFang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, MingHsien Tsai, YihKuen Tsay, BowYaw Wang, Lei Zhu, "Comparing Learning Algorithms in Automated AssumeGuarantee Reasoning.," 4th International Symposium on Leveraging Applications (ISoLA 2010), Lecture Notes in Computer Science, 6416, October 2010. 
11. 
Parosh Abdulla , YuFang Chen, Giorgio Delzanno, Frederic Haziza, ChihDuo 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. 
12. 
P.A. Abdulla, Y.F. Chen, L.o Clemente, L. Holik, C.D. Hong, R. Mayr, and T. Vojnar, "Simulation Subsumption in Ramseybased Buchi Automata Universality and Inclusion Testing," 22nd International Conference on Computer Aided Verification (CAV 2010), Lecture Notes in Computer Science, July 2010. 
13. 
YuFang Chen, Edmund M. Clarke, Azadeh Farzan, MingHsien Tsai, YihKuen Tsay, and BowYaw Wang, "Automated AssumeGuarantee 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 511526, July 2010. 
14. 
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. 
15. 
"Proceedings 12th International Workshop on Verification of InfiniteState Systems," YuFang Chen and Ahmed Rezine, editor, 2010. 
16. 
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. 
17. 
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 259275, May 2009. 
18. 
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 3145, March 2009. 
19. 
A. Farzan, Y.F. Chen, E.M. Clarke, Y.K. Tsay, and B.Y. Wang, "Extending Automated Compositional Verification to the Full Class of OmegaRegular 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 217, March 2008. 
20. 
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 346350, March 2008. 
21. 
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 466471, March 2007. 











