Yu-Fang Chen

Available identifiers

zbMath Open chen.yu-fangMaRDI QIDQ740969

List of research outcomes

Publication	Date of Publication	Type
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)	2024-04-26	Paper
Simulations in rank-based Büchi automata complementation	2024-04-19	Paper
Word equations in synergy with regular constraints	2023-08-17	Paper
Solving Not-Substring Constraint withFlat Abstraction	2023-03-29	Paper
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees	2021-11-25	Paper
A symbolic algorithm for the case-split rule in string constraint solving	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4994710	2021-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q5144658	2021-01-19	Paper
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees	2020-08-05	Paper
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach	2019-05-03	Paper
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation	2018-03-01	Paper
Mediating for reduction (on minimizing alternating Büchi automata)	2014-09-10	Paper
Mediating for reduction (on minimizing alternating Büchi automata)	2012-10-24	Paper
Counter-Example Guided Fence Insertion under TSO	2012-06-29	Paper
Algorithms for Synthesizing Priorities in Component-Based Systems	2011-10-07	Paper
Advanced Ramsey-Based Büchi Automata Inclusion Testing	2011-09-02	Paper
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification	2010-08-31	Paper
When Simulation Meets Antichains	2010-04-27	Paper
Tool support for learning Büchi automata and linear temporal logic	2009-05-27	Paper
Learning Minimal Separating DFA’s for Compositional Verification	2009-03-31	Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages	2008-04-11	Paper
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic	2008-04-11	Paper

Research outcomes over time

This page was built for person: Yu-Fang Chen