Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems. - Kirk Sayre; Jim Kenner; Paul L. Jones (CBMS, 2001)

Introductory paper. - S. Purushothaman Iyer; David Hislop; Paul L. Jones; Jaime Lee; Frederick Pearce; Stephen Van Albert (Int. J. Softw. Tools Technol. Transf., 2004)

A Formal Approach to Pre-Market Review for Medical Device Software. - Raoul Praful Jetley; S. Purushothaman Iyer; Paul L. Jones; William Spees (COMPSAC (1), 2006)

A Formal Methods Approach to Medical Device Review. - Raoul Praful Jetley; S. Purushothaman Iyer; Paul L. Jones (Computer, 2006)

An open test bed for medical device integration and coordination. - Andrew L. King; Sam Procter; Daniel Andresen; John Hatcliff; Steve Warren; William Spees; Raoul Praful Jetley; Paul L. Jones; Sandy Weininger (ICSE Companion, 2009)

Demonstration of a medical device integration and coordination framework. - Andrew L. King; Sam Procter; Daniel Andresen; John Hatcliff; Steve Warren; William Spees; Raoul Praful Jetley; Paul L. Jones; Sandy Weininger (ICSE Companion, 2009)

Model-Based Testing of GUI-Driven Applications. - Vivien Chinnapongse; Insup Lee 001; Oleg Sokolsky; Shaohui Wang; Paul L. Jones (SEUS, 2009)

A publish-subscribe architecture and component-based programming model for medical device interoperability. - Andrew L. King; Sam Procter; Daniel Andresen; John Hatcliff; Steve Warren; William Spees; Raoul Praful Jetley; Paul L. Jones; Sandy Weininger (SIGBED Rev., 2009)

Engineering high confidence medical device software. - Arnab Ray; Raoul Praful Jetley; Paul L. Jones (SIGBED Rev., 2009)

Safety-assured development of the GPCA infusion pump software. - BaekGyu Kim; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001; Paul L. Jones; Yi Zhang 051; Raoul Praful Jetley (EMSOFT, 2011)

Architecture Reconstruction and Analysis of Medical Device Software. - Dharmalingam Ganesan; Mikael Lindvall; Rance Cleaveland; Raoul Praful Jetley; Paul L. Jones; Yi Zhang 051 (WICSA, 2011)

Towards a Framework for Safety Analysis of Body Sensor Networks. - Philip Asare; John C. Lach; John A. Stankovic; Yi Zhang 051; Paul L. Jones; Sandy Weininger (BODYNETS, 2013)

Strategic Traceability for Safety-Critical Projects. - Patrick Mäder; Paul L. Jones; Yi Zhang 051; Jane Cleland-Huang (IEEE Softw., 2013)

Formal Verification of Medical Device User Interfaces Using PVS. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Paul Curzon; Harold W. Thimbleby (FASE, 2014)

Certifiably safe software-dependent systems: challenges and directions. - John Hatcliff; Alan Wassyng; Tim Kelly; Cyrille Comar; Paul L. Jones (FOSE, 2014)

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Harold Thimbleby; Paul Curzon (MCPS, 2014)

Combining PVSio with Stateflow. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby (NASA Formal Methods, 2014)

PVSio-web 2.0: Joining PVS to HCI. - Paolo Masci 001; Patrick Oladimeji; Yi Zhang 051; Paul L. Jones; Paul Curzon; Harold W. Thimbleby (CAV (1), 2015)

Enabling Safe Interoperation by Medical Device Virtual Integration. - Brian R. Larson; Yi Zhang 051; Stephen C. Barrett; John Hatcliff; Paul L. Jones (IEEE Des. Test, 2015)

Bifurcation Analysis of Cardiac Alternans Using delta -Decidability. - Md. Ariful Islam; Greg Byrne; Soonho Kong; Edmund M. Clarke; Rance Cleaveland; Flavio H. Fenton; Radu Grosu; Paul L. Jones; Scott A. Smolka (CMSB, 2016)

Lagrangian Reachabililty. - Jacek Cyranka; Md. Ariful Islam; Greg Byrne; Paul L. Jones; Scott A. Smolka; Radu Grosu (CAV (1), 2017)

Safety-Focused Security Requirements Elicitation for Medical Device Software. - Mikael Lindvall; Madeline Diep; Michele Klein; Paul L. Jones; Yi Zhang 051; Eugene Y. Vasserman (RE, 2017)

Uniform Model Interface for Assurance Case Integration with System Models. - Andrzej Wardzinski; Paul L. Jones (SAFECOMP Workshops, 2017)

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; José Creissac Campos (SEFM, 2017)

The open PCA pump project: an exemplar open source medical device as a community resource. - John Hatcliff; Brian R. Larson; Todd Carpenter; Paul L. Jones; Yi Zhang 051; Joseph Jorgens (SIGBED Rev., 2019)

A use error taxonomy for improving human-machine interface design in medical devices. - Carlos Silva 005; Paolo Masci 001; Yi Zhang 051; Paul L. Jones; José Creissac Campos (SIGBED Rev., 2019)

Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. - Md. Ariful Islam; Rance Cleaveland; Flavio H. Fenton; Radu Grosu; Paul L. Jones; Scott A. Smolka (Theor. Comput. Sci., 2019)