Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. - Parosh Aziz Abdulla; Yu-Fang Chen 001; Lorenzo Clemente; Lukás Holík; Chih-Duo Hong; Richard Mayr; Tomás Vojnar (CAV, 2010)

Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. - Parosh Aziz Abdulla; Yu-Fang Chen 001; Giorgio Delzanno; Frédéric Haziza; Chih-Duo Hong; Ahmed Rezine (CONCUR, 2010)

Advanced Ramsey-Based Büchi Automata Inclusion Testing. - Parosh Aziz Abdulla; Yu-Fang Chen 001; Lorenzo Clemente; Lukás Holík; Chih-Duo Hong; Richard Mayr; Tomás Vojnar (CONCUR, 2011)

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. - Yu-Fang Chen 001; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang 001 (CAV (1), 2015)

Commutativity of Reducers. - Yu-Fang Chen 001; Chih-Duo Hong; Nishant Sinha 001; Bow-Yaw Wang (TACAS, 2015)

Learning to prove safety over parameterised concurrent systems. - Yu-Fang Chen 001; Chih-Duo Hong; Anthony W. Lin; Philipp Rümmer (FMCAD, 2017)

An Executable Sequential Specification for Spark Aggregation. - Yu-Fang Chen 001; Chih-Duo Hong; Ondrej Lengál; Shin-Cheng Mu; Nishant Sinha 001; Bow-Yaw Wang (NETYS, 2017)

Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). - Yu-Fang Chen 001; Chih-Duo Hong; Anthony W. Lin; Philipp Rümmer (CoRR, 2017)

CSS Minification via Constraint Solving (Technical Report). - Matthew Hague; Anthony W. Lin; Chih-Duo Hong (CoRR, 2018)

Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). - Chih-Duo Hong; Anthony W. Lin; Rupak Majumdar; Philipp Rümmer (CAV (1), 2019)

Monadic Decomposability of Regular Relations. - Pablo Barceló; Chih-Duo Hong; Xuan Bach Le; Anthony W. Lin; Reino Niskanen (ICALP, 2019)

CSS Minification via Constraint Solving. - Matthew Hague; Anthony W. Lin; Chih-Duo Hong (ACM Trans. Program. Lang. Syst., 2019)

Parameterized Synthesis with Safety Properties. - Oliver Markgraf; Chih-Duo Hong; Anthony W. Lin; Muhammad Najib; Daniel Neider (APLAS, 2020)

Probabilistic Bisimulation for Parameterized Systems (Technical Report). - Chih-Duo Hong; Anthony W. Lin; Rupak Majumdar; Philipp Rümmer (CoRR, 2020)

Symbolic techniques for parameterised verification. - Chih-Duo Hong (2022)

Regular Abstractions for Array Systems. - Chih-Duo Hong; Anthony W. Lin (Proc. ACM Program. Lang., 2024)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. - Chih-Duo Hong; Anthony W. Lin; Philipp Rümmer; Rupak Majumdar (IEEE Trans. Software Eng., 2025)