Seuraa
Ibrahim Habli
Ibrahim Habli
Professor of Safety-Critical Systems at the University of York
Vahvistettu sähköpostiosoite verkkotunnuksessa york.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Reporting guideline for the early stage clinical evaluation of decision support systems driven by artificial intelligence: DECIDE-AI
B Vasey, M Nagendran, B Campbell, DA Clifton, GS Collins, S Denaxas, ...
bmj 377, 2022
2132022
Engineering trustworthy self-adaptive software with dynamic assurance cases
R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly
IEEE Transactions on Software Engineering 44 (11), 1039-1069, 2017
1882017
Artificial intelligence in health care: accountability and safety
I Habli, T Lawton, Z Porter
Bulletin of the World Health Organization 98 (4), 251, 2020
1372020
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective
S Burton, I Habli, T Lawton, J McDermid, P Morgan, Z Porter
Artificial Intelligence 279, 103201, 2020
1342020
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
1272013
Weaving an assurance case from design: a model-based approach
R Hawkins, I Habli, D Kolovos, R Paige, T Kelly
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
1172015
ISO 26262 safety cases: Compliance and assurance
R Palin, D Ward, I Habli, R Rivett
IET Digital Library, 2011
1162011
Safety cases and their role in ISO 26262 functional safety assessment
J Birch, R Rivett, I Habli, B Bradshaw, J Botham, D Higham, P Jesty, ...
Computer Safety, Reliability, and Security: 32nd International Conference …, 2013
1142013
Towards measurement of confidence in safety cases
E Denney, G Pai, I Habli
2011 International Symposium on Empirical Software Engineering and …, 2011
1132011
Dynamic safety cases for through-life safety assurance
E Denney, G Pai, I Habli
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
1062015
An Empirical Evaluation of Mutation Testing For Improving the Test Quality of Safety-Critical Software
R Baker, I Habli
IEEE Transactions on Software Engineering 39 (6), 787-805, 2013
952013
Human factors challenges for the safe use of artificial intelligence in patient care
M Sujan, D Furniss, K Grundy, H Grundy, D Nelson, M Elliott, S White, ...
BMJ health & care informatics 26 (1), 2019
942019
Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices
MA Sujan, I Habli, TP Kelly, S Pozzi, CW Johnson
Safety science 84, 181-189, 2016
922016
Guidance on the assurance of machine learning in autonomous systems (AMLAS)
R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli
arXiv preprint arXiv:2102.01564, 2021
842021
Artificial intelligence explainability: the technical and ethical dimensions
JA McDermid, Y Jia, Z Porter, I Habli
Philosophical Transactions of the Royal Society A 379 (2207), 20200363, 2021
722021
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
712012
GSN community standard version 1
K Attwood, P Chinneck, M Clarke, G Cleland, M Coates, T Cockram, ...
Origin Consulting (York) Limited, 2011
652011
Model-based assurance for justifying automotive functional safety
I Habli, I Ibarra, RS Rivett, T Kelly
SAE Technical Paper, 2010
642010
Process and product certification arguments: getting the balance right
I Habli, T Kelly
ACM SIGBED Review 3 (4), 1-8, 2006
532006
Safety certification of airborne software: An empirical study
I Dodd, I Habli
Reliability Engineering & System Safety 98 (1), 7-23, 2012
492012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20