Michael D. Jones

	2005
6		Michael D. Jones, Jacob Sorber: Parallel search for LTL violations. STTT 7(1): 31-42 (2005)
	2004
5		Bryan Smith, Kent E. Seamons, Michael D. Jones: Responding to Policies at Runtime in TrustBuilder. POLICY 2004: 149-158
	2002
4		Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen: Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB 2002: 22-41
	2000
3		Michael D. Jones, Ganesh Gopalakrishnan: Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. FMCAD 2000: 505-519
2		Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan: Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods in System Design 16(1): 93-119 (2000)
	1998
1		Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley: Alexandria: A Tool for Hierarchical Verification. FMCAD 1998: 515-522

Coauthor Index

1	Annette Bunker	[1]
2	Dominique Cansell	[4]
3	Ganesh Gopalakrishnan	[2] [3] [4]
4	Ravi Hosabettu	[2]
5	Trent N. Larson	[1]
6	Dominique Méry	[4]
7	Abdelillah Mokkedem (Abdel Mokkedem)	[2]
8	Kent E. Seamons	[5]
9	Bryan Smith	[5]
10	Jacob Sorber	[6]
11	Airy Weinzoepflen	[4]
12	Phillip J. Windley	[1]

Colors in the list of coauthors