| 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 | 127 | 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 | 82 | 2014 |
| 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 | 71 | 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 | 69 | 2008 |
| 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 | 68 | 2015 |
| 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 | 66 | 2012 |
| 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 | 58 | 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 | 50 | 2014 |
| 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 | 47 | 2010 |
| 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 | 45 | 2011 |
| 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 | 39 | 2013 |
| 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 | 37 | 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 International Conference on Computer Aided Verification, 132-147, 2010 | 34 | 2010 |
| 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 | 33 | 2012 |
| 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 | 31 | 2018 |
| 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 | 30 | 2010 |
| 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 | 27 | 2008 |
| PAC learning-based verification and model synthesis YF Chen, C Hsieh, O Lengál, TJ Lii, MH Tsai, BY Wang, F Wang 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016 | 20 | 2016 |
| Learning boolean functions incrementally YF Chen, BY Wang International Conference on Computer Aided Verification, 55-70, 2012 | 20 | 2012 |
| Commutativity of reducers YF Chen, CD Hong, N Sinha, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2015 | 19 | 2015 |
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
