Search the dblp DataBase

Publications of Author

1. Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees
   A Formal Approach to Pre-Market Review for Medical Device Software. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2006, pp:169-177 [Conf]
   
2. Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer
   Using Abstraction-driven Slicing for Postmortem Analysis of Software. [Citation Graph (0, 0)][DBLP]
   ICPC, 2006, pp:107-116 [Conf]
   
3. Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones
   A Formal Methods Approach to Medical Device Review. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 2006, v:39, n:4, pp:61-67 [Journal]
   
4. Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer
   A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:4, pp:320-330 [Journal]
   
5. 
   An open test bed for medical device integration and coordination. [Citation Graph (, )][DBLP]
   
   
6. 
   Demonstration of a medical device integration and coordination framework. [Citation Graph (, )][DBLP]