Dezhuang Zhang

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Dezhuang Zhang, Rance Cleaveland
Fast Generic Model-Checking for Data-Based Systems. FORTE (2005)
Dezhuang Zhang, Rance Cleaveland
Fast On-the-Fly Parametric Real-Time Model Checking. RTSS (2005)
Dezhuang Zhang, Rance Cleaveland
Efficient temporal-logic query checking for presburger systems. ASE (2005)
Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. TACAS (2003)