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 database¹, Yu-Fang Chen authored at least 70 papers between 2007 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

A decision procedure for string constraints with string/integer conversion and flat regular constraints.

[BibT_eX]

[DOI]

Acta Informatica, March, 2024

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.

[BibT_eX]

[DOI]

CoRR, 2024

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2024

Constraint-based Adversarial Example Synthesis.

[BibT_eX]

[DOI]

Fang Yu

Ya-Yu Chi

Yu-Fang Chen

CoRR, 2024

Z3-Noodler: An Automata-based String Solver.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Solving String Constraints with Lengths by Stabilization.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

A symbolic algorithm for the case-split rule in solving word constraints with extensions.

[BibT_eX]

[DOI]

J. Syst. Softw., July, 2023

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

FSD: File-related Secure Deletion to Prolong the Lifetime of Solid-State Drives.

[BibT_eX]

[DOI]

Proceedings of the 12th Non-Volatile Memory Systems and Applications Symposium, 2023

Word Equations in Synergy with Regular Constraints.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

AutoQ: An Automata-Based Quantum Circuit Verifier.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).

[BibT_eX]

[DOI]

Yu-Fang Chen

Philipp Rümmer

Wei-Lun Tsai

Proceedings of the Automated Deduction - CADE 29, 2023

2022

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

[BibT_eX]

[DOI]

Sensors, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

2021

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

[BibT_eX]

[DOI]

Sensors, 2021

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

[BibT_eX]

[DOI]

Sensors, 2021

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

[BibT_eX]

[DOI]

Inf. Comput., 2021

Weakly Durable High-Performance Transactions.

[BibT_eX]

[DOI]

Yun-Sheng Chang

Yu-Fang Chen

Hsiang-Shang Ko

CoRR, 2021

PyCT: A Python Concolic Tester.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

Solving Not-Substring Constraint withFlat Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Performance enhancement for iterative data computing with in-memory concurrent processing.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2020

Efficient handling of string-number conversion.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

ROLL 1.0: \omega -Regular Language Learning Library.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Synthesize Models for Quantitative Analysis Using Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 7th International Conference, 2019

Simulations in Rank-Based Büchi Automata Complementation.

[BibT_eX]

[DOI]

Yu-Fang Chen

Vojtech Havlena

Ondrej Lengál

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

J-ReCoVer: Java Reducer Commutativity Verifier.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Learning Büchi Automata and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Advanced automata-based algorithms for program termination checking.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Trau: SMT solver for string constraints.

[BibT_eX]

[DOI]

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Flatten and conquer: a framework for efficient analysis of string constraints.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

An Executable Sequential Specification for Spark Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 5th International Conference, 2017

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Learning to prove safety over parameterised concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Optimal sanitization synthesis for web application vulnerability repair.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

PAC learning-based verification and model synthesis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach.

[BibT_eX]

[DOI]

Yu-Fang Chen

Lei Song

Zhilin Wu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).

[BibT_eX]

[DOI]

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

Commutativity of Reducers.

[BibT_eX]

[DOI]

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

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Norn: An SMT Solver for String Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Mediating for reduction (on minimizing alternating Büchi automata).

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Verifying Recursive Programs Using Intraprocedural Analyzers.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 21st International Symposium, 2014

Verifying Curve25519 Software.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

String Constraints for Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Learning Summaries of Recursive Functions.

[BibT_eX]

[DOI]

Yu-Fang Chen

Bow-Yaw Wang

Kai-Chun Yang

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A Finite Exact Representation of Register Automata Configurations.

[BibT_eX]

[DOI]

Yu-Fang Chen

Bow-Yaw Wang

Di-De Yen

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

BULL: A Library for Learning Algorithms of Boolean Functions.

[BibT_eX]

[DOI]

Yu-Fang Chen

Bow-Yaw Wang

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.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Counter-Example Guided Fence Insertion under TSO.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automatic Fence Insertion in Integer Programs via Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 19th International Symposium, 2012

Learning Boolean Functions Incrementally.

[BibT_eX]

[DOI]

Yu-Fang Chen

Bow-Yaw Wang

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Advanced Ramsey-Based Büchi Automata Inclusion Testing.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Algorithms for Synthesizing Priorities in Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

When Simulation Meets Antichains.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Automated Assume-Guarantee Reasoning through Implicit Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Tool support for learning Büchi automata and linear temporal logic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

Learning Minimal Separating DFA's for Compositional Verification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Yu-Fang Chen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...