Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Yu-Fang Chen 0001

> Home > Persons

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

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/WuCWXZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/WuCWXZ24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChenCHHLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChenCHHLS24
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
2023
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ChenHLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ChenHLT23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ChenCHHLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ChenCHHLS23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/0001CLLTY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/0001CLLTY23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/ChenRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ChenRT23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChenCLLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChenCLLT23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BlahoudekCCHHLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BlahoudekCCHHLS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nvmsa/ChouCCCYKCC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nvmsa/ChouCCCYKCC23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-07747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-07747
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-01142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-01142
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-08327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-08327
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/HsiaoWLCHSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/HsiaoWLCHSW22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-02317
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-02317
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]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/LiCZL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LiCZL21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/HsiaoLFCWHSWK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/HsiaoLFCWHSWK21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/HsiaoLYHCTZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/HsiaoLYHCTZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenTWYY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenTWYY21
Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu:
PyCT: A Python Concolic Tester. APLAS 2021: 38-46
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AbdullaACDHHTWY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AbdullaACDHHTWY21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-01465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-01465
Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko:
Weakly Durable High-Performance Transactions. CoRR abs/2110.01465 (2021)
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/WenCCC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/WenCCC20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenHLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenHLT20
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]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/ChangHLTWCKC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/ChangHLTWCKC20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AbdullaACDDJLHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AbdullaACDDJLHW20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/2020
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenCHKLVWW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenCHKLVWW19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenHL19
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál:
Simulations in Rank-Based Büchi Automata Complementation. APLAS 2019: 447-467
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/ChenCHTWW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/ChenCHTWW19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LiSTCX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LiSTCX19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2019
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07139
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07139
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál:
Simulations in Rank-Based Büchi Automata Complementation. CoRR abs/1905.07139 (2019)
2018
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/AbdullaACDHRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AbdullaACDHRR18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChenHLLTTZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChenHLLTTZ18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/LiTCZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/LiTCZ18
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang:
Learning Büchi Automata and Its Applications. SETSS 2018: 38-98
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDGHLNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ChenHLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ChenHLR17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChenLTW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChenLTW17
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu:
Register automata with linear arithmetic. LICS 2017: 1-12
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/ChenHLMSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/ChenHLMSW17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AbdullaACDHRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AbdullaACDHRR17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/LiCZL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LiCZL17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChenHLMSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenHLMSW17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChenLTW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenLTW17
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu:
Register automata with linear arithmetic. CoRR abs/1704.03972 (2017)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-07139
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-07139
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChenSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChenSW16
Yu-Fang Chen, Lei Song, Zhilin Wu:
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. CAV (2) 2016: 91-111
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChenHLLTWW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChenHLLTWW16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YuSLCWB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YuSLCWB16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChenSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenSW16
Yu-Fang Chen, Lei Song, Zhilin Wu:
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach. CoRR abs/1605.01497 (2016)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LiCZL16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiCZL16a
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaACHRRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaACHRRS15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChenHWZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChenHWZ15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChenHSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChenHSW15
Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang:
Commutativity of Reducers. TACAS 2015: 131-146
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChenHTWW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChenHTWW15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChenHWZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenHWZ15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChenHLLTWW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenHLLTWW15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbdullaCHV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbdullaCHV14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChenWY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChenWY14
Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang:
Learning Summaries of Recursive Functions. APSEC (1) 2014: 303-310
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaACHRRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaACHRRS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ChenHLSTWYY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ChenHLSTWYY14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChenHTWW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChenHTWW14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaACLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaACLR13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChenW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChenW13
Yu-Fang Chen, Bow-Yaw Wang:
BULL: A Library for Learning Algorithms of Boolean Functions. TACAS 2013: 537-542
[c16]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChenWY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenWY14
Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen:
A Finite Exact Representation of Register Automata Configurations. INFINITY 2013: 16-34
2012
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChenW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChenW12
Yu-Fang Chen, Bow-Yaw Wang:
Learning Boolean Functions Incrementally. CAV 2012: 55-70
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AbdullaACLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AbdullaACLR12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaACLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaACLR12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengBCYJRBK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengBCYJRBK11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AbdullaCCHHMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AbdullaCCHHMV11
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1107-1383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1383
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaCCHHMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaCCHHMV10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChenCFTTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChenCFTTW10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AbdullaCDHHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AbdullaCDHHR10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ChenCFHTTWZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChenCFHTTWZ10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaCHMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaCHMV10
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar:
When Simulation Meets Antichains. TACAS 2010: 158-174
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-6112
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-6112
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/TsayCTWCLC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/TsayCTWCLC09
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/AbdullaCHV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/AbdullaCHV09
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChenFCTW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChenFCTW09
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FarzanCCTW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FarzanCCTW08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TsayCTCL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TsayCTCL08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TsayCTWC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TsayCTWC07
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

see FAQ

a service of

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.