Chih-Duo Hong
Chih-Duo Hong
Department of Computer Science, University of Oxford
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
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
472011
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
362010
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
302010
Commutativity of reducers
YF Chen, CD Hong, N Sinha, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
192015
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
132017
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
132017
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
132015
Monadic Decomposability of Regular Relations
P Barceló, CD Hong, XB Le, AW Lin, R Niskanen
arXiv preprint arXiv:1903.00728, 2019
42019
Probabilistic Bisimulation for Parameterized Systems
CD Hong, AW Lin, R Majumdar, P Rümmer
International Conference on Computer Aided Verification, 455-474, 2019
32019
CSS Minification via Constraint Solving
M Hague, AW Lin, CD Hong
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-76, 2019
22019
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
2020
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
The system can't perform the operation now. Try again later.
Articles 1–13