Yu-Fang Chen

Orcid: 0000-0003-2872-0336

Affiliations:
  • Academia Sinica, Institute of Information Science, Taipei, Taiwan
  • Uppsala University, Sweden (former)
  • National Taiwan Universality, Taipei, Taiwan (PhD 2008)


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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A decision procedure for string constraints with string/integer conversion and flat regular constraints.
Acta Informatica, March, 2024

2023
Solving String Constraints with Lengths by Stabilization.
Proc. ACM Program. Lang., October, 2023

A symbolic algorithm for the case-split rule in solving word constraints with extensions.
J. Syst. Softw., July, 2023

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Proc. ACM Program. Lang., 2023

Z3-Noodler: An Automata-based String Solver (Technical Report).
CoRR, 2023

A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report).
CoRR, 2023

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).
CoRR, 2023

FSD: File-related Secure Deletion to Prolong the Lifetime of Solid-State Drives.
Proceedings of the 12th Non-Volatile Memory Systems and Applications Symposium, 2023

Word Equations in Synergy with Regular Constraints.
Proceedings of the Formal Methods - 25th International Symposium, 2023

AutoQ: An Automata-Based Quantum Circuit Verifier.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).
Proceedings of the Automated Deduction - CADE 29, 2023

2022
An Optimization-Based Orchestrator for Resource Access and Operation Management in Sliced 5G Core Networks.
Sensors, 2022

Word Equations in Synergy with Regular Constraints (Technical Report).
CoRR, 2022

2021
Optimization-Based Approaches for Minimizing Deployment Costs for Wireless Sensor Networks with Bounded Estimation Errors.
Sensors, 2021

Optimization-Based Resource Management Algorithms with Considerations of Client Satisfaction and High Availability in Elastic 5G Network Slices.
Sensors, 2021

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.
Inf. Comput., 2021

Weakly Durable High-Performance Transactions.
CoRR, 2021

PyCT: A Python Concolic Tester.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

Solving Not-Substring Constraint withFlat Abstraction.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020
Performance enhancement for iterative data computing with in-memory concurrent processing.
Concurr. Comput. Pract. Exp., 2020

Efficient handling of string-number conversion.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019
ROLL 1.0: \omega -Regular Language Learning Library.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Synthesize Models for Quantitative Analysis Using Automata Learning.
Proceedings of the Networked Systems - 7th International Conference, 2019

Simulations in Rank-Based Büchi Automata Complementation.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

J-ReCoVer: Java Reducer Commutativity Verifier.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

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

Learning Büchi Automata and Its Applications.
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

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

Trau: SMT solver for string constraints.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
CoRR, 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
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
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
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 Aspects Comput., 2009

Learning Minimal Separating DFA's for Compositional Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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...