| Year |
Citation |
Score |
| 2022 |
Festor P, Jia Y, Gordon AC, Faisal AA, Habli I, Komorowski M. Assuring the safety of AI-based clinical decision support systems: a case study of the AI Clinician for sepsis treatment. Bmj Health & Care Informatics. 29. PMID 35851286 DOI: 10.1136/bmjhci-2022-100549 |
0.346 |
|
| 2022 |
McInerney C, Benn J, Dowding D, Habli I, Jenkins DA, McCrorie C, Peek N, Randell R, Williams R, Johnson OA. Patient Safety Informatics: Meeting the Challenges of Emerging Digital Health. Studies in Health Technology and Informatics. 290: 364-368. PMID 35673036 DOI: 10.3233/SHTI220097 |
0.377 |
|
| 2022 |
McInerney C, McCrorie C, Benn J, Habli I, Lawton T, Mebrahtu TF, Randell R, Sheikh N, Johnson O. Evaluating the safety and patient impacts of an artificial intelligence command centre in acute hospital care: a mixed-methods protocol. Bmj Open. 12: e054090. PMID 35232784 DOI: 10.1136/bmjopen-2021-054090 |
0.322 |
|
| 2021 |
McDermid JA, Jia Y, Porter Z, Habli I. Artificial intelligence explainability: the technical and ethical dimensions. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 379: 20200363. PMID 34398656 DOI: 10.1098/rsta.2020.0363 |
0.31 |
|
| 2021 |
Sujan M, Habli I. Safety cases for digital health innovations: can they work? Bmj Quality & Safety. PMID 34045304 DOI: 10.1136/bmjqs-2021-012983 |
0.322 |
|
| 2021 |
Jia Y, Lawton T, Burden J, McDermid J, Habli I. Safety-Driven Design of Machine Learning for Sepsis Treatment. Journal of Biomedical Informatics. 103762. PMID 33798716 DOI: 10.1016/j.jbi.2021.103762 |
0.387 |
|
| 2020 |
Habli I, Stockton-Powdrell C, Machin M, Fraccaro P, Lewis S, Peek N. Preliminary Safety Analysis of a Wearable Clinic for the Early Detection of Psychotic Relapse. Studies in Health Technology and Informatics. 270: 1367-1368. PMID 32570662 DOI: 10.3233/SHTI200445 |
0.361 |
|
| 2020 |
Furniss D, Nelson D, Habli I, White S, Elliott M, Reynolds N, Sujan M. Using FRAM to explore sources of performance variability in intravenous infusion administration in ICU: A non-normative approach to systems contradictions. Applied Ergonomics. 86: 103113. PMID 32342897 DOI: 10.1016/J.Apergo.2020.103113 |
0.361 |
|
| 2020 |
Habli I, Lawton T, Porter Z. Artificial intelligence in health care: accountability and safety. Bulletin of the World Health Organization. 98: 251-256. PMID 32284648 DOI: 10.2471/Blt.19.237487 |
0.491 |
|
| 2020 |
Monkhouse HE, Habli I, McDermid J. An enhanced vehicle control model for assessing highly automated driving safety Reliability Engineering & System Safety. 202: 107061. DOI: 10.1016/J.Ress.2020.107061 |
0.37 |
|
| 2020 |
Burton S, Habli I, Lawton T, McDermid J, Morgan P, Porter Z. Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective Artificial Intelligence. 279: 103201. DOI: 10.1016/J.Artint.2019.103201 |
0.458 |
|
| 2019 |
Jia Y, Lawton T, White S, Habli I. Developing a Safety Case for Electronic Prescribing. Studies in Health Technology and Informatics. 264: 629-633. PMID 31438000 DOI: 10.3233/Shti190299 |
0.474 |
|
| 2019 |
Habli I, Jia Y, White S, Gabriel G, Lawton T, Sujan M, Tomsett C. Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology. Health Informatics Journal. 1460458219852789. PMID 31165661 DOI: 10.1177/1460458219852789 |
0.492 |
|
| 2019 |
Oliveira ALd, Braga RTV, Masiero PC, Parker D, Papadopoulos Y, Habli I, Kelly T. Variability management in safety‐critical systems design and dependability analysis Journal of Software: Evolution and Process. 31. DOI: 10.1002/Smr.2202 |
0.547 |
|
| 2018 |
Calinescu R, Weyns D, Gerasimou S, Iftikhar MU, Habli I, Kelly T. Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases Ieee Transactions On Software Engineering. 44: 1039-1069. DOI: 10.1109/Tse.2017.2738640 |
0.393 |
|
| 2018 |
Delgado-Perez P, Habli I, Gregory S, Alexander R, Clark J, Medina-Bulo I. Evaluation of Mutation Testing in a Nuclear Industry Case Study Ieee Transactions On Reliability. 67: 1406-1419. DOI: 10.1109/Tr.2018.2864678 |
0.399 |
|
| 2018 |
Habli I, White SP, Sujan M, Harrison S, Ugarte M. What is the Safety Case for Health IT? A Study of Assurance Practices in England Safety Science. 110: 324-335. DOI: 10.1016/J.Ssci.2018.09.001 |
0.563 |
|
| 2017 |
Habli I, White S, Harrison S, Pujara M. Exploring the Notion of Hazards for Health IT. Studies in Health Technology and Informatics. 235: 554-558. PMID 28423854 |
0.371 |
|
| 2017 |
Carr A, Murphy D, Dugdale I, Dyson A, Habli I, Robinson R. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management. Studies in Health Technology and Informatics. 235: 78-82. PMID 28423759 |
0.426 |
|
| 2017 |
Sujan M, Habli I, Kelly TP, Gühnemann A, Pozzi S, Johnson CW. How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process Reliability Engineering & System Safety. 161: 1-11. DOI: 10.1016/J.Ress.2017.01.001 |
0.314 |
|
| 2016 |
Oliveira ALd, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. Model-based safety analysis of software product lines International Journal of Embedded Systems. 8: 412-426. DOI: 10.1504/Ijes.2016.10001344 |
0.532 |
|
| 2016 |
Sujan MA, Habli I, Kelly TP, Pozzi S, Johnson CW. Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices Safety Science. 84: 181-189. DOI: 10.1016/J.Ssci.2015.12.021 |
0.537 |
|
| 2015 |
De Oliveira AL, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products Brazilian Symposium On Computing System Engineering, Sbesc. 2015: 7-12. DOI: 10.1109/SBESC.2014.20 |
0.317 |
|
| 2015 |
De Oliveira AL, Papadopoulos Y, Azevedo LS, Parker D, Braga RTV, Masiero PC, Habli I, Kelly T. Automatic allocation of safety requirements to components of a software product line Ifac Proceedings Volumes (Ifac-Papersonline). 48: 1309-1314. DOI: 10.1016/J.Ifacol.2015.09.706 |
0.491 |
|
| 2015 |
de Oliveira AL, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. Supporting the automated generation of modular product line safety cases Advances in Intelligent Systems and Computing. 365: 319-330. DOI: 10.1007/978-3-319-19216-1_30 |
0.338 |
|
| 2013 |
Baker R, Habli I. An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software Ieee Transactions On Software Engineering. 39: 787-805. DOI: 10.1109/Tse.2012.56 |
0.421 |
|
| 2013 |
Hawkins R, Habli I, Kelly T, McDermid J. Assurance cases and prescriptive software safety certification: A comparative study Safety Science. 59: 55-71. DOI: 10.1016/J.Ssci.2013.04.007 |
0.546 |
|
| 2012 |
Graydon P, Habli I, Hawkins R, Kelly T, Knight J. Arguing Conformance Ieee Software. 29: 50-57. DOI: 10.1109/Ms.2012.26 |
0.443 |
|
| 2012 |
Dodd I, Habli I. Safety certification of airborne software: An empirical study Reliability Engineering & System Safety. 98: 7-23. DOI: 10.1016/J.Ress.2011.09.007 |
0.537 |
|
| 2011 |
Flood M, Habli I. Multi-view safety cases Iet Conference Publications. 2011. DOI: 10.1049/cp.2011.0260 |
0.465 |
|
| 2010 |
Habli I, Hawkins R, Kelly T. Software safety: relating software assurance and software integrity International Journal of Critical Computer-Based Systems. 1: 364-383. DOI: 10.1504/Ijccbs.2010.036605 |
0.465 |
|
| 2009 |
Habli I, Kelly T. A Generic Goal-Based Certification Argument for the Justification of Formal Analysis Electronic Notes in Theoretical Computer Science. 238: 27-39. DOI: 10.1016/J.Entcs.2009.09.004 |
0.497 |
|
| 2006 |
Habli I, Kelly T. Process and product certification arguments: getting the balance right Acm Sigbed Review. 3: 1-8. DOI: 10.1145/1183088.1183090 |
0.526 |
|
| Show low-probability matches. |