 | 2008 |
|---|
| 8 |       | Yung-Pin Cheng,
Chun-Yu Lee:
ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way.
DMS 2008: 100-105 |
| 7 |  | Yung-Pin Cheng,
Jih-Feng Chen,
Ming-Chieh Chiu,
Nien-Wei Lai,
Chien-Chih Tseng:
xDIVA: a debugging visualization system with composable visualization metaphors.
OOPSLA Companion 2008: 807-810 |
| 6 | | Yung-Pin Cheng,
Han-Shu Chen:
SoftMon: programmable software monitoring with minimum overhead by helper-threading.
SAC 2008: 741-747 |
| 2006 |
|---|
| 5 | | Yung-Pin Cheng,
Hong-Yi Wang,
Yu-Ru Cheng:
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.
CIAA 2006: 219-229 |
| 4 | | Yung-Pin Cheng,
Yu-Ru Cheng,
Hong-Yi Wang:
ARCATS: a scalable compositional analysis tool suite.
SAC 2006: 1852-1853 |
| 2005 |
|---|
| 3 | | Yung-Pin Cheng:
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.
SPIN 2005: 139-153 |
| 2003 |
|---|
| 2 | | Yung-Pin Cheng,
Michal Young,
Che-Ling Huang,
Chia-Yi Pan:
Towards scalable compositional analysis by refactoring design models.
ESEC / SIGSOFT FSE 2003: 247-256 |
| 2002 |
|---|
| 1 | | Yung-Pin Cheng:
Refactoring design models for inductive verification.
ISSTA 2002: 164-168 |
