Yu-Fang Chen

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 46

Top Topics

Constraint Solving

Helmholtz Principle

Recursive Programs

Top Venues

Publications

Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Z3-Noodler: An Automata-based String Solver. TACAS (1) (2024)
Fang Yu, Ya-Yu Chi, Yu-Fang Chen
Constraint-based Adversarial Example Synthesis. CoRR (2024)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report). CoRR (2023)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Solving String Constraints with Lengths by Stabilization. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shih-Chun Chou, Yi-Shen Chen, Ping-Xiang Chen, Yuan-Hao Chang, Ming-Chang Yang, Tei-Wei Kuo, Yu-Fang Chen, Yu-Ming Chang
FSD: File-related Secure Deletion to Prolong the Lifetime of Solid-State Drives. NVMSA (2023)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report). CoRR (2023)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A symbolic algorithm for the case-split rule in solving word constraints with extensions. J. Syst. Softw. 201 (2023)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Z3-Noodler: An Automata-based String Solver (Technical Report). CoRR (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints. FM (2023)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
AutoQ: An Automata-Based Quantum Circuit Verifier. CAV (3) (2023)
Yu-Fang Chen, Philipp Rümmer, Wei-Lun Tsai
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). CADE (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints (Technical Report). CoRR (2022)
Chiu-Han Hsiao, Yean-Fu Wen, Frank Yeong-Sung Lin, Yu-Fang Chen, Yennun Huang, Yang-Che Su, Ya-Syuan Wu
An Optimization-Based Orchestrator for Resource Access and Operation Management in Sliced 5G Core Networks. Sensors 22 (1) (2022)
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. Inf. Comput. 281 (2021)
Chiu-Han Hsiao, Frank Yeong-Sung Lin, Evana Szu-Han Fang, Yu-Fang Chen, Yean-Fu Wen, Yennun Huang, Yang-Che Su, Ya-Syuan Wu, Hsin-Yi Kuo
Optimization-Based Resource Management Algorithms with Considerations of Client Satisfaction and High Availability in Elastic 5G Network Slices. Sensors 21 (5) (2021)
Chiu-Han Hsiao, Frank Yeong-Sung Lin, Hao-Jyun Yang, Yennun Huang, Yu-Fang Chen, Ching-Wen Tu, Si-Yao Zhang
Optimization-Based Approaches for Minimizing Deployment Costs for Wireless Sensor Networks with Bounded Estimation Errors. Sensors 21 (21) (2021)
Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko
Weakly Durable High-Performance Transactions. CoRR (2021)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen
Solving Not-Substring Constraint withFlat Abstraction. APLAS (2021)
Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu
PyCT: A Python Concolic Tester. APLAS (2021)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. APLAS (2020)
Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. OSDI (2020)
Yean-Fu Wen, Yu-Fang Chen, Tse Kai Chiu, Yen-Chou Chen
Performance enhancement for iterative data computing with in-memory concurrent processing. Concurr. Comput. Pract. Exp. 32 (7) (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu
Efficient handling of string-number conversion. PLDI (2020)
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. APLAS (2019)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
Simulations in Rank-Based Büchi Automata Complementation. 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. NETYS (2019)
Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
ROLL 1.0: \omega -Regular Language Learning Library. TACAS (1) (2019)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
Simulations in Rank-Based Büchi Automata Complementation. CoRR (2019)
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
Advanced automata-based algorithms for program termination checking. PLDI (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
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. FMCAD (2018)
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
Learning Büchi Automata and Its Applications. SETSS (2018)
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
Register automata with linear arithmetic. LICS (2017)
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. PLDI (2017)
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
Register automata with linear arithmetic. CoRR (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. CoRR (2017)
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. TACAS (1) (2017)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
Learning to prove safety over parameterised concurrent systems. FMCAD (2017)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). CoRR (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. NETYS (2017)
Yu-Fang Chen, Lei Song, Zhilin Wu
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach. CoRR (2016)
Yu-Fang Chen, Lei Song, Zhilin Wu
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. CAV (2) (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. ISSTA (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. ICSE (2016)
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. CoRR (2016)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CAV (1) (2015)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CoRR (2015)
Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang
Commutativity of Reducers. 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 - (Competition Contribution). TACAS (2015)
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. CoRR (2015)
Parosh Aziz 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. CAV (1) (2015)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
Mediating for reduction (on minimizing alternating Büchi automata). Theor. Comput. Sci. 552 (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. CCS (2014)
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
Verifying Recursive Programs Using Intraprocedural Analyzers. SAS (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. CAV (2014)
Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang
Learning Summaries of Recursive Functions. APSEC (1) (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. TACAS (2013)
Yu-Fang Chen, Bow-Yaw Wang
BULL: A Library for Learning Algorithms of Boolean Functions. TACAS (2013)
Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen
A Finite Exact Representation of Register Automata Configurations. INFINITY (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Counter-Example Guided Fence Insertion under TSO. TACAS (2012)
Yu-Fang Chen, Bow-Yaw Wang
Learning Boolean Functions Incrementally. CAV (2012)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS (2012)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. 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. CONCUR (2011)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
Algorithms for Synthesizing Priorities in Component-based Systems CoRR (2011)
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
Automated Assume-Guarantee Reasoning through Implicit Learning. CAV (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. ISoLA (1) (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. CONCUR (2010)
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. CAV (2010)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar
When Simulation Meets Antichains. TACAS (2010)
Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
Learning Minimal Separating DFA's for Compositional Verification. TACAS (2009)
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 Aspects Comput. 21 (3) (2009)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS (2009)
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)
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. 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)