Dezhuang Zhang

According to our database, Dezhuang Zhang authored at least 4 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Fast On-the-Fly Parametric Real-Time Model Checking.

Dezhuang Zhang, Rance Cleaveland

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Efficient temporal-logic query checking for presburger systems.

Dezhuang Zhang, Rance Cleaveland

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Fast Generic Model-Checking for Data-Based Systems.

Dezhuang Zhang, Rance Cleaveland

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2003

The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.

Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003