Sam Procter

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 8

Top Topics

Space Exploration

Computer Science And Artificial Intelligence

Seamless Integration

Specific Domains

Top Venues

SAFECOMP Workshops

Publications

Sam Procter
The OSATE Slicer: Graph-Based Reachability for Architectural Models. J. Object Technol. 22 (2) (2023)
Jérôme Hugues, Sam Procter
Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language. IEEE Softw. 39 (4) (2022)
Sam Procter, Lutz Wrage
Guided architecture trade space exploration: fusing model-based engineering and design by shopping. Softw. Syst. Model. 20 (6) (2021)
Sam Procter, Lutz Wrage
Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping. MoDELS (2019)
Sam Procter, Eugene Y. Vasserman, John Hatcliff
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. ARES (2017)
Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando
Error Type Refinement for Assurance of Families of Platform-Based Systems. SAFECOMP Workshops (2015)
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
Towards Assurance for Plug & Play Medical Systems. SAFECOMP (2015)
Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby
Ecosphere Principles for Medical Application Platforms. ICHI (2015)
Sam Procter, John Hatcliff
An architecturally-integrated, systems-based hazard analysis for medical applications. MEMOCODE (2014)
Sam Procter, John Hatcliff, Robby
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. FHIES/SEHC (2014)
Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin
Requirements specification for apps in medical application platforms. SEHC@ICSE (2012)
Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter
Prototyping closed loop physiologic control with the medical device coordination framework. SEHC@ICSE (2010)
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Rev. 6 (2) (2009)
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
An open test bed for medical device integration and coordination. ICSE Companion (2009)
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger
Demonstration of a medical device integration and coordination framework. ICSE Companion (2009)