dblp.uni-trier.dewww.uni-trier.de

Xiaoqun Du

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
9EENina 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
8EEYifei 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
6EERance Cleaveland, Xiaoqun Du, Scott A. Smolka: GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298
5EEXiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka: Real-Time Verification Techniques for Untimed Systems. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
1999
4EEYifei 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
3EEXiaoqun Du, Scott A. Smolka, Rance Cleaveland: Local Model Checking and Protocol Analysis. STTT 2(3): 219-241 (1999)
1998
2EEBaoqiu 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

Coauthor Index

1Nina Amla [9]
2Rance Cleaveland [3] [6]
3Baoqiu Cui [2]
4Yifei Dong [2] [4] [7] [8]
5Gerard J. Holzmann [8]
6Andreas Kuehlmann [9]
7K. Narayan Kumar [2]
8Robert P. Kurshan [9]
9Kevin T. McDonnell [1]
10Kenneth L. McMillan [9]
11Evangelos Nanos [1]
12Y. S. Ramakrishna [1] [4]
13C. R. Ramakrishnan [2] [4] [5] [7]
14I. V. Ramakrishnan [2] [4] [7]
15Abhik Roychoudhury [2] [7]
16Scott A. Smolka [1] [2] [3] [4] [5] [6] [7] [8]
17Oleg Sokolsky [4]
18Eugene W. Stark [4]
19V. N. Venkatakrishnan [7]
20David Scott Warren [2] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)