Chih-Duo Hong

Available identifiers

zbMath Open hong.chih-duoMaRDI QIDQ1702934

List of research outcomes

Publication	Date of Publication	Type
Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols)	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5091265	2022-07-21	Paper
Parameterized synthesis with safety properties	2021-07-08	Paper
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation	2018-03-01	Paper
Advanced Ramsey-based Büchi automata inclusion testing	2011-09-02	Paper
Constrained monotonic abstraction: a CEGAR for parameterized verification	2010-08-31	Paper

Research outcomes over time

This page was built for person: Chih-Duo Hong