Get started
Author

Aiman Gannous

Observed names: Aiman S. Gannous, Aiman Subhi Gannous, Gannous, Aiman S., S.Gannous, Aiman
ORCID: 0000-0003-2610-2163
Observed ORCID: 0000-0003-2610-2163
OpenAlex ID: A5080870167
Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems
2019 · Aiman Gannous, Anneliese Andrews · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 11
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems
2018 · Aiman Gannous, Anneliese Andrews, et al. · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 8
Bridging the gap between testing and safety certification
2018 · Aiman Gannous, Anneliese Andrews, et al. · IEEE Aerospace Conference (AERO) · 4
The Critical Role of Mixed Methods Research in Public Health: Insights from Real-World Case Studies
2024 · Abdelfattah Elbarsha, Aiman Gannous, et al. · Libyan journal of public health practices. · 3
Interstices in the Certification of Safety Critical Avionics Software: Boeing 737-MAX MCAS Case Study
2023 · Aiman Gannous · Congress in Computer Science, Computer Engineering, and Applied Computing (CSCE) · 3
Robustness Testing of Safety-critical Systems: A Portable Insulin Pump Application
2020 · Aiman Gannous, Anneliese Andrews, et al. · International Conference on Computational Science and Computational Intelligence (CSCI) · 1
Certification-Driven Testing of Safety-Critical Systems
2020 · Aiman Gannous · Digital Commons - DU (University of Denver) · 1
Cumulative Effort Estimation in an Evolving Legacy System
2026 · Lamees Alhazzaa, Anneliese Amschler Andrews, et al. · Communications in computer and information science
129130131132Index
2025 · Aiman S. Gannous · De Gruyter eBooks
IIIFrontmatter
2025 · Aiman S. Gannous · De Gruyter eBooks
IXXXIContents
2025 · Aiman S. Gannous · De Gruyter eBooks
494 Graph representation
2025 · Aiman S. Gannous · De Gruyter eBooks
11 Introduction
2025 · Aiman S. Gannous · De Gruyter eBooks
Graph Theory: Connectivity, Software Engineering and Bioinformatics
2025 · Aiman S. Gannous · De Gruyter eBooks
117A Algorithm complexity
2025 · Aiman S. Gannous · De Gruyter eBooks
233 Graph properties
2025 · Aiman S. Gannous · De Gruyter eBooks
VIIPreface
2025 · Aiman S. Gannous · De Gruyter eBooks
VDedication
2025 · Aiman S. Gannous · De Gruyter eBooks
706 Graph algorithms
2025 · Aiman S. Gannous · De Gruyter eBooks
585 Graph applications
2025 · Aiman S. Gannous · De Gruyter eBooks
92 Basic graph terminology
2025 · Aiman S. Gannous · De Gruyter eBooks
A Framework for Requirements Modeling of Safety Critical Systems: A Continuous Glucose Monitoring System Case Study
2025 · Aiman Gannous, Ramadan Abdunabi, et al. · Communications in computer and information science
On the Embedding of Clinical Decision Support Systems in Diabetes Care
2023 · Abdelfattah Elbarsha, Aiman Gannous · International Conference on Systems and Control (ICSC)
Robustness Testing of a semi-autonomous mobile landing platform for Vertical take-off and landing UAVs
2021 · Aiman Gannous, Anneliese Andrews, et al. · IEEE Aerospace Conference (AERO)
Two Individual Genetic Algorithm
2012 · Younis R. Elhaddad, S.Gannous, Aiman · Zenodo (CERN European Organization for Nuclear Research)
Works count: 30
Citation count: 31
H-index: 3
I10-index: 1
Year
Topic
Type