Suivre
Paul L. Jones
Paul L. Jones
Adresse e-mail validée de fda.hhs.gov
Titre
Citée par
Citée par
Année
Strategic traceability for safety-critical projects
P Mäder, PL Jones, Y Zhang, J Cleland-Huang
IEEE software 30 (3), 58-66, 2013
1232013
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
1062011
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
1022014
A formal methods approach to medical device review
R Jetley, SP Iyer, P Jones
Computer 39 (4), 61-67, 2006
972006
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
942007
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
852009
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
782010
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
562015
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
502014
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
402011
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
402008
Interoperable medical devices
KK Venkatasubramanian, SKS Gupta, RP Jetley, PL Jones
IEEE Pulse 1 (2), 16-27, 2010
322010
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
322002
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
302009
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
252009
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
252007
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
232014
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
212015
Combining PVSio with stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
212014
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20