Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi-Diep Bui, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukas Holik, Wei-Cheng Wu Efficient Handling of String-Number Conversion [preprint]
PLDI 2020

Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
Simulations in Rank-Based Büchi Automata Complementation. [preprint]
APLAS 2019

Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu
J-ReCoVer: Java Reducer Commutativity Verifier. [preprint]
APLAS 2019

Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
Synthesize Models for Quantitative Analysis Using Automata Learning. [preprint]
NETYS 2019

Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
ROLL 1.0: Omega-Regular Language Learning Library [preprint]
TACAS 2019

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 [preprint]
FMCAD 2018

Yu-Fang Chen, Matthias Heizmann, Ondrej Lengal, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
Advanced Automata-based Algorithms for Program Termination Checking [preprint]
PLDI 2018

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) [preprint]
TACAS 2018

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Phillipp Rümmer
Learning to Prove Safety over Parameterised Concurrent Systems [preprint]
FMCAD 2017

Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
Register Automata with Linear Arithmetic [preprint]
LICS 2017

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Phi-Diep Bui, Yu-Fang Chen, Lukáš Holík, Ahmed Rezine, Philipp Rümmer
Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) [preprint]
PLDI 2017

Yong Li, Yu-Fang Chen, Lijun Zhang and Depeng Liu
A Novel Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees [preprint]
TACAS 2017

Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
An Executable Sequential Specification for Spark Aggregation [preprint]
NETYS 2017

Yu-Fang Chen, Lei Song, Zhilin Wu
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach [preprint]
CAV 2016

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 [preprint]
ICSE 2016

Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
Optimal Sanitization Synthesis for Web Application Vulnerability Repair [preprint]
ISSTA 2016

Parosh A. Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
Norn: An SMT Solver for String Constraints [preprint]
CAV 2015

Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation [preprint]
CAV 2015

Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang
Commutativity of Reducers [preprint]
TACAS 2015

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation (SVCOMP) [preprint]
TACAS 2015

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
Mediating for reduction (on minimizing alternating Büchi automata)
Theoretical Computer Science 2014

Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang
Learning Summaries of Recursive Functions [preprint]
APSEC 2014

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
String Constraints for Verification [preprint]
CAV 2014

Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang
Verifying Curve25519 Software [preprint]
CCS 2014

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
Verifying Recursive Programs Using Intraprocedural Analyzers [preprint]
SAS 2014

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO [preprint]
TACAS 2013

Yu-Fang Chen, Bow-Yaw Wang
BULL: A Library for Learning Algorithms of Boolean Functions [[preprint]
TACAS 2013

Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen
A Finite Exact Representation of Register Automata Configurations
INFINITY 2013

Yu-Fang Chen, Bow-Yaw Wang
Learning Boolean Functions Incrementally [preprint]
CAV 2012

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Automatic Fence Insertion in Integer Programs via Predicate Abstraction [preprint]
SAS 2012

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Counter-Example Guided Fence Insertion under TSO [preprint]
TACAS 2012

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll
Algorithms for Synthesizing Priorities in Component-Based Systems
ATVA 2011

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
Advanced Ramsey-Based Büchi Automata Inclusion Testing [preprint]
CONCUR 2011

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing [preprint]
CAV 2010

Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
Automated Assume-Guarantee Reasoning through Implicit Learning [preprint]
CAV 2010

Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification [preprint]
CONCUR 2010

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 [preprint]
ISoLA 2010

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar
When Simulation Meets Antichains [preprint]
TACAS 2010 (Best Paper Award)

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang
Tool support for learning Büchi automata and linear temporal logic
Formal Aspect of Computing 2009

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
Mediating for Reduction (on Minimizing Alternating Büchi Automata) [preprint]
FSTTCS 2009

Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
Learning Minimal Separating DFA's for Compositional Verification [preprint]
TACAS 2009

Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages [preprint]
TACAS 2008

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
TACAS 2008

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae
TACAS 2007