IACoB-SA: An approach towards integrated safety assessment. - Septavera Sharvia; Yiannis Papadopoulos (CASE, 2011)

An approach to optimization of fault tolerant architectures using HiP-HOPS. - Masakazu Adachi; Yiannis Papadopoulos; Septavera Sharvia; David Parker 002; Tetsuya Tohdo (Softw. Pract. Exp., 2011)

Integrated application of compositional and behavioural safety analysis. - Septavera Sharvia (2011)

Integrating model checking with HiP-HOPS in model-based safety analysis. - Septavera Sharvia; Yiannis Papadopoulos (Reliab. Eng. Syst. Saf., 2015)

A synthesis of logic and bio-inspired techniques in the design of dependable systems. - Yiannis Papadopoulos; Martin Walker; David Parker 002; Septavera Sharvia; Leonardo Bottaci; Sohag Kabir; Luís Silva Azevedo; Ioannis Sorokos (Annu. Rev. Control., 2016)

Model-Connected Safety Cases. - Athanasios Retouniotis; Yiannis Papadopoulos; Ioannis Sorokos; David Parker 002; Nicholas Matragkas; Septavera Sharvia (IMBSA, 2017)

PCG signals for biometric authentication systems: An in-depth review. - El-Sayed A. El-Dahshan; Mahmoud M. Bassiouni; Septavera Sharvia; Abdel-Badeeh M. Salem (Comput. Sci. Rev., 2021)

SC-Track: a robust cell-tracking algorithm for generating accurate single-cell lineages from diverse cell segmentations. - Chengxin Li; Shuang Shuang Xie; Jiaqi Wang; Septavera Sharvia; Kuan Yoow Chan (Briefings Bioinform., 2024)