 | 2011 |
|---|
| 7 |       | 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 |
|---|
| 6 | | 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 |
| 5 | | 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 |
| 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,
Yi Zhang,
S. Purushothaman Iyer:
Using Abstraction-driven Slicing for Postmortem Analysis of Software.
ICPC 2006: 107-116 |
| 2 | | 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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page