Follow
Yu-Fang Chen
Yu-Fang Chen
Research Fellow/Professor, 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
International Conference on Tools and Algorithms for the Construction and …, 2010
1582010
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
1302014
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
International conference on computer aided verification, 462-469, 2015
1102015
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
932018
Learning minimal separating DFA’s for compositional verification
YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2009
912009
Extending automated compositional verification to the full class of omega-regular languages
A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2008
822008
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
762014
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
752012
Goal: A graphical tool for manipulating büchi automata and temporal formulae
YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan
International Conference on Tools and Algorithms for the Construction and …, 2007
732007
Advanced Ramsey-based Büchi automata inclusion testing
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
International Conference on Concurrency Theory, 187-202, 2011
682011
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
632010
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
602017
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
International Conference on Computer Aided Verification, 132-147, 2010
572010
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
492018
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
482018
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
432013
Counterexample-guided polynomial loop invariant generation by lagrange interpolation
YF Chen, CD Hong, BY Wang, L Zhang
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
412015
Efficient handling of string-number conversion
PA Abdulla, MF Atig, YF Chen, BP Diep, J Dolby, P Janků, HH Lin, L Holík, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
392020
Constrained monotonic abstraction: A CEGAR for parameterized verification
PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
362010
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
342012
The system can't perform the operation now. Try again later.
Articles 1–20