Chih-Duo Hong
Chih-Duo Hong
Department of Computer Science, University of Oxford
Dirección de correo verificada de cs.ox.ac.uk
Título
Citado por
Citado por
Año
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
392011
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
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
302010
Commutativity of reducers
YF Chen, CD Hong, N Sinha, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
182015
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
122015
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
72017
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
62017
Probabilistic Bisimulation for Parameterized Systems
CD Hong, AW Lin, R Majumdar, P Rümmer
International Conference on Computer Aided Verification, 455-474, 2019
12019
Monadic Decomposability of Regular Relations
P Barceló, CD Hong, XB Le, AW Lin, R Niskanen
arXiv preprint arXiv:1903.00728, 2019
12019
CSS Minification via Constraint Solving
M Hague, AW Lin, CD Hong
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-76, 2019
2019
CSS Minification via Constraint Solving (Technical Report)
M Hague, AW Lin, CD Hong
arXiv preprint arXiv:1812.02989, 2018
2018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–11