| 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 | 68 | 2011 |
| 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 | 56 | 2010 |
| 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 | 41 | 2015 |
| 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 | 36 | 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 | 29 | 2017 |
| Commutativity of reducers YF Chen, CD Hong, N Sinha, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2015 | 25 | 2015 |
| An executable sequential specification for Spark aggregation YF Chen, CD Hong, O Lengál, SC Mu, N Sinha, BY Wang International Conference on Networked Systems, 421-438, 2017 | 23 | 2017 |
| Probabilistic Bisimulation for Parameterized Systems CD Hong, AW Lin, R Majumdar, P Rümmer International Conference on Computer Aided Verification, 455-474, 2019 | 13 | 2019 |
| CSS Minification via Constraint Solving M Hague, AW Lin, CD Hong ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-76, 2019 | 11 | 2019 |
| Monadic Decomposability of Regular Relations (Track B: Automata, Logic, Semantics, and Theory of Programming) P Barceló, CD Hong, XB Le, AW Lin, R Niskanen 46th International Colloquium on Automata, Languages, and Programming (ICALP …, 2019 | 11 | 2019 |
| Parameterized Synthesis with Safety Properties O Markgraf, CD Hong, AW Lin, M Najib, D Neider Asian Symposium on Programming Languages and Systems, 273-292, 2020 | 10 | 2020 |
| Regular Abstractions for Array Systems CD Hong, AW Lin Proceedings of the ACM on Programming Languages 8 (POPL), 638-666, 2024 | 2 | 2024 |
| Symbolic techniques for parameterised verification CD Hong University of Oxford, 2022 | 1 | 2022 |
| Probabilistic Bisimulation for Parameterized Systems (Technical Report) CD Hong, AW Lin, R Majumdar, P Rümmer arXiv preprint arXiv:2011.02413, 2020 | | 2020 |
| CSS Minification via Constraint Solving (Technical Report) M Hague, AW Lin, CD Hong arXiv preprint arXiv:1812.02989, 2018 | | 2018 |
