Sam Procter
Software Engineering Institute
Find Sam Procter on:
Instantiating the Error Model Version 2 (EMV2) Annex
• SEI Report
By Joe Seibel , Lutz Wrage , Jerome Hugues , Sam Procter , Aaron Greenhouse
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• SEI 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
The OSATE Slicer: Graph-Based Reachability for Architectural Models
• Journal Article
By Sam Procter
Instantiating the Error Model Version 2 (EMV2) Annex
• SEI Report
By Joe Seibel , Lutz Wrage , Jerome Hugues , Sam Procter , Aaron Greenhouse
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