Kevin Jones

	2007
4		Scott Little, David Walter, Kevin Jones, Chris J. Myers: Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. ATVA 2007: 114-128
	2006
3		Kevin Jones, Frank Boria, Richard J. Bachmann, Ravi Vaidyanathan, Peter G. Ifju, Roger D. Quinn: MMALV - The Morphing Micro Air-Land Vehicle. IROS 2006
2		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones: A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182
	2005
1		Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan: Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS 2005: 92-103

Coauthor Index

1	Richard J. Bachmann	[3]
2	Frank Boria	[3]
3	Antonio Cau	[1] [2]
4	Peter G. Ifju	[3]
5	Helge Janicke	[1] [2]
6	Scott Little	[4]
7	Chris J. Myers	[4]
8	Roger D. Quinn	[3]
9	François Siewe	[1] [2]
10	Ravi Vaidyanathan	[3]
11	David Walter	[4]
12	Hussein Zedan (Hussein S. M. Zedan)	[1] [2]

Colors in the list of coauthors