Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
  • Explore by
    • Organizations
    • Researchers
    • Research Outputs
    • Projects
  • Academic & Publications
  • Sign in
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
  2. Research Outputs

Browsing by Author Yu-Fang Chen


Jump to:
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 25  next >
Issue DateTitleAuthor(s)RelationscopusWOSFulltext/Archive link
2017A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification TreesYong Li; Yu-Fang Chen; Lijun Zhang; Depeng Liu
2018Advanced Automata-based Algorithms for Program Termination CheckingYu-Fang Chen; Matthias Heizmann; Ondrej Lengal; Yong Li; Ming-Hsien Tsai; Andrea Turrini; Lijun Zhang
2017An Executable Sequential Specification for Spark AggregationYu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang
2010Automated Assume-Guarantee Reasoning through Implicit LearningYu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang
2012Automatic Fence Insertion in Integer Programs via Predicate AbstractionParosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; Ahmed Rezine
2013BULL: a Library for Learning Algorithms of Boolean FunctionsYu-Fang Chen; Bow-Yaw Wang
2015Commutativity of ReducersYu-Fang Chen; Chih-Duo Hong; Nishant Sinha; Bow-Yaw Wang
2010Comparing 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
2010Constrained Monotonic Abstraction: a CEGAR for Parameterized VerificationParosh Abdulla; Yu-Fang Chen; Giorgio Delzanno; Frederic Haziza; Chih-Duo Hong; Ahmed Rezine
2015Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange InterpolationYu-Fang Chen; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang
2015CPArec: Verifying Recursive Programs via Source-to-Source Program TransformationYu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
2017Flatten 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
2011Learning Boolean Functions IncrementallyYu-Fang Chen; Bow-Yaw WangTR-IIS-11-006
2012Learning Boolean Functions IncrementallyYu-Fang Chen; Bow-Yaw Wang
2014Learning Summaries of Recursive FunctionsYu-Fang Chen; Bow-Yaw Wang; Kai-Chun Yang
2017Learning to prove safety over parameterised concurrent systemsYu-Fang Chen; Chih-Duo Hong; Philipp Rümmer; Anthony Lin
2013Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSOParosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; Ahmed Rezine
2015Norn: 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
2016Optimal Sanitization Synthesis for Web Application Vulnerability RepairFang Yu; Ching-Yuan Shueh; Chun-Han Lin; Yu-Fang Chen; Bow-Yaw Wang; Tevfik Bultan
2016PAC learning-based verification and model synthesisYu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
Showing results 1 to 20 of 25  next >
Explore by
  • Academic & Publications
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback