Suivre
Sam Procter
Sam Procter
Architecture Researcher, Software Engineering Institute
Adresse e-mail validée de sei.cmu.edu - Page d'accueil
Titre
Citée par
Citée par
Année
An open test bed for medical device integration and coordination
A King, S Procter, D Andresen, J Hatcliff, S Warren, W Spees, R Jetley, ...
Software Engineering-Companion Volume, 2009. ICSE-Companion 2009. 31st …, 2009
852009
Prototyping closed loop physiologic control with the medical device coordination framework
A King, D Arney, I Lee, O Sokolsky, J Hatcliff, S Procter
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care …, 2010
642010
An architecturally-integrated, systems-based hazard analysis for medical applications
S Procter, J Hatcliff
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014
352014
Requirements specification for apps in medical application platforms
B Larson, J Hatcliff, S Procter, P Chalin
2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012
262012
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis
S Procter, EY Vasserman, J Hatcliff
Proceedings of the 12th International Conference on Availability …, 2017
172017
Towards assurance for plug & play medical systems
AL King, L Feng, S Procter, S Chen, O Sokolsky, J Hatcliff, I Lee
International Conference on Computer Safety, Reliability, and Security, 228-242, 2015
142015
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms
S Procter, J Hatcliff
Software Engineering in Health Care, 26-43, 2014
122014
The AADL Error Library: An Operationalized Taxonomy of System Errors
S Procter, P Feiler
ACM SIGAda Ada Letters 39 (1), 63-70, 2020
102020
A Development and Assurance Process for Medical Application Platform Apps
S Procter
Kansas State University, 2016
82016
Ecosphere principles for medical application platforms
YJ Kim, S Procter, J Hatcliff, VP Ranganath
2015 International Conference on Healthcare Informatics, 193-198, 2015
82015
A publish-subscribe architecture and component-based programming model for medical device interoperability
A King, S Procter, D Andresen, J Hatcliff, S Warren, W Spees, R Jetley, ...
ACM SIGBED Review 6 (2), 1-10, 2009
62009
Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping
S Procter, L Wrage
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
52019
Error Type Refinement for Assurance of Families of Platform-Based Systems
S Procter, J Hatcliff, S Weininger, A Fernando
International Conference on Computer Safety, Reliability, and Security, 95-106, 2015
42015
Demonstration of a medical device integration and coordination framework
A King, S Procter, D Andresen, J Hatcliff, S Warren, W Spees, R Jetley, ...
Software Engineering-Companion Volume, 2009. ICSE-Companion 2009. 31st …, 2009
22009
Medical Application Platform Apps Requirements Engineering
B Larson, J Hatcliff, S Procter, P Chalin
Software Engineering in Health Care (SEHC), 2012 4th International Workshop …, 0
1
Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance
S Procter, J Hugues
11th European Congress on Embedded Real-Time Systems (ERTS 2022), 2022
2022
Contracts in System Development: From Multi-Concern Analysis to Assurance with AADL
J Hugues, S Procter
IEEE Software, 2022
2022
Guided Architecture Trade Space Exploration
S Procter, L Wrage
2019
Kinerja: A Workflow Execution Environment
S Procter
Kansas State University, 2011
2011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–19