中文版
English
研究員  |  陳郁方  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
others
Personal (New window)
 
 
 
 
 
Publications
 
1. Yu-Fang Chen, Hsiao-Chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, and Farn Wang, "Synthesize Models for Quantitative Analysis using Automata Learning," International Conference On Networked Systems, June 2019.
2. Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu, "ROLL 1.0: omega -Regular Language Learning Library," Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science, 11427, April 2019.
3. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer, "Trau: SMT solver for string constraints," Formal Methods in Computer Aided Design (FMCAD), October 2018.
4. Yu-Fang Chen, Matthias Heizmann, Ondrej Lengal, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang, "Advanced Automata-based Algorithms for Program Termination Checking," ACM-SIGPLAN Symposium on Programming Language Design and Implementation, June 2018.
5. Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, and Andreas Podelski, "Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution)," Tools and Algorithms for Construction and Analysis of Systems, Lecture Notes in Computer Science, April 2018.
6. Yu-Fang Chen, Chih-Duo Hong, Philipp Rümmer, Anthony Lin, "Learning to prove safety over parameterised concurrent systems," Formal Methods in Computer-Aided Design (FMCAD 2017), October 2017.
7. Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu, "Register automata with linear arithmetic," Logic in Computer Science (LICS 2017), June 2017.
8. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer, "Flatten and conquer: a framework for efficient analysis of string constraints," Programming Language Design and Implementation (PLDI 2017), June 2017.
9. Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengal, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang, "An Executable Sequential Specification for Spark Aggregation," Networked Systems (NETYS 2017), pages 421-438, May 2017.
10. Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng 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.
11. Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang and Tevfik Bultan, "Optimal Sanitization Synthesis for Web Application Vulnerability Repair," Software Testing and Analysis (ISSTA 2016), Andreas Zeller and Abhik Roychoudhury, editors, ACM, pages 189-200, July 2016.
12. Yu-Fang Chen, Lei Song, Zhilin Wu, "The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach," Computer Aided Verification (CAV 2016), July 2016.
13. Jonny Daenen, Frank Neven, Tony Tan, and Stijn Vansummeren, "Parallel Evaluation of Multi-Semi-Joins," The Proceedings of the VLDB Endowment (PVLDB 2016), volume 9, number 10, pages 732-743, June 2016.
14. Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang, "PAC learning-based verification and model synthesis," International Conference on Software Engineering (ICSE 2016), May 2016.
15. Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, and Lijun Zhang, "Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation," Computer Aided Verification (CAV 2015), July 2015.
16. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman, "Norn: a solver for string constraints," Computer Aided Verification (CAV 2015), July 2015.
17. Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, and Bow-Yaw Wang, "Commutativity of Reducers," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), April 2015.
18. Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, and Farn 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.
19. Yu-Fang Chen, Bow-Yaw Wang and Kai-Chun Yang, "Learning Summaries of Recursive Functions," Asia-Pacific Software Engineering Conference (APSEC 2014), December 2014.
20. Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, and Shang-Yi Yang, "Verifying Curve25519 Software," ACM Conference on Computer and Communications Security (CCS 2014), November 2014.
21. 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 118-133, September 2014.
22. Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, and Farn Wang, "Verifying Recursive Programs using Intraprocedural Analyzers," International Static Analysis Symposium, Lecture Notes in Computer Science, Markus Müller-Olm and Helmut Seidl, editor, Springer, September 2014.
23. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Reummer and Jari Stenman, "String Constraints for Verification," International Conference on Computer Aided Verification (CAV 2014), August 2014.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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
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. 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.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. "Proceedings 12th International Workshop on Verification of Infinite-State Systems," Yu-Fang Chen and Ahmed Rezine, editor, 2010.
39. 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.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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