Xiaoqun Du

	2005
10		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
9		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
8		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
7		Rance Cleaveland, Xiaoqun Du, Scott A. Smolka: GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298
6		Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka: Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. IEEE Real-Time Systems Symposium 2000: 175-184
5		Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka: Real-Time Verification Techniques for Untimed Systems. Electr. Notes Theor. Comput. Sci. 39(3): 258-272 (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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page