Specifying Temporal Requirements for Distributed Real-Time Systems in Z

Enhancing the Value of Counterfactual Explanations for Deep Learning
Jia, Y., McDermid, J. A. & Habli, I., 15 Jun 2021, AIME 2021 : Artificial Intelligence in Medicine in Europe.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Safety-Driven Design of Machine Learning for Sepsis Treatment
Jia, Y., Lawton, T., Burden, J., McDermid, J. A. & Habli, I., May 2021
Article in Journal of Biomedical Informatics
AI Explainability: The Technical and Ethical Dimensions
McDermid, J. A., Jia, Y., Porter, Z. & Habli, I., 1 Mar 2021, (Accepted/In press)
Article in Philosophical Transactions: Mathematical, Physical and Engineering Sciences
An Initial Framework Assessing the Safety of Complex Systems
McDermid, J. A., Burton, S., Garnett, P. & Weaver, R. A., Feb 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium Virtual Conference . Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 161. p. 109-111 3 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
An Initial Framework Assessing the Safety of Complex Systems
Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 7 Dec 2020, CCS2020 - Conference on Complex System 2020. Zenodo, p. 69 1 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Working paper

Author(s)

Date	Published - 1992
Original language	English

Find related publications, people, projects, datasets and more using interactive charts.