Ibrahim Habli

According to our database, Ibrahim Habli authored at least 89 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Safety of Autonomy: A Systematic Approach.

John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy

Computer, April, 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly

CoRR, 2024

What's my role? Modelling responsibility for AI-based safety-critical systems.

Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli

CoRR, 2024

2023

Unravelling Responsibility for AI.

Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli

CoRR, 2023

Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare.

Marten H. L. Kaas, Zoë Porter, Ernest Lim, Aisling Higham, Sarah Khavandi, Ibrahim Habli

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident.

Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems.

Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2023

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms.

Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Predicting Progression of Type 2 Diabetes Using Primary Care Data with the Help of Machine Learning.

Berk Ozturk, Tom Lawton, Stephen Smith, Ibrahim Habli

Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023

Applying Team Science to Collaborative Digital Health Research: Learnings from the Wearable Clinic.

Niels Peek, Charlotte Stockton-Powdrell, Alexander J. Casson, Matthew Sperrin, Bijan Parsia, Andrea Manca, Cynthia Iglesias, Ibrahim Habli, Lamiece Hassan, Steven Antrobus, Matthew Machin

Proceedings of the MEDINFO 2023 - The Future Is Accessible, 2023

The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems.

Yan Jia, John A. McDermid, Nathan Hughes, Mark Sujan, Tom Lawton, Ibrahim Habli

Proceedings of the 11th IEEE International Conference on Healthcare Informatics, 2023

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.

Fang Yan, Simon Foster, Ibrahim Habli

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Transfer Assurance for Machine Learning in Autonomous Systems.

Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Distinguishing two features of accountability for AI technologies.

Zoë Porter, Annette Zimmermann, Phillip Morgan, John A. McDermid, Tom Lawton, Ibrahim Habli

Nat. Mac. Intell., September, 2022

The Role of Explainability in Assuring Safety of Machine Learning in Healthcare.

Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli

IEEE Trans. Emerg. Top. Comput., 2022

From Pluralistic Normative Principles to Autonomous-Agent Rules.

Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas

Minds Mach., 2022

Review of the AMLAS Methodology for Application in Healthcare.

Shakir Laher, Carla Brackstone, Sara Reis, An Nguyen, Sean White, Ibrahim Habli

CoRR, 2022

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE).

Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli

CoRR, 2022

A Principle-based Ethical Assurance Argument for AI and Autonomous Systems.

Zoë Porter, Ibrahim Habli, John A. McDermid

CoRR, 2022

Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context.

Victoria J. Hodge, Richard Hawkins, James Hilder, Ibrahim Habli

CoRR, 2022

Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.

Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Safety-driven design of machine learning for sepsis treatment.

Yan Jia, Tom Lawton, John Burden, John A. McDermid, Ibrahim Habli

J. Biomed. Informatics, 2021

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS).

Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli

CoRR, 2021

A Framework for Assurance of Medication Safety using Machine Learning.

Yan Jia, Tom Lawton, John A. McDermid, Eric Rojas, Ibrahim Habli

CoRR, 2021

Prediction of weaning from mechanical ventilation using Convolutional Neural Networks.

Yan Jia, Chaitanya Kaul, Tom Lawton, Roderick Murray-Smith, Ibrahim Habli

Artif. Intell. Medicine, 2021

Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems.

Paul Festor, Ibrahim Habli, Yan Jia, Anthony C. Gordon, A. Aldo Faisal, Matthieu Komorowski

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs).

Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli

Proceedings of the Wireless Mobile Communication and Healthcare, 2021

Classification of Failures in the Perception of Conversational Agents (CAs) and Their Implications on Patient Safety.

Haris Aftab, Syed Hammad Hussain Shah, Ibrahim Habli

Proceedings of the Public Health and Informatics, 2021

Patient Safety Informatics: Meeting the Challenges of Emerging Digital Health.

Ciarán McInerney, Jonathan Benn, Dawn Dowding, Ibrahim Habli, David A. Jenkins, Carolyn McCrorie, Niels Peek, Rebecca Randell, Richard Williams, Owen A. Johnson

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

Enhancing the Value of Counterfactual Explanations for Deep Learning.

Yan Jia, John A. McDermid, Ibrahim Habli

Proceedings of the Artificial Intelligence in Medicine, 2021

2020

An enhanced vehicle control model for assessing highly automated driving safety.

Helen Monkhouse, Ibrahim Habli, John A. McDermid

Reliab. Eng. Syst. Saf., 2020

Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology.

Ibrahim Habli, Yan Jia, Sean White, George Gabriel, Tom Lawton, Mark Sujan, Clive Tomsett

Health Informatics J., 2020

Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models.

Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton

CoRR, 2020

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective.

Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, Phillip Morgan, Zoë Porter

Artif. Intell., 2020

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

Francis Rhys Ward, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings.

Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2020

A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF).

John Birch, David Blackburn, John Botham, Ibrahim Habli, David Higham, Helen Monkhouse, Gareth Price, Norina Ratiu, Roger Rivett

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Preliminary Safety Analysis of a Wearable Clinic for the Early Detection of Psychotic Relapse.

Ibrahim Habli, Charlotte Stockton-Powdrell, Matthew Machin, Paolo Fraccaro, Shôn Lewis, Niels Peek

Proceedings of the Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28, 2020

A Visual Notation for the Representation of Assurance Cases Using SACM.

Nungki Selviandro, Richard Hawkins, Ibrahim Habli

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

Safe Reinforcement Learning for Sepsis Treatment.

Yan Jia, John Burden, Tom Lawton, Ibrahim Habli

