| * | 2009 |
|---|
| 6 | EE | 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 |
| 5 | EE | 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 |
| 2006 |
|---|
| 4 | EE | 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 | EE | Raoul Praful Jetley,
Yi Zhang,
S. Purushothaman Iyer:
Using Abstraction-driven Slicing for Postmortem Analysis of Software.
ICPC 2006: 107-116 |
| 2 | EE | 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 |
|---|
| 1 | EE | Raoul Praful Jetley,
Cohan Carlos,
S. Purushothaman Iyer:
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.
STTT 5(4): 320-330 (2004) |
