| 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 | 148 | 2010 |
| 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 | 109 | 2014 |
| 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 | 93 | 2015 |
| 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 | 80 | 2009 |
| 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 | 72 | 2008 |
| 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 | 69 | 2018 |
| 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 | 68 | 2012 |
| 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 | 68 | 2007 |
| 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 | 64 | 2014 |
| 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 | 60 | 2011 |
| 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 | 55 | 2010 |
| 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 | 53 | 2017 |
| 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 | 50 | 2010 |
| 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 | 42 | 2013 |
| 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 | 38 | 2018 |
| 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 | 33 | 2018 |
| 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 | 33 | 2012 |
| Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine CONCUR, 86-101, 2010 | 32 | 2010 |
| 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 | 32 | 2008 |
| 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 | 27 | 2015 |
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
