Septavera Sharvia

According to our database, Septavera Sharvia authored at least 7 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

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

2017

Model-Connected Safety Cases.

Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

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

Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos

Annu. Rev. Control., 2016

2015

Integrating model checking with HiP-HOPS in model-based safety analysis.

Septavera Sharvia, Yiannis Papadopoulos

Reliab. Eng. Syst. Saf., 2015

2011

Integrated application of compositional and behavioural safety analysis.

Septavera Sharvia

PhD thesis, 2011

An approach to optimization of fault tolerant architectures using HiP-HOPS.

Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker, Tetsuya Tohdo

Softw. Pract. Exp., 2011

IACoB-SA: An approach towards integrated safety assessment.

Septavera Sharvia, Yiannis Papadopoulos

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011