Research

CV

My Curriculum Vitae, updated April 2017

Projects

I’m interested in developing tools that make it easier for people to build safe, correct systems. So, my research mostly centers around tool-supported software engineering, and so far I’ve worked in the safety-critical space. Here’s my full research vision, updated December 2015.

Software Engineering Institute

I work at the Software Engineering Institute at Carnegie Mellon University. There I work with tool and language support for analysis of safety- and security-critical embedded systems, primarily using the language AADL.

Grad School At K-State

I earned my MS and PhD at K-State, working primarily with model checking workflows (for my Masters) and hazard analysis of safety-critical distributed systems — culminating in a technique called “Systematic Analysis of Faults and Errors,” or SAFE,  (for my doctorate). You can read more about those projects on my grad school page.

Publications

You can also find publication lists on Google Scholar and DBLP.

  1. Sam Procter, Eugene Y. Vasserman, John Hatcliff. SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. International Workshop on Software Assurance (SAW), 2017. PreprintSourceSupplementary Materials
  2. Sam Procter. A Development and Assurance Process for Medical Application Platform Apps. Ph.D. Dissertation, 2016, Kansas State University.  Major Professor: Dr. John Hatcliff. PreprintSource
  3. Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby. Ecosphere Principles for Medical Application Platforms. IEEE International Conference on Healthcare Informatics (ICHI), 2015. PreprintSource
  4. Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando. Error Type Refinement for Assurance of Families of Platform-Based Systems. International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) at the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2015. Extended PreprintSource
  5. Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee. Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2015. PreprintSource
  6. Sam Procter, John Hatcliff. An Architecturally-Integrated, Systems-Based Hazard Analysis for Medical Applications. Conference on Formal Methods and Models for System Design (MEMOCODE), 2014. PreprintSource
  7. Sam Procter, John Hatcliff, Robby. Towards an AADL-Based De finition of App Architecture for Medical Application Platforms. Software Engineering in Health Care (SEHC) workshop at the International Symposium on Foundations of Health Information Engineering and Systems (FHIES), 2014. PreprintSource
  8. Brian Larson, John Hatcliff, Sam Procter, Patrice Chalin. Requirements Specifications for Apps in Medical Application Platforms. Software Engineering in Health Care (SEHC) workshop at the International Conference on Software Engineering (ICSE), 2012. PreprintSource
  9. Sam Procter. Kinerja: A Workflow Execution Environment. M.S. Thesis, 2011, Kansas State University.  Major Professor: Dr. John Hatcliff. PreprintSource
  10. Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter. Prototyping Closed Loop Physiologic Control with the Medical Device Coordination Framework. Software Engineering in Health Care (SEHC) workshop at the International Conference on Software Engineering (ICSE), 2010. PreprintSource
  11. Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones, Sandy Weininger. An Open Test Bed for Medical Device Integration and Coordination. International Conference on Software Engineering (ICSE), 2009. PreprintSource
  12. Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones, Sandy Weininger. Demonstration of a Medical Device Integration and Coordination Framework. International Conference on Software Engineering Companion (ICSE-Companion), 2009. PreprintSource
  13. Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones, Sandy Weininger. A Publish-Subscribe Architecture and Component-Based Programming Model for Medical Device Interoperability. Special Interest Group on Embedded Systems (SIGBed) Review, 2009. PreprintSource

Presentations

  1. SAW 2017: SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis
  2. ASSURE 2015: Error Type Refinement for Assurance of Families of Platform-Based Systems
  3. ISPCE 2015: Applying STPA-based Hazard Analysis to support Hazard-Based Software Engineering for Systems Built Using MAPs
  4. STPA 2015: Using STPA to Support Risk Management for Interoperable Medical Systems
  5. SCC 2015: Assurance of a Patient-Specific Network of Medical Devices
  6. MEMOCODE 2014: An Architecturally-Integrated, Systems-Based Hazard Analysis for Medical Applications
  7. SEHC 2014: Towards An AADL-Based Definition of App Architecture for MAPs