researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

yufangchen

Statistics

Publications: 0
Edited: 0
Credit: 0

Aliases

Y.-F. Chen
Chen, Y.-F.
Chen, Yu-Fang
Yu-Fang Chen
Chen

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Yu-Fang Chen's Profile

Publications

Unidentified Publications

Publications with a 'Yu-Fang Chen' as author, editor, or advisor:

Switching characteristic model and biochemical application analysis for electrolyte-oxide-semiconductor structure diodesG. C. Sun, X. Y. Ma, A. S. Tang, Y.-F. Chen, W. G. Wu. nems 2012: 644-648 [doi]
Resistive switching model for Electrolyte-Oxide-Semiconductor (EOS) structureX. Y. Ma, G. C. Sun, Y.-F. Chen, W. G. Wu. nems 2013: 546-549 [doi]
The Effectiveness of Service Delivery Initiatives at Improving Patients' Waiting Times in Clinical Radiology Departments: A Systematic ReviewB. Olisemeke, Y.-F. Chen, K. Hemming, A. Girling. jdi, 27(6):751-778, 2014. [doi]
Time-domain equalisation for discrete multi-tone transceivers: new results and performance analysisWen-Rong Wu, Chun-Fang Lee, Y.-F. Chen. iet-com, 3(7):1186-1200, 2009. [doi]
Estimation of coordinate measuring machine error parametersJ. Chen, Y.-F. Chen. icra 1987: 196-201 [doi]
A Workload Analysis of Live Event Broadcast Service in CloudYeali S. Sun, Y.-F. Chen, Meng Chang Chen. ant 2013: 1028-1033 [doi]
Multi-view attribute reduction model for traffic bottleneck analysisX. D. Yue, L. B. Cao, D. Q. Miao, Y.-F. Chen, B. Xu. kbs, 86:1-10, 2015. [doi]
Iterative bit and power allocation for multi-cell orthogonal frequency division multiplexing with minimum variance distortionless response beamformingY.-F. Chen, C. Y. Lin, L. Y. Chen. iet-com, 3(11):1808-1819, 2009. [doi]
An efficient color quantization based on generic roughness measureX. D. Yue, D. Q. Miao, L. B. Cao, Q. Wu, Y.-F. Chen. PR, 47(4):1777-1789, 2014. [doi]
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion TestingParosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar. cav 2010: 132-147 [doi]
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution)Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski. TACAS 2018: 447-451 [doi]
Commutativity of ReducersYu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang. TACAS 2015: 131-146 [doi]
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, ProceedingsYu-Fang Chen, Chih-Hong Cheng, Javier Esparza, editors, Volume 11781 of Lecture Notes in Computer Science, Springer, 2019. [doi]
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal FormulaeYih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan. TACAS 2007: 466-471 [doi]
String Constraints for VerificationParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman. cav 2014: 150-166 [doi]
PAC learning-based verification and model synthesisYu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang. ICSE 2016: 714-724 [doi]
Synthesize Models for Quantitative Analysis Using Automata LearningYu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang. netys 2019: 75-92 [doi]
Optimal sanitization synthesis for web application vulnerability repairFang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan. ISSTA 2016: 189-200 [doi]
Advanced Ramsey-Based Büchi Automata Inclusion TestingParosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar. concur 2011: 187-202 [doi]
ROLL 1.0: \omega -Regular Language Learning LibraryYong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu. TACAS 2019: 365-371 [doi]
Learning Boolean Functions IncrementallyYu-Fang Chen, Bow-Yaw Wang. cav 2012: 55-70 [doi]
A decision procedure for string constraints with string/integer conversion and flat regular constraintsHao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan. ACTA, 61(1):23-52, March 2024. [doi]
Verifying Curve25519 SoftwareYu-Fang Chen, Chang-Hong Hsu, Hsin-hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang. ccs 2014: 299-309 [doi]
Optimization-Based Approaches for Minimizing Deployment Costs for Wireless Sensor Networks with Bounded Estimation ErrorsChiu-Han Hsiao, Frank Yeong-Sung Lin, Hao-Jyun Yang, Yennun Huang, Yu-Fang Chen, Ching-Wen Tu, Si-Yao Zhang. sensors, 21(21):7121, 2021. [doi]
BULL: A Library for Learning Algorithms of Boolean FunctionsYu-Fang Chen, Bow-Yaw Wang. TACAS 2013: 537-542 [doi]
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution)Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang. TACAS 2015: 426-428 [doi]
Verifying Recursive Programs Using Intraprocedural AnalyzersYu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang. SAS 2014: 118-133 [doi]
J-ReCoVer: Java Reducer Commutativity VerifierYu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu. aplas 2019: 357-366 [doi]
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal LogicYih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo. TACAS 2008: 346-350 [doi]
Performance enhancement for iterative data computing with in-memory concurrent processingYean-Fu Wen, Yu-Fang Chen, Tse Kai Chiu, Yen-Chou Chen. concurrency, 32(7), 2020. [doi]
A Symbolic Algorithm for the Case-Split Rule in String Constraint SolvingYu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini. aplas 2020: 343-363 [doi]
Optimization-Based Resource Management Algorithms with Considerations of Client Satisfaction and High Availability in Elastic 5G Network SlicesChiu-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. sensors, 21(5):1882, 2021. [doi]
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, ProceedingsBelgacem Ben Hedia, Yu-Fang Chen, GaiYun Liu, Zhenhua Yu, editors, Volume 12519 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Learning Summaries of Recursive FunctionsYu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang. apsec 2014: 303-310 [doi]
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation LayerYun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang 0001, Hsiang-Shang Ko, Yu-Fang Chen. osdi 2020: 81-97 [doi]
Flatten and conquer: a framework for efficient analysis of string constraintsParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer. PLDI 2017: 602-617 [doi]
Counter-Example Guided Fence Insertion under TSOParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine. TACAS 2012: 204-219 [doi]
Learning Büchi Automata and Its ApplicationsYong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang. setss 2019: 38-98 [doi]
Extending Automated Compositional Verification to the Full Class of Omega-Regular LanguagesAzadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang. TACAS 2008: 2-17 [doi]
The Commutativity Problem of the MapReduce Framework: A Transducer-Based ApproachYu-Fang Chen, Lei Song, Zhilin Wu. cav 2016: 91-111 [doi]
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange InterpolationYu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang. cav 2015: 658-674 [doi]
Advanced automata-based algorithms for program termination checkingYu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang. PLDI 2018: 135-150 [doi]
Algorithms for Synthesizing Priorities in Component-Based SystemsChih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll. ATVA 2011: 150-167 [doi]
Norn: An SMT Solver for String ConstraintsParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman. cav 2015: 462-469 [doi]
Tool support for learning Büchi automata and linear temporal logicYih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang. fac, 21(3):259-275, 2009. [doi]
An Executable Sequential Specification for Spark AggregationYu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang. netys 2017: 421-438 [doi]
Automated Assume-Guarantee Reasoning through Implicit LearningYu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang. cav 2010: 511-526 [doi]
Mediating for reduction (on minimizing alternating Büchi automata)Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar. TCS, 552:26-43, 2014. [doi]
Register automata with linear arithmeticYu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu. lics 2017: 1-12 [doi]
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification TreesYong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu. TACAS 2017: 208-226 [doi]
Trau: SMT solver for string constraintsParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer. FMCAD 2018: 1-5 [doi]
Automatic Fence Insertion in Integer Programs via Predicate AbstractionParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine. SAS 2012: 164-180 [doi]
Constrained Monotonic Abstraction: A CEGAR for Parameterized VerificationParosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine. concur 2010: 86-101 [doi]
Learning to prove safety over parameterised concurrent systemsYu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer. FMCAD 2017: 76-83 [doi]
Mediating for Reduction (on Minimizing Alternating BÃ¼chi Automata)Parosh Aziz Abdulla, Yu-Fang Chen, LukÃ¡s HolÃk, TomÃ¡s Vojnar. fsttcs 2009: 1-12 [doi]
A novel learning algorithm for Büchi automata based on family of DFAs and classification treesYong Li 0031, Yu-Fang Chen, Lijun Zhang, Depeng Liu. iandc, 281:104678, 2021. [doi]
When Simulation Meets AntichainsParosh Aziz Abdulla, Yu-Fang Chen, LukÃ¡s HolÃk, Richard Mayr, TomÃ¡s Vojnar. TACAS 2010: 158-174 [doi]
Learning Minimal Separating DFA s for Compositional VerificationYu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang. TACAS 2009: 31-45 [doi]
Efficient handling of string-number conversionParosh 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. PLDI 2020: 943-957 [doi]
Simulations in Rank-Based Büchi Automata ComplementationYu-Fang Chen, Vojtech Havlena, Ondrej Lengál. aplas 2019: 447-467 [doi]
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSOParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine. TACAS 2013: 530-536 [doi]
Comparing Learning Algorithms in Automated Assume-Guarantee ReasoningYu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu. ISoLA 2010: 643-657 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL