The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yu-Fang Chen 0001" ( http://dblp.L3S.de/Authors/Yu-Fang_Chen_0001 )

URL (Homepage):  https://homepage.iis.sinica.edu.tw/pages/yfc/index_en.html  Author page on DBLP  Author page in RDF  Community of Yu-Fang Chen 0001 in ASPL-2

Publication years (Num. hits)
2007-2011 (15) 2012-2015 (17) 2016-2018 (17) 2019-2021 (17) 2022 (1)
Publication types (Num. hits)
article(17) inproceedings(47) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(10) TACAS(10) APLAS(5) CAV(4) PLDI(3) Sensors(3) ATVA(2) CAV (1)(2) CONCUR(2) FMCAD(2) INFINITY(2) NETYS(2) SAS(2) TACAS (1)(2) APSEC (1)(1) CAV (2)(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 68 publication records. Showing 67 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Chiu-Han Hsiao, Yean-Fu Wen, Frank Yeong-Sung Lin, Yu-Fang Chen 0001, Yennun Huang, Yang-Che Su, Ya-Syuan Wu An Optimization-Based Orchestrator for Resource Access and Operation Management in Sliced 5G Core Networks. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yun-Sheng Chang, Yu-Fang Chen 0001, Hsiang-Shang Ko Weakly Durable High-Performance Transactions. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Chiu-Han Hsiao, Frank Yeong-Sung Lin, Hao-Jyun Yang, Yennun Huang, Yu-Fang Chen 0001, Ching-Wen Tu, Si-Yao Zhang Optimization-Based Approaches for Minimizing Deployment Costs for Wireless Sensor Networks with Bounded Estimation Errors. Search on Bibsonomy Sensors The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Chiu-Han Hsiao, Frank Yeong-Sung Lin, Evana Szu-Han Fang, Yu-Fang Chen 0001, 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. Search on Bibsonomy Sensors The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Yu-Fang Chen 0001, Lijun Zhang 0001, Depeng Liu A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen Solving Not-Substring Constraint withFlat Abstraction. Search on Bibsonomy APLAS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu 0001 PyCT: A Python Concolic Tester. Search on Bibsonomy APLAS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yean-Fu Wen, Yu-Fang Chen 0001, Tse Kai Chiu, Yen-Chou Chen Performance enhancement for iterative data computing with in-memory concurrent processing. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Vojtech Havlena, Ondrej Lengál, Andrea Turrini A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. Search on Bibsonomy APLAS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu Efficient handling of string-number conversion. Search on Bibsonomy PLDI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang 0001, Hsiang-Shang Ko, Yu-Fang Chen 0001 Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. Search on Bibsonomy OSDI The full citation details ... 2020 DBLP  BibTeX  RDF
1Belgacem Ben Hedia, Yu-Fang Chen 0001, Gaiyun Liu, Zhenhua Yu (eds.) Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings Search on Bibsonomy VECoS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Vojtech Havlena, Ondrej Lengál Simulations in Rank-Based Büchi Automata Complementation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Hong Cheng, Javier Esparza (eds.) Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Vojtech Havlena, Ondrej Lengál Simulations in Rank-Based Büchi Automata Complementation. Search on Bibsonomy APLAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, 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. Search on Bibsonomy APLAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang Synthesize Models for Quantitative Analysis Using Automata Learning. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Xuechao Sun, Andrea Turrini, Yu-Fang Chen 0001, Junnan Xu ROLL 1.0: \omega -Regular Language Learning Library. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Matthias Heizmann, Ondrej Lengál, Yong Li 0031, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang 0001 Advanced automata-based algorithms for program termination checking. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Andrea Turrini, Yu-Fang Chen 0001, Lijun Zhang 0001 Learning Büchi Automata and Its Applications. Search on Bibsonomy SETSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Yu-Fang Chen 0001, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li 0031, Alexander Nutz, Betim Musa, Christian Schilling 0001, Tanja Schindler, Andreas Podelski Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer Trau: SMT solver for string constraints. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yu-Fang Chen 0001, Ondrej Lengál, Tony Tan, Zhilin Wu Register automata with linear arithmetic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha 0001, Bow-Yaw Wang An Executable Sequential Specification for Spark Aggregation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yu-Fang Chen 0001, Ondrej Lengál, Tony Tan, Zhilin Wu Register automata with linear arithmetic. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha 0001, Bow-Yaw Wang An Executable Sequential Specification for Spark Aggregation. Search on Bibsonomy NETYS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer Flatten and conquer: a framework for efficient analysis of string constraints. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Yu-Fang Chen 0001, Lijun Zhang 0001, Depeng Liu A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer Learning to prove safety over parameterised concurrent systems. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Lei Song, Zhilin Wu The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yong Li 0031, Yu-Fang Chen 0001, Lijun Zhang 0001, Depeng Liu A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yu-Fang Chen 0001, Lei Song, Zhilin Wu The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fang Yu 0001, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen 0001, Bow-Yaw Wang, Tevfik Bultan Optimal sanitization synthesis for web application vulnerability repair. Search on Bibsonomy ISSTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang PAC learning-based verification and model synthesis. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang 0001 Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang PAC Learning-Based Verification and Model Synthesis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman Norn: An SMT Solver for String Constraints. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang 0001 Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Nishant Sinha 0001, Bow-Yaw Wang Commutativity of Reducers. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lukás Holík, Tomás Vojnar Mediating for reduction (on minimizing alternating Büchi automata). Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang Verifying Curve25519 Software. Search on Bibsonomy CCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman String Constraints for Verification. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Bow-Yaw Wang, Kai-Chun Yang Learning Summaries of Recursive Functions. Search on Bibsonomy APSEC (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang Verifying Recursive Programs Using Intraprocedural Analyzers. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Bow-Yaw Wang, Di-De Yen A Finite Exact Representation of Register Automata Configurations. Search on Bibsonomy INFINITY The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Bow-Yaw Wang BULL: A Library for Learning Algorithms of Boolean Functions. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Bow-Yaw Wang Learning Boolean Functions Incrementally. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine Automatic Fence Insertion in Integer Programs via Predicate Abstraction. Search on Bibsonomy SAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine Counter-Example Guided Fence Insertion under TSO. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen 0001, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll Algorithms for Synthesizing Priorities in Component-based Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen 0001, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll Algorithms for Synthesizing Priorities in Component-Based Systems. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar Advanced Ramsey-Based Büchi Automata Inclusion Testing. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Ahmed Rezine (eds.) Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. Search on Bibsonomy INFINITY The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang Automated Assume-Guarantee Reasoning through Implicit Learning. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen 0001, 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. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Edmund M. Clarke, Azadeh Farzan, Fei He 0001, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lukás Holík, Richard Mayr, Tomás Vojnar When Simulation Meets Antichains. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen 0001, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Yu-Fang Chen 0001, 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. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
1Yu-Fang Chen 0001, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang Learning Minimal Separating DFA's for Compositional Verification. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lukás Holík, Tomás Vojnar Mediating for Reduction (on Minimizing Alternating Büchi Automata). Search on Bibsonomy FSTTCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, Yu-Fang Chen 0001, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #67 of 67 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license