Takip et
Yu-Fang Chen
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
iis.sinica.edu.tw üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
1612010
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
1352014
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
1142015
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
952018
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
832008
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
772014
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
692011
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
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
522018
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
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
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
422020
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
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20