Sam Procter
Software Engineering Institute
Find Sam Procter on:
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• Technical Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
The OSATE Slicer: Fast Reachability Query Support for Architectural Models
• Blog Post
By Sam Procter
Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance
• Conference Paper
By Sam Procter , Jerome Hugues
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• Technical Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
Poster - Integrated Safety and Security Engineering for Mission-Critical Systems (2020)
• Poster
By Sam Procter
Integrating Safety and Security Engineering for Mission-Critical Systems (2019)
• Poster
By Sam Procter
The OSATE Slicer: Fast Reachability Query Support for Architectural Models
• Blog Post
By Sam Procter
The AADL Error Library: 4 Families of System Errors
• Blog Post
By Sam Procter