Travelled to:1 × USA
2 × United Kingdom
Collaborated with:Y.Chen B.Wang L.Zhang N.Sinha A.W.Lin R.Majumdar P.Rümmer P.A.Abdulla L.Clemente L.Holík R.Mayr T.Vojnar
Talks about:counterexampl (1) probabilist (1) parameter (1) subsumpt (1) protocol (1) polynomi (1) interpol (1) automata (1) univers (1) lagrang (1)
Person: Chih-Duo Hong
DBLP: Hong:Chih=Duo
Contributed to:
2015
201520102019Wrote 4 papers:
- CAV-2015-ChenHWZ #generative #invariant #polynomial
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
- TACAS-2015-ChenHSW #commutative #reduction
- Commutativity of Reducers (YFC, CDH, NS, BYW), pp. 131–146.
- CAV-2010-AbdullaCCHHMV #automaton #simulation #testing
- Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing (PAA, YFC, LC, LH, CDH, RM, TV), pp. 132–147.
- CAV-2019-HongLMR #bisimulation #probability #protocol #verification
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) (CDH, AWL, RM, PR), pp. 455–474.