| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2017 | A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees | Yong Li; Yu-Fang Chen; Lijun Zhang; Depeng Liu | ||||
| 2018 | Advanced Automata-based Algorithms for Program Termination Checking | Yu-Fang Chen; Matthias Heizmann; Ondrej Lengal; Yong Li; Ming-Hsien Tsai; Andrea Turrini; Lijun Zhang | ||||
| 2017 | An Executable Sequential Specification for Spark Aggregation | Yu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang | ||||
| 2010 | Automated Assume-Guarantee Reasoning through Implicit Learning | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang | ||||
| 2012 | Automatic Fence Insertion in Integer Programs via Predicate Abstraction | Parosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; Ahmed Rezine | ||||
| 2013 | BULL: a Library for Learning Algorithms of Boolean Functions | Yu-Fang Chen; Bow-Yaw Wang | ||||
| 2015 | Commutativity of Reducers | Yu-Fang Chen; Chih-Duo Hong; Nishant Sinha; Bow-Yaw Wang | ||||
| 2010 | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Fei He; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang; Lei Zhu | ||||
| 2010 | Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification | Parosh Abdulla; Yu-Fang Chen; Giorgio Delzanno; Frederic Haziza; Chih-Duo Hong; Ahmed Rezine | ||||
| 2015 | Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation | Yu-Fang Chen; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang | ||||
| 2015 | CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation | Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang | ||||
| 2017 | Flatten and conquer: a framework for efficient analysis of string constraints | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Bui Phi Diep; Lukás Holík; Ahmed Rezine; Philipp Rümmer | ||||
| 2011 | Learning Boolean Functions Incrementally | Yu-Fang Chen; Bow-Yaw Wang | TR-IIS-11-006 | |||
| 2012 | Learning Boolean Functions Incrementally | Yu-Fang Chen; Bow-Yaw Wang | ||||
| 2014 | Learning Summaries of Recursive Functions | Yu-Fang Chen; Bow-Yaw Wang; Kai-Chun Yang | ||||
| 2017 | Learning to prove safety over parameterised concurrent systems | Yu-Fang Chen; Chih-Duo Hong; Philipp Rümmer; Anthony Lin | ||||
| 2013 | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO | Parosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; Ahmed Rezine | ||||
| 2015 | Norn: An SMT Solver for String Constraints | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Lukás Holík; Ahmed Rezine; Philipp Rümmer; Jari Stenman | ||||
| 2016 | Optimal Sanitization Synthesis for Web Application Vulnerability Repair | Fang Yu; Ching-Yuan Shueh; Chun-Han Lin; Yu-Fang Chen; Bow-Yaw Wang; Tevfik Bultan | ||||
| 2016 | PAC learning-based verification and model synthesis | Yu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang |
