Dave Peticolas

	2000
5		Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu: Intrusion detection inter-component adaptive negotiation. Computer Networks 34(4): 605-621 (2000)
	1999
4		Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu: Intrusion Detection Inter-component Adaptive Negotiation. Recent Advances in Intrusion Detection 1999
3		Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt: LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test., Verif. Reliab. 9(2): 107-133 (1999)
	1997
2		Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson: Verification of a Distributed Computing. HICSS (5) 1997: 252-261
	1996
1		Mark Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson: Towards Applying the Composition Principle to Verify a Microkernel Operating System. TPHOLs 1996: 235-250

Coauthor Index

1	Brian R. Becker	[1] [2] [3]
2	Lee Benzinger	[4] [5]
3	Rick Crawford	[4] [5]
4	Richard J. Feiertag	[4] [5]
5	Mark Heckman	[1] [2] [4] [5]
6	Karl N. Levitt	[1] [2] [3] [4] [5]
7	Ronald A. Olsson	[1] [2] [3]
8	Sue Rho	[4] [5]
9	Stuart Staniford-Chen (Stuart Staniford)	[4] [5]
10	Stephen Wu	[4] [5]
11	Cui Zhang	[1] [2] [3]