Paul L. Jones
Paul L. Jones
Verified email at
Cited by
Cited by
Strategic traceability for safety-critical projects
P Mäder, PL Jones, Y Zhang, J Cleland-Huang
IEEE software 30 (3), 58-66, 2013
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
Certifiably safe software-dependent systems: challenges and directions
J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones
Future of Software Engineering Proceedings, 182-200, 2014
A formal methods approach to medical device review
R Jetley, SP Iyer, P Jones
Computer 39 (4), 61-67, 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
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
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
PVSio-web 2.0: Joining PVS to HCI
P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Formal verification of medical device user interfaces using PVS
P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby
Fundamental Approaches to Software Engineering: 17th International …, 2014
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
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
Interoperable medical devices
KK Venkatasubramanian, SKS Gupta, RP Jetley, PL Jones
IEEE Pulse 1 (2), 16-27, 2010
Asymmetrical atrophy of thalamic subnuclei in Alzheimer's disease and amyloid-positive mild cognitive impairment is associated with key clinical features
A Low, E Mak, M Malpetti, L Chouliaras, N Nicastro, L Su, N Holland, ...
Alzheimer's & Dementia: Diagnosis, Assessment & Disease Monitoring 11, 690-699, 2019
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
Model-based testing of gui-driven applications
V Chinnapongse, I Lee, O Sokolsky, S Wang, PL Jones
Software Technologies for Embedded and Ubiquitous Systems: 7th IFIP WG 10.2 …, 2009
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
A study of the physiology of Bacillus anthracis Sterne during manufacture of the UK acellular anthrax vaccine
S Charlton, M Herbert, J McGlashan, A King, P Jones, K West, A Roberts, ...
Journal of applied microbiology 103 (5), 1453-1460, 2007
Enabling safe interoperation by medical device virtual integration
BR Larson, Y Zhang, SC Barrett, J Hatcliff, PL Jones
IEEE Design & Test 32 (5), 74-88, 2015
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
Second insulin pump safety meeting: summary report
Y Zhang, PL Jones, DC Klonoff
Journal of diabetes science and technology 4 (2), 488-493, 2010
The system can't perform the operation now. Try again later.
Articles 1–20