Sam Procter

15 papers A 1B 2C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
The OSATE Slicer: Graph-Based Reachability for Architectural Models.
J. Object Technol.
Sam Procter
2022 J jnl
Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language.
IEEE Softw.
Jérôme Hugues, Sam Procter
2021 J jnl
Guided architecture trade space exploration: fusing model-based engineering and design by shopping.
Softw. Syst. Model.
Sam Procter, Lutz Wrage
2019 A conf
Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping.
MoDELS
Sam Procter, Lutz Wrage
2017 B conf
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis.
ARES
Sam Procter, Eugene Y. Vasserman, John Hatcliff
2015 — conf
Ecosphere Principles for Medical Application Platforms.
ICHI
Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby
2015 — conf
Error Type Refinement for Assurance of Families of Platform-Based Systems.
SAFECOMP Workshops
Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando
2015 B conf
Towards Assurance for Plug & Play Medical Systems.
SAFECOMP
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
2014 C conf
An architecturally-integrated, systems-based hazard analysis for medical applications.
MEMOCODE
Sam Procter, John Hatcliff
2014 — conf
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms.
FHIES/SEHC
Sam Procter, John Hatcliff, Robby
2012 — conf
Requirements specification for apps in medical application platforms.
SEHC@ICSE
Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin
2010 — conf
Prototyping closed loop physiologic control with the medical device coordination framework.
SEHC@ICSE
Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter
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