Chih-Duo Hong
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols) Computer Aided Verification | 2024-02-16 | Paper |
| scientific article; zbMATH DE number 7561596 (Why is no real title available?) (available as arXiv preprint) | 2022-07-21 | Paper |
| Parameterized synthesis with safety properties (available as arXiv preprint) | 2021-07-08 | Paper |
| Counterexample-guided polynomial loop invariant generation by Lagrange interpolation (available as arXiv preprint) | 2018-03-01 | Paper |
| Advanced Ramsey-based Büchi automata inclusion testing CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
| Constrained monotonic abstraction: a CEGAR for parameterized verification CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Research outcomes over time
This page was built for person: Chih-Duo Hong
