search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webinar Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
Sam Procter
Sam Procter
Software Engineering Institute
Find Sam Procter on:
Google Scholar
dblp
personal website
Send a Message
All
Tech Publications
Blog Posts
Podcasts
Videos
The OSATE Slicer: Graph-Based Reachability for Architectural Models
July 1, 2023
•
Article
By
Sam Procter
A Model-Based Tool for Designing Safety-Critical Systems
January 5, 2023
•
Podcast
By
Sam Procter
,
Lutz Wrage
Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance
June 7, 2022
•
Conference Paper
By
Sam Procter
,
Jerome Hugues
Contracts in System Development: From Multiconcern Analysis to Assurance with the Architecture Analysis and Design Language
April 27, 2022
•
Article
By
Jerome Hugues
,
Sam Procter
A Model-Based Tool to Assist in the Design of Safety-Critical Systems
March 7, 2022
• By
Sam Procter
More from Sam Procter
Poster - Integrated Safety and Security Engineering for Mission-Critical Systems (2020)
November 4, 2020
•
Poster
By
Sam Procter
Integrating Safety and Security Engineering for Mission-Critical Systems (2019)
October 28, 2019
•
Poster
By
Sam Procter
Integrated Safety and Security Engineering for Mission Critical Systems (2018)
October 23, 2018
•
Poster
By
Peter H. Feiler
,
Sam Procter
Guided Architecture Trade Space Exploration for Safety-Critical Software Systems
October 30, 2017
•
Poster
By
Sam Procter
Automated Assurance of Security Policy Enforcement (2017)
October 27, 2017
•
Poster
By
Peter H. Feiler
,
Sam Procter
More from Sam Procter
A Model-Based Tool to Assist in the Design of Safety-Critical Systems
March 7, 2022
• By
Sam Procter
Integrating Safety and Security Engineering for Mission-Critical Systems
May 10, 2021
• By
Sam Procter
,
Sholom G. Cohen
The AADL Error Library: 4 Families of System Errors
May 20, 2019
• By
Sam Procter
Simultaneous Analysis of Safety and Security of a Critical System
September 11, 2017
• By
Sam Procter
More from Sam Procter
A Model-Based Tool for Designing Safety-Critical Systems
January 5, 2023
•
Podcast
By
Sam Procter
,
Lutz Wrage
The AADL Error Library
August 29, 2019
•
Podcast
By
Sam Procter
,
Peter H. Feiler
More from Sam Procter
Model Based Engineering with AADL: Transitioning Research to Practice
December 15, 2020
•
Video
By
Sam Procter
Integrating Safety and Security Engineering for Mission-Critical Systems
November 22, 2019
•
Video
By
Sam Procter
,
Alex Boydston (U.S. Army ADD/JMR)
Three Software Innovations that DoD Needs Now
May 18, 2018
•
Webcast
By
Jeff Boleng
,
Robert Schiela
,
Sam Procter
,
Lena Pons
,
Nathan M. VanHoudnos
SEI Cyber Minute: Safety-Critical Design by Shopping
February 28, 2018
•
Video
By
Sam Procter
More from Sam Procter