Search

Your search keyword '"Habli, Ibrahim"' showing total 8 results
Start Over Author "Habli, Ibrahim" Topic assurance

Refine your results

more »

8 results on '"Habli, Ibrahim"'

2. AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms

Author

Abeywickrama, Dhaminda B., Wilson, James, Lee, Suet, Chance, Greg, Winter, Peter D., Manzini, Arianna, Habli, Ibrahim, Windsor, Shane, Hauert, Sabine, Eder, Kerstin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guiochet, Jérémie, editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, Roy, Matthieu, editor, and Bitsch, Friedemann, editor

Published
2023
Full Text
View/download PDF

3. An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems

Author

Ward, Francis Rhys, Habli, Ibrahim, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Casimiro, António, editor, Ortmeier, Frank, editor, Schoitsch, Erwin, editor, Bitsch, Friedemann, editor, and Ferreira, Pedro, editor

Published
2020
Full Text
View/download PDF

4. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

Author

Picardi, Chiara, Hawkins, Richard, Paterson, Colin, Habli, Ibrahim, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Romanovsky, Alexander, editor, Troubitsyna, Elena, editor, and Bitsch, Friedemann, editor

Published
2019
Full Text
View/download PDF

5. What Is Acceptably Safe for Reinforcement Learning?

Author

Bragg, John, Habli, Ibrahim, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Gallina, Barbara, editor, Skavhaug, Amund, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2018
Full Text
View/download PDF

6. Artificial intelligence explainability: the technical and ethical dimensions.

Author

McDermid, John A., Jia, Yan, Porter, Zoe, and Habli, Ibrahim

Subjects
ARTIFICIAL intelligence, INDUSTRIAL safety, MACHINE learning, DECISION making
Abstract

In recent years, several new technical methods have been developed to make AI-models more transparent and interpretable. These techniques are often referred to collectively as 'AI explainability' or 'XAI' methods. This paper presents an overview of XAI methods, and links them to stakeholder purposes for seeking an explanation. Because the underlying stakeholder purposes are broadly ethical in nature, we see this analysis as a contribution towards bringing together the technical and ethical dimensions of XAI. We emphasize that use of XAI methods must be linked to explanations of human decisions made during the development life cycle. Situated within that wider accountability framework, our analysis may offer a helpful starting point for designers, safety engineers, service providers and regulators who need to make practical judgements about which XAI methods to employ or to require. This article is part of the theme issue 'Towards symbiotic autonomous systems'. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

7. Principled Construction of Software Safety Cases

Author

Hawkins, Richard, Habli, Ibrahim, Kelly, Tim, Bergez, Anne, and Matthieu ROY

Subjects
Software safety, certification, assurance, Embedded systems, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Safety, safety cases, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
Abstract

A small, manageable number of common software safety assurance principles can be observed from software assurance standards and industry best practice. We briefly describe these assurance principles and explain how they can be used as the basis for creating software safety arguments.

Published
2013

8. Towards Assurance-Driven Architectural Decomposition of Software Systems

Author

Shahin, Ramy, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results