![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Yu-Fang Chen 0001
Person information
- affiliation: Academia Sinica, Institute of Information Science, Taipei, Taiwan
- affiliation (former): Uppsala University, Sweden
- affiliation (PhD 2008): National Taiwan Universality, Taipei, Taiwan
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan:
A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica 61(1): 23-52 (2024) - [c52]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: 24-33 - [i15]Fang Yu, Ya-Yu Chi, Yu-Fang Chen:
Constraint-based Adversarial Example Synthesis. CoRR abs/2406.01219 (2024) - 2023
- [j10]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: 111673 (2023) - [j9]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): 2112-2141 (2023) - [j8]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): 1218-1243 (2023) - [c51]Yu-Fang Chen
, Philipp Rümmer
, Wei-Lun Tsai:
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). CADE 2023: 170-189 - [c50]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: 139-153 - [c49]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: 403-423 - [c48]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: 19-24 - [i14]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 abs/2301.07747 (2023) - [i13]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 abs/2303.01142 (2023) - [i12]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 abs/2310.08327 (2023) - 2022
- [j7]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): 100 (2022) - [i11]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 abs/2212.02317 (2022) - 2021
- [j6]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: 104678 (2021) - [j5]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): 1882 (2021) - [j4]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): 7121 (2021) - [c47]Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu:
PyCT: A Python Concolic Tester. APLAS 2021: 38-46 - [c46]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: 305-320 - [i10]Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko:
Weakly Durable High-Performance Transactions. CoRR abs/2110.01465 (2021) - 2020
- [j3]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) - [c45]Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
, Andrea Turrini
:
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. APLAS 2020: 343-363 - [c44]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: 81-97 - [c43]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: 943-957 - [e3]Belgacem Ben Hedia
, Yu-Fang Chen
, Gaiyun Liu, Zhenhua Yu:
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings. Lecture Notes in Computer Science 12519, Springer 2020, ISBN 978-3-030-65954-7 [contents]
2010 – 2019
- 2019
- [c42]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: 357-366 - [c41]Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
:
Simulations in Rank-Based Büchi Automata Complementation. APLAS 2019: 447-467 - [c40]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: 75-92 - [c39]Yong Li
, Xuechao Sun, Andrea Turrini
, Yu-Fang Chen
, Junnan Xu:
ROLL 1.0: \omega -Regular Language Learning Library. TACAS (1) 2019: 365-371 - [e2]Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Lecture Notes in Computer Science 11781, Springer 2019, ISBN 978-3-030-31783-6 [contents] - [i9]Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál:
Simulations in Rank-Based Büchi Automata Complementation. CoRR abs/1905.07139 (2019) - 2018
- [c38]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: 1-5 - [c37]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: 135-150 - [c36]Yong Li
, Andrea Turrini
, Yu-Fang Chen
, Lijun Zhang
:
Learning Büchi Automata and Its Applications. SETSS 2018: 38-98 - [c35]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: 447-451 - 2017
- [c34]Yu-Fang Chen, Chih-Duo Hong
, Anthony W. Lin
, Philipp Rümmer:
Learning to prove safety over parameterised concurrent systems. FMCAD 2017: 76-83 - [c33]Yu-Fang Chen
, Ondrej Lengál
, Tony Tan, Zhilin Wu:
Register automata with linear arithmetic. LICS 2017: 1-12 - [c32]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: 421-438 - [c31]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: 602-617 - [c30]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: 208-226 - [i8]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 abs/1702.02439 (2017) - [i7]Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu:
Register automata with linear arithmetic. CoRR abs/1704.03972 (2017) - [i6]Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer:
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). CoRR abs/1709.07139 (2017) - 2016
- [c29]Yu-Fang Chen
, Lei Song, Zhilin Wu:
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. CAV (2) 2016: 91-111 - [c28]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: 714-724 - [c27]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: 189-200 - [i5]Yu-Fang Chen, Lei Song, Zhilin Wu:
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach. CoRR abs/1605.01497 (2016) - [i4]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 abs/1610.07380 (2016) - 2015
- [c26]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: 462-469 - [c25]Yu-Fang Chen
, Chih-Duo Hong
, Bow-Yaw Wang, Lijun Zhang:
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CAV (1) 2015: 658-674 - [c24]Yu-Fang Chen, Chih-Duo Hong
, Nishant Sinha, Bow-Yaw Wang:
Commutativity of Reducers. TACAS 2015: 131-146 - [c23]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: 426-428 - [i3]Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang:
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CoRR abs/1502.04280 (2015) - [i2]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 abs/1511.00754 (2015) - 2014
- [j2]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: 26-43 (2014) - [c22]Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang:
Learning Summaries of Recursive Functions. APSEC (1) 2014: 303-310 - [c21]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: 150-166 - [c20]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: 299-309 - [c19]Yu-Fang Chen
, Chiao Hsieh
, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
Verifying Recursive Programs Using Intraprocedural Analyzers. SAS 2014: 118-133 - 2013
- [c18]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: 530-536 - [c17]Yu-Fang Chen
, Bow-Yaw Wang:
BULL: A Library for Learning Algorithms of Boolean Functions. TACAS 2013: 537-542 - [c16]Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen:
A Finite Exact Representation of Register Automata Configurations. INFINITY 2013: 16-34 - 2012
- [c15]Yu-Fang Chen, Bow-Yaw Wang:
Learning Boolean Functions Incrementally. CAV 2012: 55-70 - [c14]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS 2012: 164-180 - [c13]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Counter-Example Guided Fence Insertion under TSO. TACAS 2012: 204-219 - 2011
- [c12]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: 150-167 - [c11]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: 187-202 - [i1]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 abs/1107.1383 (2011) - 2010
- [c10]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: 132-147 - [c9]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: 511-526 - [c8]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: 86-101 - [c7]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: 643-657 - [c6]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík
, Richard Mayr, Tomás Vojnar
:
When Simulation Meets Antichains. TACAS 2010: 158-174 - [e1]Yu-Fang Chen, Ahmed Rezine:
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. EPTCS 39, 2010 [contents]
2000 – 2009
- 2009
- [j1]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): 259-275 (2009) - [c5]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar:
Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS 2009: 1-12 - [c4]Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay
, Bow-Yaw Wang:
Learning Minimal Separating DFA's for Compositional Verification. TACAS 2009: 31-45 - 2008
- [c3]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: 2-17 - [c2]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: 346-350 - 2007
- [c1]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: 466-471
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint