The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xiaoqun Du: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:185-198 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:576-580 [Conf]
  3. Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan
    An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:254-268 [Conf]
  4. Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
    GCCS: A Graphical Coordination Language for System Specification. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:284-298 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:1-20 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:74-88 [Conf]
  7. Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
    Real-Time Verification Techniques for Untimed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:4, pp:505-528 [Journal]
  9. Xiaoqun Du, Scott A. Smolka, Rance Cleaveland
    Local Model Checking and Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:219-241 [Journal]

  10. Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. [Citation Graph (, )][DBLP]


Search in 0.179secs, Finished in 0.180secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002