The SCEAS System
Navigation Menu

Search the dblp DataBase


Raoul Praful Jetley: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002