Aiman Gannous

According to our database, Aiman Gannous authored at least 3 papers between 2018 and 2023.

Collaborative distances:

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

2023

On the Embedding of Clinical Decision Support Systems in Diabetes Care.

Abdelfattah Elbarsha, Aiman Gannous

Proceedings of the 11th IEEE International Conference on Systems and Control, 2023

2019

Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems.

Aiman Gannous, Anneliese Andrews

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2018

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.

Aiman Gannous, Anneliese Andrews, Barbara Gallina

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018