Xiaoqun Du

Publication Activity (10 Years)

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

Publications

Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. CHARME (2005)
Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. RTSS (2000)
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
Real-Time Verification Techniques for Untimed Systems. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
GCCS: A Graphical Coordination Language for System Specification. COORDINATION (2000)
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan
XMC: A Logic-Programming-Based Verification Toolset. CAV (2000)
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS (1999)
Xiaoqun Du, Scott A. Smolka, Rance Cleaveland
Local Model Checking and Protocol Analysis. Int. J. Softw. Tools Technol. Transf. 2 (3) (1999)
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
Logic Programming and Model Checking. PLILP/ALP (1998)
Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST (1997)