| |
| 2005 | ||
|---|---|---|
| 4 | EE | Dezhuang Zhang, Rance Cleaveland: Efficient temporal-logic query checking for presburger systems. ASE 2005: 24-33 |
| 3 | EE | Dezhuang Zhang, Rance Cleaveland: Fast Generic Model-Checking for Data-Based Systems. FORTE 2005: 83-97 |
| 2 | EE | Dezhuang Zhang, Rance Cleaveland: Fast On-the-Fly Parametric Real-Time Model Checking. RTSS 2005: 157-166 |
| 2003 | ||
| 1 | EE | Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark: The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. TACAS 2003: 431-436 |
| 1 | Rance Cleaveland | [1] [2] [3] [4] |
| 2 | Eugene W. Stark | [1] |