| 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 | 167 | 2010 |
| 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 | 157 | 2014 |
| 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 | 133 | 2015 |
| Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution) 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 | 106 | 2018 |
| 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 | 96 | 2009 |
| 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 | 89 | 2008 |
| 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 | 80 | 2014 |
| 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 | 77 | 2012 |
| 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 | 75 | 2017 |
| 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 | 70 | 2011 |
| 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 | 70 | 2007 |
| 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 | 69 | 2010 |
| 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 | 64 | 2018 |
| 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 | 57 | 2010 |
| Learning to prove safety over parameterised concurrent systems YF Chen, CD Hong, AW Lin, P Rümmer 2017 Formal Methods in Computer Aided Design (FMCAD), 76-83, 2017 | 48 | 2017 |
| 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 | 47 | 2018 |
| An automata-based framework for verification and bug hunting in quantum circuits YF Chen, KM Chung, O Lengál, JA Lin, WL Tsai, DD Yen Proceedings of the ACM on Programming Languages 7 (PLDI), 1218-1243, 2023 | 46 | 2023 |
| 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 | 45 | 2020 |
| Counterexample-guided polynomial loop invariant generation by lagrange interpolation YF Chen, CD Hong, BY Wang, L Zhang International Conference on Computer Aided Verification, 658-674, 2015 | 42 | 2015 |
| A novel learning algorithm for Büchi automata based on family of DFAs and classification trees Y Li, YF Chen, L Zhang, D Liu Information and Computation 281, 104678, 2021 | 40 | 2021 |
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
