Chih-Duo Hong 洪智鐸

Chih-Duo Hong 洪智鐸

National Chengchi University - Taipei / Taiwan
Others
AD Scientific Index ID: 5659118
國立政治大學
person_outline Chih-Duo Hong 洪智鐸's MOST POPULAR ARTICLES
1-) Advanced Ramsey-based Büchi automata inclusion testingPA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T VojnarInternational Conference on Concurrency Theory, 187-202, 2011682011
2-) Simulation subsumption in ramsey-based büchi automata universality and inclusion testingPA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T VojnarInternational Conference on Computer Aided Verification, 132-147, 2010552010
3-) Counterexample-guided polynomial loop invariant generation by lagrange interpolationYF Chen, CD Hong, BY Wang, L ZhangInternational Conference on Computer Aided Verification, 658-674, 2015372015
4-) Constrained monotonic abstraction: A cegar for parameterized verificationPA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A RezineInternational Conference on Concurrency Theory, 86-101, 2010362010
5-) Learning to prove safety over parameterised concurrent systemsYF Chen, CD Hong, AW Lin, P Rümmer2017 Formal Methods in Computer Aided Design (FMCAD), 76-83, 2017292017