| 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 | 90 | 2009 |
| 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 | 62 | 2010 |
| 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 | 38 | 2014 |
| 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 | 27 | 2012 |
| 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 | 22 | 2017 |
| The AADL Error Library: An Operationalized Taxonomy of System Errors S Procter, P Feiler ACM SIGAda Ada Letters 39 (1), 63-70, 2020 | 19 | 2020 |
| 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 | 16 | 2015 |
| 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 | 14 | 2019 |
| Towards an AADL-Based Definition of App Architecture for Medical Application Platforms S Procter, J Hatcliff Software Engineering in Health Care, 26-43, 2014 | 12 | 2014 |
| A Development and Assurance Process for Medical Application Platform Apps S Procter Kansas State University, 2016 | 8 | 2016 |
| Ecosphere principles for medical application platforms YJ Kim, S Procter, J Hatcliff, VP Ranganath 2015 International Conference on Healthcare Informatics, 193-198, 2015 | 8 | 2015 |
| 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 | 7 | 2009 |
| 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 | 6 | 2015 |
| 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 | 3 | 2009 |
| Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language J Hugues, S Procter IEEE Software 39 (4), 34-38, 2022 | 2 | 2022 |
| Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance S Procter, J Hugues 11th European Congress on Embedded Real-Time Systems (ERTS 2022), 2022 | 1 | 2022 |
| 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 | |
| Flight Incident Analysis Through Symbolic Argumentation D de Niz, B Andersson, MH Klein, J Lehoczky, H Kim, G Romanski, ... 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), 1-10, 2024 | | 2024 |
| Guided Architecture Trade Space Exploration S Procter, L Wrage | | 2019 |
| Kinerja: A Workflow Execution Environment S Procter Kansas State University, 2011 | | 2011 |
