Follow
Yu-Fang Chen
Yu-Fang Chen
Research Fellow, Academia Sinica
Verified email at iis.sinica.edu.tw - Homepage
Title
Cited by
Cited by
Year
When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata)
PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1472010
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1062014
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
912015
Learning minimal separating DFA’s for compositional verification
YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
802009
Extending automated compositional verification to the full class of omega-regular languages
A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
722008
Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution)
M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ...
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
692018
Counter-example guided fence insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
682012
GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
682007
Verifying curve25519 software
YF Chen, CH Hsu, HH Lin, P Schwabe, MH Tsai, BY Wang, BY Yang, ...
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
632014
Advanced Ramsey-based Büchi automata inclusion testing
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
602011
Automated assume-guarantee reasoning through implicit learning
YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
552010
Flatten and conquer: a framework for efficient analysis of string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
ACM SIGPLAN Notices 52 (6), 602-617, 2017
502017
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
CAV 6174, 132-147, 2010
492010
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
422013
Advanced automata-based algorithms for program termination checking
YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
362018
Automatic fence insertion in integer programs via predicate abstraction
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
332012
GOAL extended: Towards a research tool for omega automata and temporal logic
YK Tsay, YF Chen, MH Tsai, WC Chan, CJ Luo
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
322008
Trau: SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018
312018
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine
CONCUR, 86-101, 2010
312010
PAC learning-based verification and model synthesis
YF Chen, C Hsieh, O Lengál, TJ Lii, MH Tsai, BY Wang, F Wang
Proceedings of the 38th International Conference on Software Engineering …, 2016
262016
The system can't perform the operation now. Try again later.
Articles 1–20