| 2025 | AIES | Concept Creep in Safe Artificial Intelligence. | Laura Fearnley, Ibrahim Habli |
| 2025 | EDCC | On the Meaning of AI Safety. | Ibrahim Habli |
| 2025 | ISSRE | LLM Safety and Context Fallacies. | Shaun Feakins, Ibrahim Habli, Phillip Morgan |
| 2025 | ISSRE | A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component. | Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton, Victoria J. Hodge, Colin Paterson, Ibrahim Habli |
| 2025 | SAFECOMP | Does Not Impute! Performance and Ethical Implications of Missing Data for an AI-Based Diabetes Co-morbidity Predictor. | Philippa Ryan, Berk Ozturk, Laura Fearnley, Tom Lawton, Ibrahim Habli |
| 2024 | SAFECOMP | Using GPT-4 to Generate Failure Logic. | Kester Clegg, Ibrahim Habli, John A. McDermid |
| 2023 | AAAI | Transfer Assurance for Machine Learning in Autonomous Systems. | Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli |
| 2023 | ICECCS | Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. | Fang Yan, Simon Foster, Ibrahim Habli |
| 2023 | SAFECOMP | 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 |
| 2023 | SAFECOMP | The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. | Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli |
| 2022 | MODELSWARD | Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. | Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei |
| 2021 | AIME | Enhancing the Value of Counterfactual Explanations for Deep Learning. | Yan Jia, John A. McDermid, Ibrahim Habli |
| 2021 | SAFECOMP | 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 |
| 2020 | AAAI | Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. | Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli |
| 2020 | DAC | 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 |
| 2020 | SAFECOMP | 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 |
| 2020 | SAFECOMP | Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. | Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli |
| 2020 | SAFECOMP | An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems. | Francis Rhys Ward, Ibrahim Habli |
| 2019 | AIME | Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning. | Chiara Picardi, Ibrahim Habli |
| 2019 | CBMS | Cluster Hidden Markov Models: An Application to Ecological Momentary Assessment of Schizophrenia. | William Hulme, Charlotte Stockton-Powdrell, Shn Lewis, Glen P. Martin, Sandra Bucci, Bijan Parsia, Alexander J. Casson, Ibrahim Habli, Niels Peek |
| 2019 | IJCAI | Towards a Framework for Safety Assurance of Autonomous Systems. | John A. McDermid, Yan Jia, Ibrahim Habli |
| 2019 | ICSA | Architecting Trustworthy Self-Adaptive Systems (Tutorial). | Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli |
| 2019 | SAFECOMP | 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 |
| 2019 | SAFECOMP | A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. | Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli |
| 2018 | ICSE | ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. | Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly |
| 2018 | ICSR | Variability Management in Safety-Critical Software Product Line Engineering. | Andr Luz de Oliveira, Rosana T. V. Braga, Paulo Csar Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly |
| 2018 | SAFECOMP | What Is Acceptably Safe for Reinforcement Learning? | John Bragg, Ibrahim Habli |
| 2018 | SAFECOMP | The Moral Responsibility Gap and the Increasing Autonomy of Systems. | Zo Porter, Ibrahim Habli, Helen Monkhouse, John Bragg |
| 2017 | EDCC | Challenges of Safety Assurance for Industry 4.0. | Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins |
| 2017 | UIC | Why functional safety experts worry about automotive systems having increasing autonomy. | Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla |
| 2015 | DEPCoS | Supporting the Automated Generation of Modular Product Line Safety Cases. | Andr Luz de Oliveira, Rosana T. V. Braga, Paulo Csar Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly |
| 2015 | ICSE | Dynamic Safety Cases for Through-Life Safety Assurance. | Ewen Denney, Ganesh J. Pai, Ibrahim Habli |
| 2014 | EDCC | 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 |
| 2014 | ICSE | A candid industrial evaluation of formal software verification using model checking. | Matthew Bennion, Ibrahim Habli |
| 2013 | ICSE | 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). | Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight |
| 2013 | SAFECOMP | 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 |
| 2013 | SAFECOMP | Principled Construction of Software Safety Cases. | Richard Hawkins, Ibrahim Habli, Tim Kelly |
| 2012 | DSN | Perspectives on software safety case development for unmanned aircraft. | Ewen Denney, Ganesh Pai, Ibrahim Habli |
| 2012 | SAFECOMP | Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. | Alejandra Ruiz, Ibrahim Habli, Huscar Espinoza |
| 2011 | ESEM | Towards Measurement of Confidence in Safety Cases. | Ewen Denney, Ganesh Pai, Ibrahim Habli |
| 2010 | SAFECOMP | Assurance of Automotive Safety - A Safety Case Approach. | Robert Palin, Ibrahim Habli |
| 2008 | ISSRE | A Model-Driven Approach to Assuring Process Reliability. | Ibrahim Habli, Tim Kelly |
| 2007 | ER | Extending Argumentation to Goal-Oriented Requirements Engineering. | Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly |
| 2007 | ICSE | Capturing and Replaying Architectural Knowledge through Derivational Analogy. | Ibrahim Habli, Tim Kelly |
| 2007 | SPLC | Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. | Ibrahim Habli, Tim Kelly |