Paul L. Jones - RankMe

28 papers A 1B 3Misc 1Journal 10Unranked 13

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