Paul L. Jones
Paul L. Jones
Verified email at
Cited by
Cited by
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
A formal methods approach to medical device review
R Jetley, SP Iyer, P Jones
Computer 39 (4), 61-67, 2006
Strategic traceability for safety-critical projects
P Mäder, PL Jones, Y Zhang, J Cleland-Huang
IEEE software 30 (3), 58-66, 2013
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
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 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
International Conference on Computer Aided Verification, 470-478, 2015
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
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
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
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
Interoperable medical devices
KK Venkatasubramanian, SKS Gupta, RP Jetley, PL Jones
IEEE Pulse 1 (2), 16-27, 2010
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
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
Combining PVSio with stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods Symposium, 209-214, 2014
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
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 formal methods-based verification approach to medical device software analysis
P Jones, R Jetley, J Abraham
Embedded Systems Design, 2010
The system can't perform the operation now. Try again later.
Articles 1–20