Ibrahim Habli

Orcid: 0000-0003-2736-8238

According to our database1, Ibrahim Habli authored at least 93 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A principles-based ethics assurance argument pattern for AI and autonomous systems.
AI Ethics, May, 2024

The Safety of Autonomy: A Systematic Approach.
Computer, April, 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
J. Syst. Softw., 2024

Fair by design: A sociotechnical approach to justifying the fairness of AI-enabled systems across the lifecycle.
CoRR, 2024

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

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

Development and translation of human-AI interaction models into working prototypes for clinical decision-making.
Proceedings of the Designing Interactive Systems Conference, 2024

2023
Unravelling Responsibility for AI.
CoRR, 2023

Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare.
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2023

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms.
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.
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.
Proceedings of the MEDINFO 2023 - The Future Is Accessible, 2023

The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems.
Proceedings of the 11th IEEE International Conference on Healthcare Informatics, 2023

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Transfer Assurance for Machine Learning in Autonomous Systems.
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.
Nat. Mac. Intell., September, 2022

The Role of Explainability in Assuring Safety of Machine Learning in Healthcare.
IEEE Trans. Emerg. Top. Comput., 2022

From Pluralistic Normative Principles to Autonomous-Agent Rules.
Minds Mach., 2022

Review of the AMLAS Methodology for Application in Healthcare.
CoRR, 2022

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

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

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

Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021
Safety-driven design of machine learning for sepsis treatment.
J. Biomed. Informatics, 2021

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

A Framework for Assurance of Medication Safety using Machine Learning.
CoRR, 2021

Prediction of weaning from mechanical ventilation using Convolutional Neural Networks.
Artif. Intell. Medicine, 2021

Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs).
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.
Proceedings of the Public Health and Informatics, 2021

Patient Safety Informatics: Meeting the Challenges of Emerging Digital Health.
Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

Enhancing the Value of Counterfactual Explanations for Deep Learning.
Proceedings of the Artificial Intelligence in Medicine, 2021

2020
An enhanced vehicle control model for assessing highly automated driving safety.
Reliab. Eng. Syst. Saf., 2020

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

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

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

An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings.
Proceedings of the Computer Safety, Reliability, and Security, 2020

A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF).
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.
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.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

Safe Reinforcement Learning for Sepsis Treatment.
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.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems.
Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019
Variability management in safety-critical systems design and dependability analysis.
J. Softw. Evol. Process., 2019

A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Developing a Safety Case for Electronic Prescribing.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

Towards a Framework for Safety Assurance of Autonomous Systems.
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).
Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Cluster Hidden Markov Models: An Application to Ecological Momentary Assessment of Schizophrenia.
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.
Proceedings of the Artificial Intelligence in Medicine, 2019

2018
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases.
IEEE Trans. Software Eng., 2018

Evaluation of Mutation Testing in a Nuclear Industry Case Study.
IEEE Trans. Reliab., 2018

The Moral Responsibility Gap and the Increasing Autonomy of Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2018

What Is Acceptably Safe for Reinforcement Learning?
Proceedings of the Computer Safety, Reliability, and Security, 2018

YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication.
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.
Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases.
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.
Reliab. Eng. Syst. Saf., 2017

Why functional safety experts worry about automotive systems having increasing autonomy.
Proceedings of the 2017 IEEE SmartWorld, 2017

Challenges of Safety Assurance for Industry 4.0.
Proceedings of the 13th European Dependable Computing Conference, 2017

2016
Model-based safety analysis of software product lines.
Int. J. Embed. Syst., 2016

2015
Dynamic Safety Cases for Through-Life Safety Assurance.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Developing Assurance Cases for D-MILS Systems.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Weaving an Assurance Case from Design: A Model-Based Approach.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Supporting the Automated Generation of Modular Product Line Safety Cases.
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?
CoRR, 2014

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

A candid industrial evaluation of formal software verification using model checking.
Proceedings of the 36th International Conference on Software Engineering, 2014

A Layered Model for Structuring Automotive Safety Arguments (Short Paper).
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.
IEEE Trans. Software Eng., 2013

Principled Construction of Software Safety Cases.
Proceedings of the SAFECOMP 2013, 2013

Safety Cases and Their Role in ISO 26262 Functional Safety Assessment.
Proceedings of the Computer Safety, Reliability, and Security, 2013

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Arguing Conformance.
IEEE Softw., 2012

Safety certification of airborne software: An empirical study.
Reliab. Eng. Syst. Saf., 2012

Towards a Case-Based Reasoning Approach for Safety Assurance Reuse.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Perspectives on software safety case development for unmanned aircraft.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011
Towards Measurement of Confidence in Safety Cases.
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

2010
Software safety: relating software assurance and software integrity.
Int. J. Crit. Comput. Based Syst., 2010

Assurance of Automotive Safety - A Safety Case Approach.
Proceedings of the Computer Safety, 2010

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.
Proceedings of the Architecting Critical Systems, First International Symposium, 2010

2008
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

A Model-Driven Approach to Assuring Process Reliability.
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.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Achieving Integrated Process and Product Safety Arguments.
Proceedings of the Safety of Systems, 2007

Capturing and Replaying Architectural Knowledge through Derivational Analogy.
Proceedings of the Second Workshop on Sharing and Reusing Architectural Knowledge, 2007

Extending Argumentation to Goal-Oriented Requirements Engineering.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

2006
Process and product certification arguments: getting the balance right.
SIGBED Rev., 2006


  Loading...