Yu-Fang Chen

Available identifiers

zbMath Open chen.yu-fangMaRDI QIDQ740969

List of research outcomes

Publication	Date of Publication	Type
Word equations in synergy with regular constraints	2023-08-17	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
https://portal.mardi4nfdi.de/entity/Q2920108	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yu-Fang Chen