Xiaoqun Du

According to our database, Xiaoqun Du authored at least 10 papers between 1997 and 2005.

Collaborative distances:

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

2005

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

Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003

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

2000

Real-Time Verification Techniques for Untimed Systems.

Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems.

Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

GCCS: A Graphical Coordination Language for System Specification.

Rance Cleaveland, Xiaoqun Du, Scott A. Smolka

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

XMC: A Logic-Programming-Based Verification Toolset.

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Local Model Checking and Protocol Analysis.

Xiaoqun Du, Scott A. Smolka, Rance Cleaveland

Int. J. Softw. Tools Technol. Transf., 1999

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

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren

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

1998

Logic Programming and Model Checking.

Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997

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

Proceedings of the Algebraic Methodology and Software Technology, 1997