Raoul Jetley

Cited by

	All	Since 2020
Citations	1155	373
h-index	18	10
i10-index	30	12

100

200620072008200920102011201220132014201520162017201820192020202120222023202420253 7 9 21 36 54 63 91 77 83 63 78 83 90 66 73 75 76 77 5

Public access

View all

2 articles

1 article

available

not available

Based on funding mandates

Co-authors

Paul L. JonesU.S. Food and Drug AdministrationVerified email at fda.hhs.gov
Yi ZhangMD PnP Interoperability Program, Massachusetts General HospitalVerified email at mgh.harvard.edu
S. Purushothaman IyerARO (Network Science) and NCSU (Compuer Science)Verified email at ncsu.edu
ARNAB RAYSenior Manager, Product Cybersecurity, AbbottVerified email at abbott.com
Srini RamaswamyVP Cloud and Emerging TechnologiesVerified email at computer.org
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Andrew L KingUniversity of PennsylvaniaVerified email at cis.upenn.edu
Sam ProcterArchitecture Researcher, Software Engineering InstituteVerified email at sei.cmu.edu
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateVerified email at ksu.edu
Daniel AndresenProfessor of Computer Science, Kansas State UniversityVerified email at ksu.edu
Sreeja S NairDitto Live IncVerified email at ditto.live
Sandeep K. S. GuptaAssociate Dean, Research, Fulton Schools of Engg., Prof. School of Computing & A.I.Verified email at asu.edu
Laurie WilliamsNorth Carolina State University, Computer Science, Distinguished Univ Prof, IEEE Fellow, ACM FellowVerified email at csc.ncsu.edu
Rahul PanditaStaff Researcher, Github Inc.Verified email at github.com
Ashish SurekaFounder and Director @ Robo Paathshaala, Associate Professor @ Ashoka UniversityVerified email at ieee.org
Cohan Sujay CarlosResearcher, Natural Language Processing, Aiaioo LabsVerified email at aiaioo.com
Prakash ChandrasekaranRolls-Royce @ NTU Corporate LabVerified email at cmi.ac.in
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu

Raoul Jetley

ABB Corporate Research

Verified email at alumni.ncsu.edu


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Safety-assured development of the gpca infusion pump software BG Kim, A Ayoub, O Sokolsky, I Lee, P Jones, Y Zhang, R Jetley Proceedings of the ninth ACM international conference on Embedded software …, 2011	113	2011
A formal methods approach to medical device review R Jetley, SP Iyer, P Jones Computer 39 (4), 61-67, 2006	111	2006
Formal methods based development of a PCA infusion pump reference model: Generic infusion pump (GIP) project D Arney, R Jetley, P Jones, I Lee, O Sokolsky 2007 Joint Workshop on High Confidence Medical Devices, Software, and …, 2007	107	2007
A hazard analysis for a generic insulin infusion pump Y Zhang, PL Jones, R Jetley Journal of diabetes science and technology 4 (2), 263-283, 2010	92	2010
An open test bed for medical device integration and coordination A King, S Procter, D Andresen, J Hatcliff, S Warren, W Spees, R Jetley, ... 2009 31st International Conference on Software Engineering-Companion Volume …, 2009	89	2009
Static analysis of medical device software using CodeSonar RP Jetley, PL Jones, P Anderson Proceedings of the 2008 workshop on Static analysis, 22-29, 2008	46	2008
Generic safety requirements for developing safe insulin pump software Y Zhang, R Jetley, PL Jones, A Ray Journal of diabetes science and technology 5 (6), 1403-1419, 2011	45	2011
A classification framework for automated control code generation in industrial automation H Koziolek, A Burger, M Platenius-Mohr, R Jetley Journal of Systems and Software 166, 110575, 2020	39	2020
Inter-operable Medical Devices: Security Issues K Venkatasubramanian, S Gupta, R Jetley, P Jones IEEE Pulse 1 (2), 16-27, 2010	38	2010
Discovering likely mappings between APIs using text mining R Pandita, RP Jetley, SD Sudarsan, L Williams 2015 IEEE 15th International Working Conference on Source Code Analysis and …, 2015	35	2015
Generic infusion pump hazard analysis and safety requirements version 1.0 DE Arney, R Jetley, I Lee, P Jones, O Sokolsky, A Ray, Y Zhang	28	2009
Source code metrics for programmable logic controller (PLC) ladder diagram (LD) visual programming language L Kumar, R Jetley, A Sureka Proceedings of the 7th International Workshop on Emerging Trends in Software …, 2016	22	2016
Rule-based code generation in industrial automation: four large-scale case studies applying the cayenne method H Koziolek, A Burger, M Platenius-Mohr, J Rückert, H Abukwaik, R Jetley, ... Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020	21	2020
Applying software engineering practices for development of industrial automation applications R Jetley, A Nair, P Chandrasekaran, A Dubey 2013 11th IEEE International Conference on Industrial Informatics (INDIN …, 2013	21	2013
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm RP Jetley, C Carlos, SP Iyer International Journal on Software Tools for Technology Transfer 5 (4), 320-330, 2004	21	2004
Language impact on productivity for industrial end users: A case study from Programmable Logic Controllers F Fronchetti, N Ritschel, R Holmes, L Li, M Soto, R Jetley, I Wiese, ... Journal of Computer Languages 69, 101087, 2022	20	2022
Design considerations for medical devices in the home environment D Kaufman-Rivi, J Collins-Mitchell, R Jetley Home Healthcare Horizons, 21-26, 2010	19	2010
A static code analysis tool for control system software S Nair, R Jetley, A Nair, S Hauck-Stattelmann 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015	18	2015
Towards requirements change decision support S Ghosh, S Ramaswamy, RP Jetley 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 148-155, 2013	18	2013
A formal methods-based verification approach to medical device software analysis P Jones, R Jetley, J Abraham Embedded Systems Design, 2010	18	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors