Paul L. Jones
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2001–2017
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | Lagrangian Reachabililty. | Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu |
| 2017 | RE | Safety-Focused Security Requirements Elicitation for Medical Device Software. | Mikael Lindvall, Madeline Diep, Michele Klein, Paul L. Jones, Yi Zhang, Eugene Y. Vasserman |
| 2017 | SAFECOMP | Uniform Model Interface for Assurance Case Integration with System Models. | Andrzej Wardzinski, Paul L. Jones |
| 2017 | SEFM | 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 |
| 2015 | CAV | PVSio-web 2.0: Joining PVS to HCI. | Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2014 | FASE | Formal Verification of Medical Device User Interfaces Using PVS. | Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2014 | ICSE | Certifiably safe software-dependent systems: challenges and directions. | John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones |
| 2011 | EMSOFT | 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 |
| 2009 | ICSE | 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 |
| 2009 | ICSE | 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 |
| 2006 | COMPSAC | A Formal Approach to Pre-Market Review for Medical Device Software. | Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees |
| 2001 | CBMS | Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems. | Kirk Sayre, Jim Kenner, Paul L. Jones |