Searching for authors named "Xiaoqun Du" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

Tabled Resolution and Constraints for Model Checking Real-Time Systems and Infinite-State Systems
by Xiaoqun Du, Xiaoqun Du — 2000
… dissertation presented by Xiaoqun Du to The Graduate School in partial fulfillment of the requirements…
Add To MetaCart

Region Graphs for Infinite-State Systems
by Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka, Contact Xiaoqun Du
…Region Graphs for Innite-State Systems Xiaoqun Du C.R. Ramakrishnan Scott A. Smolka Department…
Add To MetaCart

Local Model Checking and Protocol Analysis
by Xiaoqun Du, Scott A. Smolka, Rance Cleaveland — 1999
… Checking and Protocol Analysis ? Xiaoqun Du, Scott A. Smolka, Rance Cleaveland Department of Computer…
Cited by 10 (3 self) – Add To MetaCart

Real-Time Verification Techniques for Untimed Systems
by Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
…Real-Time Verication Techniques for Untimed Systems Xiaoqun Du C.R. Ramakrishnan Scott A. Smolka…
Cited by 2 (0 self) – Add To MetaCart

Gccs: A graphical coordination language for system specification
by Rance Cleavel, Xiaoqun Du, Scott A. Smolka — 1906 — COORDINATION 2000,Lecture Notes in Computer Science
…GCCS: A Graphical Coordination Language for System Specification Rance Cleaveland, Xiaoqun Du…
Cited by 3 (1 self) – Add To MetaCart

GCCS: A Graphical Coordination Language for System Specification
by Rance Cleaveland, Xiaoqun Du, Scott A. Smolka — 1906 — COORDINATION 2000,Lecture Notes in Computer Science
…GCCS: A Graphical Coordination Language for System Specication Rance Cleaveland, Xiaoqun Du, Scott…
Cited by 1 (0 self) – Add To MetaCart

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems
by Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka — 1999 — In IEEE Real Time Systems Symposium (RTSS
…Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems Xiaoqun Du C…
Cited by 15 (4 self) – Add To MetaCart

Real-Time Veri cation Techniques for Untimed Systems
by Xiaoqun Du Ramakrishnan, C. R. Ramakrishnan, Scott A. Smolka — 2000
…://www.elsevier.nl/locate/entcs/volume39.html 15 pages Real-Time Verication Techniques for Untimed Systems Xiaoqun Du, C.R. Ramakrishnan…
Add To MetaCart

Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study
by Xiaoqun Du, Kevin T. Mcdonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka — 1997 — In Proceedings of the Sixth International Conference on Algebraic Methodology and Software Technology (AMAST’97
… ? Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y.S. Ramakrishna, Scott A. Smolka Department of Computer…
Cited by 3 (2 self) – Add To MetaCart

XMC: A Logic-Programming-Based Verification Toolset
by C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan — 2000 — In Computer Aided Verification (CAV
…, Scott A. Smolka with Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, and V. N. Venkatakrishnan 1…
Cited by 22 (11 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB