 | 2009 |
|---|
| 7 |       | Andrew 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 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- |
