Paul L. Jones

According to our database, Paul L. Jones authored at least 27 papers between 2001 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

A use error taxonomy for improving human-machine interface design in medical devices.

Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos

SIGBED Rev., 2019

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, Joseph Jorgens

SIGBED Rev., 2019

2017

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices.

Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Uniform Model Interface for Assurance Case Integration with System Models.

Andrzej Wardzinski, Paul L. Jones

Proceedings of the Computer Safety, Reliability, and Security, 2017

Safety-Focused Security Requirements Elicitation for Medical Device Software.

Mikael Lindvall, Madeline Diep, Michele Klein, Paul L. Jones, Yi Zhang, Eugene Y. Vasserman

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Lagrangian Reachabililty.

Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

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

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Enabling Safe Interoperation by Medical Device Virtual Integration.

Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones

IEEE Des. Test, 2015

PVSio-web 2.0: Joining PVS to HCI.

Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Combining PVSio with Stateflow.

Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software.

Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Certifiably safe software-dependent systems: challenges and directions.

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones

Proceedings of the on Future of Software Engineering, 2014

Formal Verification of Medical Device User Interfaces Using PVS.

Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Strategic Traceability for Safety-Critical Projects.

Patrick Mäder, Paul L. Jones, Yi Zhang, Jane Cleland-Huang

IEEE Softw., 2013

Towards a Framework for Safety Analysis of Body Sensor Networks.

Philip Asare, John C. Lach, John A. Stankovic, Yi Zhang, Paul L. Jones, Sandy Weininger

Proceedings of the 8th International Conference on Body Area Networks, 2013

2011

Architecture Reconstruction and Analysis of Medical Device Software.

Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Safety-assured development of the GPCA infusion pump software.

BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley

Proceedings of the 11th International Conference on Embedded Software, 2011

2009

Engineering high confidence medical device software.

Arnab Ray, Raoul Praful Jetley, Paul L. Jones

SIGBED Rev., 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

Model-Based Testing of GUI-Driven Applications.

Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 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

Proceedings of the 31st International Conference on Software Engineering, 2009

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

Proceedings of the 31st International Conference on Software Engineering, 2009

2006

A Formal Methods Approach to Medical Device Review.

Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones

Computer, 2006

A Formal Approach to Pre-Market Review for Medical Device Software.

Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2004

Introductory paper.

S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert

Int. J. Softw. Tools Technol. Transf., 2004

2001

Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems.

Kirk Sayre, Jim Kenner, Paul L. Jones

Proceedings of the 14th IEEE Symposium on Computer-Based Medical Systems (CBMS 2001), 2001