Paul L. Jones

	2011
8		BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley: Safety-assured development of the GPCA infusion pump software. EMSOFT 2011: 155-164
	2009
7		Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger: An open test bed for medical device integration and coordination. ICSE Companion 2009: 141-151
6		Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger: Demonstration of a medical device integration and coordination framework. ICSE Companion 2009: 433-434
5		Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones: Model-Based Testing of GUI-Driven Applications. SEUS 2009: 203-214
	2006
4		Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees: A Formal Approach to Pre-Market Review for Medical Device Software. COMPSAC (1) 2006: 169-177
3		Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones: A Formal Methods Approach to Medical Device Review. IEEE Computer 39(4): 61-67 (2006)
	2004
2		S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert: Introductory paper. STTT 5(4): 299-300 (2004)
	2001
1		Kirk Sayre, Jim Kenner, Paul L. Jones: Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems. CBMS 2001: 445-

Coauthor Index

1	Stephen Van Albert	[2]
2	Daniel Andresen	[6] [7]
3	Anaheed Ayoub	[8]
4	Vivien Chinnapongse	[5]
5	John Hatcliff	[6] [7]
6	David Hislop	[2]
7	S. Purushothaman Iyer (S. Purushothaman)	[2] [3] [4]
8	Raoul Praful Jetley	[3] [4] [6] [7] [8]
9	Jim Kenner	[1]
10	BaekGyu Kim	[8]
11	Andrew L. King	[6] [7]
12	Insup Lee	[5] [8]
13	Jaime Lee	[2]
14	Frederick Pearce	[2]
15	Sam Procter	[6] [7]
16	Kirk Sayre	[1]
17	Oleg Sokolsky	[5] [8]
18	William Spees	[4] [6] [7]
19	Shaohui Wang	[5]
20	Steve Warren	[6] [7]
21	Sandy Weininger	[6] [7]
22	Yi Zhang	[8]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page