Follow
Chih-Duo Hong (洪智鐸)
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
662011
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
522010
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
342015
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
342010
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
262017
Commutativity of reducers
YF Chen, CD Hong, N Sinha, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
242015
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
232017
Probabilistic Bisimulation for Parameterized Systems
CD Hong, AW Lin, R Majumdar, P Rümmer
International Conference on Computer Aided Verification, 455-474, 2019
112019
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
102019
CSS Minification via Constraint Solving
M Hague, AW Lin, CD Hong
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-76, 2019
92019
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
82020
Symbolic techniques for parameterised verification
CD Hong
University of Oxford, 2022
12022
Regular Abstractions for Array Systems
CD Hong, AW Lin
Proceedings of the ACM on Programming Languages 8 (POPL), 638-666, 2024
2024
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–15