Nothing Special »
Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
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
My Story in Computing with Sam Procter
April 26, 2024
•
Podcast
By
Sam Procter
The OSATE Slicer: Fast Reachability Query Support for Architectural Models
November 13, 2023
•
Blog Post
By
Sam Procter
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
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
The OSATE Slicer: Fast Reachability Query Support for Architectural Models
November 13, 2023
•
Blog Post
By
Sam Procter
A Model-Based Tool to Assist in the Design of Safety-Critical Systems
March 7, 2022
•
Blog Post
By
Sam Procter
Integrating Safety and Security Engineering for Mission-Critical Systems
May 10, 2021
•
Blog Post
By
Sam Procter
,
Sholom G. Cohen
The AADL Error Library: 4 Families of System Errors
May 20, 2019
•
Blog Post
By
Sam Procter
Simultaneous Analysis of Safety and Security of a Critical System
September 11, 2017
•
Blog Post
By
Sam Procter
More from Sam Procter
My Story in Computing with Sam Procter
April 26, 2024
•
Podcast
By
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