Chinese
English
Research Fellow/Professor  |  Chen, Yu-Fang  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
others
Personal (New window)
 
 
 
 
 
Publications
 
1. Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, "AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs," The 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025), May 2025.
2. Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, "AutoQ: An Automata-based Quantum Circuit Verifier," The 35th International Conference on Computer Aided Verification (CAV 2023), July 2023.
3. Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen, "An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits," The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023), June 2023.
4. Y.-F. Chen, H.-C. Chung, W.-C. Hung, M.-H. Tsai, B.-Y. Wang, and F. Wang, "Synthesize Models for Quantitative Analysis using Automata Learning," Networked Systems (NETYS 2019), June 2019.
5. Y. Li, X. Sun, A. Turrini, Y.-F. Chen, J. Xu, "ROLL 1.0: Omega-Regular Language Learning Library," Tools and Algorithms for Construction and Analysis of Systems (TACAS 2019), April 2019.
6. P. A. Abdulla, M. F. Atig, Y.-F. Chen, B. P. Diep, L. Holík, A. Rezine, P. Rümmer, "Trau: SMT Solver for String Constraints," Formal Methods in Computer Aided Design (FMCAD 2018), October 2018.
7. Y.-F. Chen, M. Heizmann, O. Lengal, Y. Li, M.-H. Tsai, A. Turrini, L. Zhang, "Advanced Automata-based Algorithms for Program Termination Checking," Programming Language Design and Implementation (PLDI 2018), June 2018.
8. M. Heizmann, Y.-F. Chen, D. Dietsch, M. Greitschus, J. Hoenicke, Y. Li, A. Nutz, B. Musa, C. Schilling, T. Schindler, and A. Podelski, "Ultimate Automizer and the Search for Perfect Interpolants," Tools and Algorithms for Construction and Analysis of Systems (TACAS 2018), April 2018.
9. Y-F. Chen, C.-D. Hong, P. Rümmer, A. Lin, "Learning to Prove Safety over Parameterised Concurrent Systems," Formal Methods in Computer-Aided Design (FMCAD 2017), October 2017.
10. Y.-F. Chen, O. Lengál, T. Tan, Z. Wu, "Register Automata with Linear Arithmetic," Logic in Computer Science (LICS 2017), June 2017.
11. P. A. Abdulla, M. F. Atig, Y.-F. Chen, B. P. Diep, L. Holík, A. Rezine, P. Rümmer, "Flatten and Conquer: a Framework for Efficient Analysis of String Constraints," Programming Language Design and Implementation (PLDI 2017), June 2017.
12. Y.-F. Chen, C.-D. Hong, O. Lengal, S.-C. Mu, N. Sinha, B.-Y. Wang, "An Executable Sequential Specification for Spark Aggregation," Networked Systems (NETYS 2017), May 2017.
13. Y. Li, Y.-F. Chen, L. Zhang, D. Liu, "A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), April 2017.
14. F. Yu, C.-Y. Shueh, C.-H. Lin, Y.-F. Chen, B.-Y. Wang and T. Bultan, "Optimal Sanitization Synthesis for Web Application Vulnerability Repair," Software Testing and Analysis (ISSTA 2016), July 2016.
15. Y.-F. Chen, L. Song, Z. Wu, "The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach," Computer Aided Verification (CAV 2016), July 2016.
16. Y.-F. Chen, C. Hsieh, O. Lengál, T.-J. Lii, M.-H. Tsai, B.-Y. Wang, F. Wang, "PAC Learning-based Verification and Model Synthesis," International Conference on Software Engineering (ICSE 2016), May 2016.
17. P. A. Abdulla, M. F. Atig, Y.-F. Chen, L. Holík, A. Rezine, P. Rümmer, J. Stenman, "Norn: a Solver for String Constraints," Computer Aided Verification (CAV 2015), July 2015.
18. Y.-F. Chen, C.-D. Hong, B.-Y. Wang, and L. Zhang, "Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation," Computer Aided Verification (CAV 2015), July 2015.
19. Y.-F. Chen, C. Hsieh, M.-H. Tsai, B.-Y. Wang, and F. Wang, "CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), April 2015.
20. Y.-F. Chen, C.-D. Hong, N. Sinha, and B.-Y. Wang, "Commutativity of Reducers," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), April 2015.
21. Y.-F. Chen, B.-Y. Wang and K.-C. Yang, "Learning Summaries of Recursive Functions," Asia-Pacific Software Engineering Conference (APSEC 2014), December 2014.
22. 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," ACM Conference on Computer and Communications Security (CCS 2014), November 2014.
23. Y.-F. Chen, C. Hsieh, M.-H. Tsai, B.-Y. Wang, and F. Wang, "Verifying Recursive Programs using Intraprocedural Analyzers," Static Analysis Symposium (SAS 2014), September 2014.
24. P. A. Abdulla, M. F. Atig, Y.-. Chen, L. Holik, A. Rezine, P. Reummer and J. Stenman, "String Constraints for Verification," International Conference on Computer Aided Verification (CAV 2014), August 2014.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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
31. 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
32. 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.
33. Y.-F. Chen, E.M. Clarke, A. Farzan, F. He, M.-H. Tsai, Y.-K. Tsay, B.-Y. Wang, and L. Zhu, "Comparing learning algorithms in automated assume-guarantee reasoning," Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA), Lecture Notes in Computer Science, 6415, Springer, pages 643-657, October 2010.
34. 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.
35. 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.
36. 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.
37. Y.-F. Chen, E.M. Clarke, A. Farzan, M.-H. Tsai, Y.-K. Tsay, and B.-Y. Wang, "Automated assume-guarantee reasoning through implicit learning," Proceedings of the 22nd International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science, 6174, Springer, pages 511-526, July 2010.
38. 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.
39. "Proceedings 12th International Workshop on Verification of Infinite-State Systems," Yu-Fang Chen and Ahmed Rezine, editor, 2010.
40. 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.
41. 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.
42. 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.
43. 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 Büchi automata and linear temporal logic," Formal Aspects of Computing, volume 21, number 3, pages 259-275, February 2009.
44. 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.
45. 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.
46. 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.
47. Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, and W.-C. Chan, "GOAL: A graphical tool for manipulating Büchi automata and temporal formulae," Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science, 4424, Springer, pages 466-471, March 2007.
 
 
bg