Integrated application of compositional and behavioural safety analysis

by Sharvia, Septavera
Published 2011

Model-based dependability analysis: State-of-the-art, challenges, and future outlook

by Sharvia, S., Kabir, Sohag, Walker, M., Papadopoulos, Y.
Published 2019

A synthesis of logic and bio-inspired techniques in the design of dependable systems

by Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, Sohag, Azevedo, L., Sorokos, I.
Published 2019