Ibrahim Habli

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 74

Top Topics

Safety Analysis

Support Systems

Autonomous Systems

Top Venues

SAFECOMP Workshops

Publications

Philippa Ryan, Zoé Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli
What's my role? Modelling responsibility for AI-based safety-critical systems. CoRR (2024)
Muhammad Hussain, Ioanna Iacovides, Tom Lawton, Vishal Sharma, Zoë Porter, Alice Cunningham, Ibrahim Habli, Shireen Hickey, Yan Jia, Phillip Morgan, Nee Ling Wong
Development and translation of human-AI interaction models into working prototypes for clinical decision-making. Conference on Designing Interactive Systems (2024)
Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213 (2024)
Zoë Porter, Ibrahim Habli, John A. McDermid, Marten H. L. Kaas
A principles-based ethics assurance argument pattern for AI and autonomous systems. AI Ethics 4 (2) (2024)
Marten H. L. Kaas, Christopher Burr, Zoë Porter, Berk Ozturk, Philippa Ryan, Michael A. Katell, Nuala Polo, Kalle Westerling, Ibrahim Habli
Fair by design: A sociotechnical approach to justifying the fairness of AI-enabled systems across the lifecycle. CoRR (2024)
Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR (2024)
Ozan Vardal, Richard Hawkins, Colin Paterson, Chiara Picardi, Daniel Omeiza, Lars Kunze, Ibrahim Habli
Learning Run-time Safety Monitors for Machine Learning Components. CoRR (2024)
John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
The Safety of Autonomy: A Systematic Approach. Computer 57 (4) (2024)
Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. SAFECOMP (2023)
Niels Peek, Charlotte Stockton-Powdrell, Alexander J. Casson, Matthew Sperrin, Bijan Parsia, Andrea Manca, Cynthia Iglesias, Ibrahim Habli, Lamiece Hassan, Steven Antrobus, Matthew Machin
Applying Team Science to Collaborative Digital Health Research: Learnings from the Wearable Clinic. MedInfo (2023)
Yan Jia, John A. McDermid, Nathan Hughes, Mark Sujan, Tom Lawton, Ibrahim Habli
The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems. ICHI (2023)
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. CoRR (2023)
Marten H. L. Kaas, Zoë Porter, Ernest Lim, Aisling Higham, Sarah Khavandi, Ibrahim Habli
Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare. TAS (2023)
Marten H. L. Kaas, Zoë Porter, Ernest Lim, Aisling Higham, Sarah Khavandi, Ibrahim Habli
Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare. CoRR (2023)
Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter
Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. TAS (2023)
Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli
Unravelling Responsibility for AI. CoRR (2023)
Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
Transfer Assurance for Machine Learning in Autonomous Systems. SafeAI@AAAI (2023)
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. SAFECOMP Workshops (2023)
Berk Ozturk, Tom Lawton, Stephen Smith, Ibrahim Habli
Predicting Progression of Type 2 Diabetes Using Primary Care Data with the Help of Machine Learning. MIE (2023)
Fang Yan, Simon Foster, Ibrahim Habli
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. ICECCS (2023)
Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John Alexander McDermid, Ibrahim Habli
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR (2022)
Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei
Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. MODELSWARD (2022)
Yan Jia, John Alexander McDermid, Tom Lawton, Ibrahim Habli
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. IEEE Trans. Emerg. Top. Comput. 10 (4) (2022)
Zoë Porter, Ibrahim Habli, John Alexander McDermid
A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. CoRR (2022)
Zoë Porter, Annette Zimmermann, Phillip Morgan, John A. McDermid, Tom Lawton, Ibrahim Habli
Distinguishing two features of accountability for AI technologies. Nat. Mac. Intell. 4 (9) (2022)
Beverley Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32 (4) (2022)
Shakir Laher, Carla Brackstone, Sara Reis, An Nguyen, Sean White, Ibrahim Habli
Review of the AMLAS Methodology for Application in Healthcare. CoRR (2022)
Victoria J. Hodge, Richard Hawkins, James Hilder, Ibrahim Habli
Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context. CoRR (2022)
Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR (2021)
Yan Jia, Tom Lawton, John McDermid, Eric Rojas, Ibrahim Habli
A Framework for Assurance of Medication Safety using Machine Learning. CoRR (2021)
Paul Festor, Ibrahim Habli, Yan Jia, Anthony C. Gordon, A. Aldo Faisal, Matthieu Komorowski
Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems. SAFECOMP Workshops (2021)
Yan Jia, Tom Lawton, John Burden, John McDermid, Ibrahim Habli
Safety-driven design of machine learning for sepsis treatment. J. Biomed. Informatics 117 (2021)
Ciarán McInerney, Jonathan Benn, Dawn Dowding, Ibrahim Habli, David A. Jenkins, Carolyn McCrorie, Niels Peek, Rebecca Randell, Richard Williams, Owen A. Johnson
Patient Safety Informatics: Meeting the Challenges of Emerging Digital Health. MedInfo (2021)
Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli
Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). MobiHealth (2021)
Yan Jia, John McDermid, Tom Lawton, Ibrahim Habli
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. CoRR (2021)
Yan Jia, John McDermid, Ibrahim Habli
Enhancing the Value of Counterfactual Explanations for Deep Learning. AIME (2021)
Yan Jia, Chaitanya Kaul, Tom Lawton, Roderick Murray-Smith, Ibrahim Habli
Prediction of weaning from mechanical ventilation using Convolutional Neural Networks. Artif. Intell. Medicine 117 (2021)
Haris Aftab, Syed Hammad Hussain Shah, Ibrahim Habli
Classification of Failures in the Perception of Conversational Agents (CAs) and Their Implications on Patient Safety. MIE (2021)
Ibrahim Habli, Charlotte Stockton-Powdrell, Matthew Machin, Paolo Fraccaro, Shôn Lewis, Niels Peek
Preliminary Safety Analysis of a Wearable Clinic for the Early Detection of Psychotic Relapse. MIE (2020)
Nungki Selviandro, Richard Hawkins, Ibrahim Habli
A Visual Notation for the Representation of Assurance Cases Using SACM. IMBSA (2020)
Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang
Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. DAC (2020)
Helen Monkhouse, Ibrahim Habli, John McDermid
An enhanced vehicle control model for assessing highly automated driving safety. Reliab. Eng. Syst. Saf. 202 (2020)
Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli
Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI (2020)
Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John McDermid, Chiara Picardi, Tom Lawton
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR (2020)
Simon Burton, Ibrahim Habli, Tom Lawton, John McDermid, Phillip Morgan, Zoë Porter
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artif. Intell. 279 (2020)
Francis Rhys Ward, Ibrahim Habli
An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems. SAFECOMP Workshops (2020)
John Birch, David Blackburn, John Botham, Ibrahim Habli, David Higham, Helen Monkhouse, Gareth Price, Norina Ratiu, Roger Rivett
A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF). SAFECOMP Workshops (2020)
Ibrahim Habli, Yan Jia, Sean White, George Gabriel, Tom Lawton, Mark Sujan, Clive Tomsett
Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology. Health Informatics J. 26 (1) (2020)
Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli
Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP (2020)
Yan Jia, John Burden, Tom Lawton, Ibrahim Habli
Safe Reinforcement Learning for Sepsis Treatment. ICHI (2020)
William Hulme, Charlotte Stockton-Powdrell, Shôn Lewis, Glen P. Martin, Sandra Bucci, Bijan Parsia, Alexander J. Casson, Ibrahim Habli, Niels Peek
Cluster Hidden Markov Models: An Application to Ecological Momentary Assessment of Schizophrenia. CBMS (2019)
John McDermid, Yan Jia, Ibrahim Habli
Towards a Framework for Safety Assurance of Autonomous Systems. AISafety@IJCAI (2019)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, David Parker, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. 31 (8) (2019)
Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion (2019)
Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. SAFECOMP Workshops (2019)
Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. SAFECOMP (2019)
Yan Jia, Tom Lawton, Sean White, Ibrahim Habli
Developing a Safety Case for Electronic Prescribing. MedInfo (2019)
Chiara Picardi, Ibrahim Habli
Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning. AIME (2019)
Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE (2018)
Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44 (11) (2018)
John Bragg, Ibrahim Habli
What Is Acceptably Safe for Reinforcement Learning? SAFECOMP Workshops (2018)
Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo
Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. 67 (4) (2018)
Zoë Porter, Ibrahim Habli, Helen Monkhouse, John Bragg
The Moral Responsibility Gap and the Increasing Autonomy of Systems. SAFECOMP Workshops (2018)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Variability Management in Safety-Critical Software Product Line Engineering. ICSR (2018)
Ahmed Shalan, Abubakar Abdulrahman, Ibrahim Habli, Garry A. Tew, Andrew Thompson
YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication. MIE (2018)
Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson
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. 161 (2017)
Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR (2017)
Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins
Challenges of Safety Assurance for Industry 4.0. EDCC (2017)
Helen Monkhouse, Ibrahim Habli, John McDermid, Siddartha Khastgir, Gunwant Dhadyalla
Why functional safety experts worry about automotive systems having increasing autonomy. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo Cesar Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Model-based safety analysis of software product lines. Int. J. Embed. Syst. 8 (5/6) (2016)
Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly
Weaving an Assurance Case from Design: A Model-Based Approach. HASE (2015)
Richard Hawkins, Tim Kelly, Ibrahim Habli
Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC (2015)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX (2015)
Ewen Denney, Ganesh J. Pai, Ibrahim Habli
Dynamic Safety Cases for Through-Life Safety Assurance. ICSE (2) (2015)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC (2014)
Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS (2014)
Matthew Bennion, Ibrahim Habli
A candid industrial evaluation of formal software verification using model checking. ICSE Companion (2014)
John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Helen Monkhouse, Robert Palin
A Layered Model for Structuring Automotive Safety Arguments (Short Paper). EDCC (2014)
Ibrahim Habli, Andrew Rae
Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From? CoRR (2014)
Richard Hawkins, Ibrahim Habli, Tim Kelly
Principled Construction of Software Safety Cases. SASSUR@SAFECOMP (2013)
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE (2013)
Richard Baker, Ibrahim Habli
An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software. IEEE Trans. Software Eng. 39 (6) (2013)
John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Peter Jesty, Helen Monkhouse, Robert Palin
Safety Cases and Their Role in ISO 26262 Functional Safety Assessment. SAFECOMP (2013)
Ewen Denney, Ganesh Pai, Ibrahim Habli
Perspectives on software safety case development for unmanned aircraft. DSN (2012)
Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. SAFECOMP Workshops (2012)
Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
Arguing Conformance. IEEE Softw. 29 (3) (2012)
Ian Dodd, Ibrahim Habli
Safety certification of airborne software: An empirical study. Reliab. Eng. Syst. Saf. 98 (1) (2012)
Ewen Denney, Ganesh Pai, Ibrahim Habli
Towards Measurement of Confidence in Safety Cases. ESEM (2011)
Ibrahim Habli, Richard Hawkins, Tim Kelly
Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. 1 (4) (2010)
Ibrahim Habli, Tim Kelly
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS (2010)
Robert Palin, Ibrahim Habli
Assurance of Automotive Safety - A Safety Case Approach. SAFECOMP (2010)
Ibrahim Habli, Tim Kelly
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Ibrahim Habli, Tim Kelly
A Model-Driven Approach to Assuring Process Reliability. ISSRE (2008)
Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly
Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops (2007)
Ibrahim Habli, Tim Kelly
Capturing and Replaying Architectural Knowledge through Derivational Analogy. SHARK/ADI@ICSE (2007)
Ibrahim Habli, Tim Kelly
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC (2007)
Ibrahim Habli, Tim Kelly
Achieving Integrated Process and Product Safety Arguments. SSS (2007)
Ibrahim Habli, Tim Kelly
Process and product certification arguments: getting the balance right. SIGBED Rev. 3 (4) (2006)