Sam Procter

According to our database, Sam Procter authored at least 15 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The OSATE Slicer: Graph-Based Reachability for Architectural Models.

Sam Procter

J. Object Technol., 2023

2022

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

2021

Guided architecture trade space exploration: fusing model-based engineering and design by shopping.

Sam Procter, Lutz Wrage

Softw. Syst. Model., 2021

2019

Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping.

Sam Procter, Lutz Wrage

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2017

SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis.

Sam Procter, Eugene Y. Vasserman, John Hatcliff

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2015

Error Type Refinement for Assurance of Families of Platform-Based Systems.

Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando

Proceedings of the Computer Safety, Reliability, and Security, 2015

Towards Assurance for Plug & Play Medical Systems.

Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee

Proceedings of the Computer Safety, Reliability, and Security, 2015

Ecosphere Principles for Medical Application Platforms.

Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

2014

An architecturally-integrated, systems-based hazard analysis for medical applications.

Sam Procter, John Hatcliff

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Towards an AADL-Based Definition of App Architecture for Medical Application Platforms.

Sam Procter, John Hatcliff, Robby

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2012

Requirements specification for apps in medical application platforms.

Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

2010

Prototyping closed loop physiologic control with the medical device coordination framework.

Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter

Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

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

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

Proceedings of the 31st International Conference on Software Engineering, 2009

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

Proceedings of the 31st International Conference on Software Engineering, 2009