Sam Procter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2009–2019
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | MODELS | Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping. | Sam Procter, Lutz Wrage |
| 2015 | SAFECOMP | Towards Assurance for Plug & Play Medical Systems. | Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee |
| 2015 | SAFECOMP | Error Type Refinement for Assurance of Families of Platform-Based Systems. | Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando |
| 2014 | MEMOCODE | An architecturally-integrated, systems-based hazard analysis for medical applications. | Sam Procter, John Hatcliff |
| 2012 | ICSE | Requirements specification for apps in medical application platforms. | Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin |
| 2010 | ICSE | Prototyping closed loop physiologic control with the medical device coordination framework. | Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter |
| 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 |