Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. - Xiaoqun Du; Kevin T. McDonnell; Evangelos Nanos; Y. S. Ramakrishna; Scott A. Smolka (AMAST, 1997)

Logic Programming and Model Checking. - Baoqiu Cui; Yifei Dong; Xiaoqun Du; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Abhik Roychoudhury; Scott A. Smolka; David Scott Warren (PLILP/ALP, 1998)

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. - Yifei Dong; Xiaoqun Du; Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Oleg Sokolsky; Eugene W. Stark; David Scott Warren (TACAS, 1999)

Local Model Checking and Protocol Analysis. - Xiaoqun Du; Scott A. Smolka; Rance Cleaveland (Int. J. Softw. Tools Technol. Transf., 1999)

XMC: A Logic-Programming-Based Verification Toolset. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Yifei Dong; Xiaoqun Du; Abhik Roychoudhury; V. N. Venkatakrishnan (CAV, 2000)

GCCS: A Graphical Coordination Language for System Specification. - Rance Cleaveland; Xiaoqun Du; Scott A. Smolka (COORDINATION, 2000)

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. - Xiaoqun Du; C. R. Ramakrishnan 001; Scott A. Smolka (RTSS, 2000)

Real-Time Verification Techniques for Untimed Systems. - Xiaoqun Du; C. R. Ramakrishnan 001; Scott A. Smolka (MTCS, 2000)

Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. - Yifei Dong; Xiaoqun Du; Gerard J. Holzmann; Scott A. Smolka (Int. J. Softw. Tools Technol. Transf., 2003)

An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. - Nina Amla; Xiaoqun Du; Andreas Kuehlmann; Robert P. Kurshan; Kenneth L. McMillan (CHARME, 2005)