Paul L. Jones
Paul L. Jones
Verified email at fda.hhs.gov
TitleCited byYear
A formal methods approach to medical device review
R Jetley, SP Iyer, P Jones
Computer 39 (4), 61-67, 2006
822006
Safety-assured development of the gpca infusion pump software
BG Kim, A Ayoub, O Sokolsky, I Lee, P Jones, Y Zhang, R Jetley
2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011
782011
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
752007
Strategic traceability for safety-critical projects
P Mäder, PL Jones, Y Zhang, J Cleland-Huang
IEEE software 30 (3), 58-66, 2013
742013
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
722009
Certifiably safe software-dependent systems: challenges and directions
J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones
Proceedings of the on Future of Software Engineering, 182-200, 2014
622014
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
512010
Formal verification of medical device user interfaces using PVS
P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby
International Conference on Fundamental Approaches to Software Engineering …, 2014
402014
PVSio-web 2.0: Joining PVS to HCI
P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby
International Conference on Computer Aided Verification, 470-478, 2015
312015
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
282008
Risk management in the design of medical device software systems
PL Jones, J Jorgens III, AR Taylor Jr, M Weber
Biomedical instrumentation & technology 36 (4), 237-266, 2002
252002
Interoperable medical devices
KK Venkatasubramanian, SKS Gupta, RP Jetley, PL Jones
IEEE Pulse 1 (2), 16-27, 2010
212010
Second insulin pump safety meeting: summary report
Y Zhang, PL Jones, DC Klonoff
Journal of diabetes science and technology 4 (2), 488-493, 2010
212010
Model-based testing of GUI-driven applications
V Chinnapongse, I Lee, O Sokolsky, S Wang, PL Jones
IFIP International Workshop on Software Technolgies for Embedded and …, 2009
212009
Generic infusion pump hazard analysis and safety requirements version 1.0
DE Arney, R Jetley, P Jones, I Lee, A Ray, O Sokolsky, Y Zhang
Technical Reports (CIS), 893, 2009
212009
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
192011
Combining PVSio with stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods Symposium, 209-214, 2014
142014
A formal methods-based verification approach to medical device software analysis
P Jones, R Jetley, J Abraham
Embedded Systems Design, 2010
132010
Safety requirements based analysis of infusion pump software
R Jetley, P Jones
IEEE RTSS/SMDS, 310-325, 2007
132007
A generic user interface architecture for analyzing use hazards in infusion pump software
P Masci, Y Zhang, P Jones, H Thimbleby, P Curzon
5th Workshop on Medical Cyber-Physical Systems, 2014
122014
The system can't perform the operation now. Try again later.
Articles 1–20