Xiaoqun Du

The Speciication of Real-time Systems

Xiaoqun Du, 1998 .

GCCS: A Graphical Coordination Language for System Specification

Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 2000, COORDINATION.

Local model checking and protocol analysis

Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 1999, International Journal on Software Tools for Technology Transfer.

Software Tools for Technology Transfer Manuscript No. Fighting Livelock in the Gnu I-protocol: a Case Study in Explicit-state Model Checking

Gerard J. Holzmann, Scott A. Smolka, Xiaoqun Du, 2022 .

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1999, TACAS.

Logic Programming and Model Checking

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, PLILP/ALP.

An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment

Robert P. Kurshan, Kenneth L. McMillan, Nina Amla, 2005, CHARME.

Insulating and conducting phases of RbC60.

Stephens, Koller, Mártin, 1993, Physical review. B, Condensed matter.

Tabled resolution + constraints: a recipe for model checking real-time systems

C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Proceedings 21st IEEE Real-Time Systems Symposium.