Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. - Aiman Gannous; Anneliese Andrews; Barbara Gallina (ISSRE Workshops, 2018)

Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems. - Aiman Gannous; Anneliese Andrews (ISSRE, 2019)

On the Embedding of Clinical Decision Support Systems in Diabetes Care. - Abdelfattah Elbarsha; Aiman Gannous (ICSC, 2023)