Paul L. Jones

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 8

Top Topics

Security Requirements

Medical Devices

Prize Collecting

Top Venues

Publications

Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. 765 (2019)
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A use error taxonomy for improving human-machine interface design in medical devices. SIGBED Rev. 16 (2) (2019)
John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens
The open PCA pump project: an exemplar open source medical device as a community resource. SIGBED Rev. 16 (2) (2019)
Mikael Lindvall, Madeline Diep, Michele Klein, Paul L. Jones, Yi Zhang, Eugene Y. Vasserman
Safety-Focused Security Requirements Elicitation for Medical Device Software. RE (2017)
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. SEFM (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CAV (1) (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CoRR (2017)
Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB (2016)
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
PVSio-web 2.0: Joining PVS to HCI. CAV (1) (2015)
Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones
Enabling Safe Interoperation by Medical Device Virtual Integration. IEEE Des. Test 32 (5) (2015)
Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby
Combining PVSio with Stateflow. NASA Formal Methods (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
Formal Verification of Medical Device User Interfaces Using PVS. FASE (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS (2014)
John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones
Certifiably safe software-dependent systems: challenges and directions. FOSE (2014)
Patrick Mäder, Paul L. Jones, Yi Zhang, Jane Cleland-Huang
Strategic Traceability for Safety-Critical Projects. IEEE Softw. 30 (3) (2013)
Philip Asare, John C. Lach, John A. Stankovic, Yi Zhang, Paul L. Jones, Sandy Weininger
Towards a Framework for Safety Analysis of Body Sensor Networks. BODYNETS (2013)
Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang
Architecture Reconstruction and Analysis of Medical Device Software. WICSA (2011)
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley
Safety-assured development of the GPCA infusion pump software. EMSOFT (2011)
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Rev. 6 (2) (2009)
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
An open test bed for medical device integration and coordination. ICSE Companion (2009)
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
Demonstration of a medical device integration and coordination framework. ICSE Companion (2009)
Arnab Ray, Raoul Praful Jetley, Paul L. Jones
Engineering high confidence medical device software. SIGBED Rev. 6 (2) (2009)
Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones
Model-Based Testing of GUI-Driven Applications. SEUS (2009)
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones
A Formal Methods Approach to Medical Device Review. Computer 39 (4) (2006)
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees
A Formal Approach to Pre-Market Review for Medical Device Software. COMPSAC (1) (2006)
S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert
Introductory paper. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
Kirk Sayre, Jim Kenner, Paul L. Jones
Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems. CBMS (2001)