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
PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2010
1252010
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
International Conference on Computer Aided Verification, 150-166, 2014
892014
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
742015
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
732009
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
692008
Counter-example guided fence insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Conference on Tools and Algorithms for the Construction and …, 2012
672012
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
592007
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
552014
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
512011
Automated assume-guarantee reasoning through implicit learning
YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang
International Conference on Computer Aided Verification, 511-526, 2010
492010
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
412017
Ultimate automizer and the search for perfect interpolants
M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ...
International Conference on Tools and Algorithms for the Construction and …, 2018
392018
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Conference on Tools and Algorithms for the Construction and …, 2013
392013
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
372010
Automatic fence insertion in integer programs via predicate abstraction
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Static Analysis Symposium, 164-180, 2012
332012
Constrained monotonic abstraction: A cegar for parameterized verification
PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine
International Conference on Concurrency Theory, 86-101, 2010
312010
GOAL extended: Towards a research tool for omega automata and temporal logic
YK Tsay, YF Chen, MH Tsai, WC Chan, CJ Luo
International Conference on Tools and Algorithms for the Construction and …, 2008
272008
Commutativity of reducers
YF Chen, CD Hong, N Sinha, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
212015
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
202018
Optimal sanitization synthesis for web application vulnerability repair
F Yu, CY Shueh, CH Lin, YF Chen, BY Wang, T Bultan
Proceedings of the 25th International Symposium on Software Testing and …, 2016
202016
The system can't perform the operation now. Try again later.
Articles 1–20