Xiaoqun Du
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1999–2000
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | CAV | 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 |
| 2000 | Coordination | GCCS: A Graphical Coordination Language for System Specification. | Rance Cleaveland, Xiaoqun Du, Scott A. Smolka |
| 2000 | RTSS | Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. | Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka |
| 1999 | TACAS | 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 |