 | 2005 |
|---|
| 9 |       | 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: 254-268 |
| 2003 |
|---|
| 8 | | 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.
STTT 4(4): 505-528 (2003) |
| 2000 |
|---|
| 7 |  | 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: 576-580 |
| 6 | | Rance Cleaveland,
Xiaoqun Du,
Scott A. Smolka:
GCCS: A Graphical Coordination Language for System Specification.
COORDINATION 2000: 284-298 |
| 5 | | Xiaoqun Du,
C. R. Ramakrishnan,
Scott A. Smolka:
Real-Time Verification Techniques for Untimed Systems.
Electr. Notes Theor. Comput. Sci. 39(3): (2000) |
| 1999 |
|---|
| 4 | | 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: 74-88 |
| 3 | | Xiaoqun Du,
Scott A. Smolka,
Rance Cleaveland:
Local Model Checking and Protocol Analysis.
STTT 2(3): 219-241 (1999) |
| 1998 |
|---|
| 2 | | 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: 1-20 |
| 1997 |
|---|
| 1 | | 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: 185-198 |
