The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. - Dezhuang Zhang; Rance Cleaveland; Eugene W. Stark (TACAS, 2003)

Fast Generic Model-Checking for Data-Based Systems. - Dezhuang Zhang; Rance Cleaveland (FORTE, 2005)

Efficient temporal-logic query checking for presburger systems. - Dezhuang Zhang; Rance Cleaveland (ASE, 2005)

Fast On-the-Fly Parametric Real-Time Model Checking. - Dezhuang Zhang; Rance Cleaveland (RTSS, 2005)