Login / Signup
Aiman Gannous
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 3
Top Topics
Clinical Practice Guidelines
Support Systems
Fault Tolerant
Heart Failure
Top Venues
ICSC
ISSRE
ISSRE Workshops
</>
Publications
</>
Abdelfattah Elbarsha
,
Aiman Gannous
On the Embedding of Clinical Decision Support Systems in Diabetes Care.
ICSC
(2023)
Aiman Gannous
,
Anneliese Andrews
Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems.
ISSRE
(2019)
Aiman Gannous
,
Anneliese Andrews
,
Barbara Gallina
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.
ISSRE Workshops
(2018)