Raoul Praful Jetley - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2015

Analyzing Dependencies in an Industrial Automation Engineering SystemAtul Kumar, Raoul Praful Jetley, Anil R. Nair, Anand Rath, Aparajithan Vaidyanathan. indiaSE 2015: 60-69 [doi]

Discovering likely mappings between APIs using text miningRahul Pandita, Raoul Praful Jetley, Sithu D. Sudarsan, Laurie A. Williams. SCAM 2015: 231-240 [doi]

2013

2011

Architecture Reconstruction and Analysis of Medical Device SoftwareDharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang. wicsa 2011: 194-203 [doi]

Safety-assured development of the GPCA infusion pump softwareBaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley. emsoft 2011: 155-164 [doi]

2009

A publish-subscribe architecture and component-based programming model for medical device interoperabilityAndrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. sigbed, 6(2):7, 2009. [doi]

Demonstration of a medical device integration and coordination frameworkAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. ICSE 2009: 433-434 [doi]

An open test bed for medical device integration and coordinationAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. ICSE 2009: 141-151 [doi]

Engineering high confidence medical device softwareArnab Ray, Raoul Praful Jetley, Paul L. Jones. sigbed, 6(2):1, 2009. [doi]

2006

A Formal Approach to Pre-Market Review for Medical Device SoftwareRaoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees. compsac 2006: 169-177 [doi]

A Formal Methods Approach to Medical Device ReviewRaoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones. Computer, 39(4):61-67, 2006. [doi]

Using Abstraction-driven Slicing for Postmortem Analysis of SoftwareRaoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer. IWPC 2006: 107-116 [doi]

2004

A case study on applying formal methods to medical devices: computer-aided resuscitation algorithmRaoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer. STTT, 5(4):320-330, 2004. [doi]

Sign in or sign up to see more results.

runs on WebDSL