Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model. - Naif A. Mokhayesh Alzahrani; Dorina C. Petriu (PRDC, 2013)

Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis. - Naif A. Mokhayesh Alzahrani; Dorina C. Petriu (SDL Forum, 2013)

Modeling Fault Tolerance Tactics with Reusable Aspects. - Naif A. Mokhayesh Alzahrani; Dorina C. Petriu (QoSA, 2015)