Yu-Fang Chen

According to our database1, Yu-Fang Chen authored at least 46 papers between 2007 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Advanced automata-based algorithms for program termination checking.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
CoRR, 2017

Register automata with linear arithmetic.
CoRR, 2017

An Executable Sequential Specification for Spark Aggregation.
CoRR, 2017

A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Flatten and conquer: a framework for efficient analysis of string constraints.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

An Executable Sequential Specification for Spark Aggregation.
Proceedings of the Networked Systems - 5th International Conference, 2017

Register automata with linear arithmetic.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Learning to prove safety over parameterised concurrent systems.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees.
CoRR, 2016

The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach.
CoRR, 2016

Optimal sanitization synthesis for web application vulnerability repair.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

PAC learning-based verification and model synthesis.
Proceedings of the 38th International Conference on Software Engineering, 2016

The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
CoRR, 2015

PAC Learning-Based Verification and Model Synthesis.
CoRR, 2015

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Commutativity of Reducers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Norn: An SMT Solver for String Constraints.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Mediating for reduction (on minimizing alternating Büchi automata).
Theor. Comput. Sci., 2014

Verifying Recursive Programs Using Intraprocedural Analyzers.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Verifying Curve25519 Software.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

String Constraints for Verification.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Learning Summaries of Recursive Functions.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
A Finite Exact Representation of Register Automata Configurations.
Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

BULL: A Library for Learning Algorithms of Boolean Functions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012
Counter-Example Guided Fence Insertion under TSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automatic Fence Insertion in Integer Programs via Predicate Abstraction.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Learning Boolean Functions Incrementally.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Algorithms for Synthesizing Priorities in Component-based Systems
CoRR, 2011

Advanced Ramsey-Based Büchi Automata Inclusion Testing.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Algorithms for Synthesizing Priorities in Component-Based Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
When Simulation Meets Antichains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Automated Assume-Guarantee Reasoning through Implicit Learning.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Tool support for learning Büchi automata and linear temporal logic.
Formal Asp. Comput., 2009

Learning Minimal Separating DFA's for Compositional Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Mediating for Reduction (on Minimizing Alternating Büchi Automata).
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

2008
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007


  Loading...