Raoul Praful Jetley

15 papers A 1C 2Misc 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2015 — conf
Analyzing Dependencies in an Industrial Automation Engineering System.
ISEC
Atul Kumar, Raoul Praful Jetley, Anil R. Nair, Anand Rath, Aparajithan Vaidyanathan
2015 C conf
Discovering likely mappings between APIs using text mining.
SCAM
Rahul Pandita, Raoul Praful Jetley, Sithu D. Sudarsan, Laurie A. Williams
2013 C conf
An approach for comparison of IEC 61131-3 graphical programs.
ETFA
Raoul Praful Jetley, Anand Rath, V. Aparajithan, D. Kumar, Vinu Prasad, Srini Ramaswamy
2013 Misc conf
Medical Software - Issues and Best Practices.
ICDCIT
Raoul Praful Jetley, Sithu D. Sudarsan, Sampath R., Srini Ramaswamy
2013 — conf
Towards Requirements Change Decision Support.
APSEC (1)
Sanjay Ghosh, Srini Ramaswamy, Raoul Praful Jetley
2011 — conf
Architecture Reconstruction and Analysis of Medical Device Software.
WICSA
Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang
2011 Misc conf
Safety-assured development of the GPCA infusion pump software.
EMSOFT
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley
2009 J jnl
A publish-subscribe architecture and component-based programming model for medical device interoperability.
SIGBED Rev.
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
2009 — conf
An open test bed for medical device integration and coordination.
ICSE Companion
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
2009 — conf
Demonstration of a medical device integration and coordination framework.
ICSE Companion
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
2009 J jnl
Engineering high confidence medical device software.
SIGBED Rev.
Arnab Ray, Raoul Praful Jetley, Paul L. Jones
2006 — conf
A Formal Approach to Pre-Market Review for Medical Device Software.
COMPSAC (1)
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees
2006 J jnl
A Formal Methods Approach to Medical Device Review.
Computer
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones
2006 A conf
Using Abstraction-driven Slicing for Postmortem Analysis of Software.
ICPC
Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer
2004 J jnl
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.
Int. J. Softw. Tools Technol. Transf.
Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer