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 (ICSE Companion, 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 (ICSE Companion, 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)

Prototyping closed loop physiologic control with the medical device coordination framework. - Andrew L. King; David Arney; Insup Lee 001; Oleg Sokolsky; John Hatcliff; Sam Procter (SEHC@ICSE, 2010)

Requirements specification for apps in medical application platforms. - Brian R. Larson; John Hatcliff; Sam Procter; Patrice Chalin (SEHC@ICSE, 2012)

Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. - Sam Procter; John Hatcliff; Robby (FHIES/SEHC, 2014)

An architecturally-integrated, systems-based hazard analysis for medical applications. - Sam Procter; John Hatcliff (MEMOCODE, 2014)

Ecosphere Principles for Medical Application Platforms. - Yu Jin Kim; Sam Procter; John Hatcliff; Venkatesh-Prasad Ranganath; Robby (ICHI, 2015)

Towards Assurance for Plug & Play Medical Systems. - Andrew L. King; Lu Feng 001; Sam Procter; Sanjian Chen; Oleg Sokolsky; John Hatcliff; Insup Lee 001 (SAFECOMP, 2015)

Error Type Refinement for Assurance of Families of Platform-Based Systems. - Sam Procter; John Hatcliff; Sandy Weininger; Anura Fernando (SAFECOMP Workshops, 2015)

SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. - Sam Procter; Eugene Y. Vasserman; John Hatcliff (ARES, 2017)

Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping. - Sam Procter; Lutz Wrage (MoDELS, 2019)

Guided architecture trade space exploration: fusing model-based engineering and design by shopping. - Sam Procter; Lutz Wrage (Softw. Syst. Model., 2021)

Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language. - Jérôme Hugues; Sam Procter (IEEE Softw., 2022)

The OSATE Slicer: Graph-Based Reachability for Architectural Models. - Sam Procter (J. Object Technol., 2023)