Proceedings of the 8th IEEE International Conference on Healthcare Informatics, 2020

Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support.

Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems.

Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Variability management in safety-critical systems design and dependability analysis.

André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, David Parker, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly

J. Softw. Evol. Process., 2019

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

Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2019

Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions.

Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins

Proceedings of the Computer Safety, Reliability, and Security, 2019

Developing a Safety Case for Electronic Prescribing.

Yan Jia, Tom Lawton, Sean White, Ibrahim Habli

Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

Towards a Framework for Safety Assurance of Autonomous Systems.

John A. McDermid, Yan Jia, Ibrahim Habli

Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, 2019

Architecting Trustworthy Self-Adaptive Systems (Tutorial).

Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Cluster Hidden Markov Models: An Application to Ecological Momentary Assessment of Schizophrenia.

William Hulme, Charlotte Stockton-Powdrell, Shôn Lewis, Glen P. Martin, Sandra Bucci, Bijan Parsia, Alexander J. Casson, Ibrahim Habli, Niels Peek

Proceedings of the 32nd IEEE International Symposium on Computer-Based Medical Systems, 2019

Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning.

Chiara Picardi, Ibrahim Habli

Proceedings of the Artificial Intelligence in Medicine, 2019

2018

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases.

Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly

IEEE Trans. Software Eng., 2018

Evaluation of Mutation Testing in a Nuclear Industry Case Study.

Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo

IEEE Trans. Reliab., 2018

The Moral Responsibility Gap and the Increasing Autonomy of Systems.

Zoë Porter, Ibrahim Habli, Helen Monkhouse, John Bragg

Proceedings of the Computer Safety, Reliability, and Security, 2018

What Is Acceptably Safe for Reinforcement Learning?

John Bragg, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2018

YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication.

Ahmed Shalan, Abubakar Abdulrahman, Ibrahim Habli, Garry A. Tew, Andrew Thompson

Proceedings of the Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth, 2018

Variability Management in Safety-Critical Software Product Line Engineering.

André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly

Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases.

Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

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.

Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson

Reliab. Eng. Syst. Saf., 2017

Why functional safety experts worry about automotive systems having increasing autonomy.

Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla

Proceedings of the 2017 IEEE SmartWorld, 2017

Challenges of Safety Assurance for Industry 4.0.

Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

Model-based safety analysis of software product lines.

André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly

Int. J. Embed. Syst., 2016

2015

Dynamic Safety Cases for Through-Life Safety Assurance.

Ewen Denney, Ganesh J. Pai, Ibrahim Habli

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Developing Assurance Cases for D-MILS Systems.

Richard Hawkins, Tim Kelly, Ibrahim Habli

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Weaving an Assurance Case from Design: A Model-Based Approach.

Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Supporting the Automated Generation of Modular Product Line Safety Cases.

André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly

Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

2014

Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?

Ibrahim Habli, Andrew Rae

CoRR, 2014

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.

André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures.

Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

A candid industrial evaluation of formal software verification using model checking.

Matthew Bennion, Ibrahim Habli

Proceedings of the 36th International Conference on Software Engineering, 2014

A Layered Model for Structuring Automotive Safety Arguments (Short Paper).

John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Helen Monkhouse, Robert Palin

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software.

Richard Baker, Ibrahim Habli

IEEE Trans. Software Eng., 2013

Principled Construction of Software Safety Cases.

Richard Hawkins, Ibrahim Habli, Tim Kelly

Proceedings of the SAFECOMP 2013, 2013

Safety Cases and Their Role in ISO 26262 Functional Safety Assessment.

John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Peter Jesty, Helen Monkhouse, Robert Palin

Proceedings of the Computer Safety, Reliability, and Security, 2013

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).

Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Arguing Conformance.

Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight

IEEE Softw., 2012

Safety certification of airborne software: An empirical study.

Ian Dodd, Ibrahim Habli

Reliab. Eng. Syst. Saf., 2012

Towards a Case-Based Reasoning Approach for Safety Assurance Reuse.

Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza

Proceedings of the Computer Safety, Reliability, and Security, 2012

Perspectives on software safety case development for unmanned aircraft.

Ewen Denney, Ganesh Pai, Ibrahim Habli

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

Towards Measurement of Confidence in Safety Cases.

Ewen Denney, Ganesh Pai, Ibrahim Habli

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

2010

Software safety: relating software assurance and software integrity.

Ibrahim Habli, Richard Hawkins, Tim Kelly

Int. J. Crit. Comput. Based Syst., 2010

Assurance of Automotive Safety - A Safety Case Approach.

Robert Palin, Ibrahim Habli

Proceedings of the Computer Safety, 2010

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.

Ibrahim Habli, Tim Kelly

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

2008

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.

Ibrahim Habli, Tim Kelly

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

A Model-Driven Approach to Assuring Process Reliability.

Ibrahim Habli, Tim Kelly

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System.

Ibrahim Habli, Tim Kelly

Proceedings of the Software Product Lines, 11th International Conference, 2007

Achieving Integrated Process and Product Safety Arguments.

Ibrahim Habli, Tim Kelly

Proceedings of the Safety of Systems, 2007

Capturing and Replaying Architectural Knowledge through Derivational Analogy.

Ibrahim Habli, Tim Kelly

Proceedings of the Second Workshop on Sharing and Reusing Architectural Knowledge, 2007

Extending Argumentation to Goal-Oriented Requirements Engineering.

Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

2006

Process and product certification arguments: getting the balance right.

Ibrahim Habli, Tim Kelly

SIGBED Rev., 2006