Process and product certification arguments: getting the balance right. - Ibrahim Habli; Tim Kelly (SIGBED Rev., 2006)

Extending Argumentation to Goal-Oriented Requirements Engineering. - Ibrahim Habli; Weihang Wu; Katrina Attwood; Tim Kelly (ER Workshops, 2007)

Capturing and Replaying Architectural Knowledge through Derivational Analogy. - Ibrahim Habli; Tim Kelly (SHARK/ADI@ICSE, 2007)

Achieving Integrated Process and Product Safety Arguments. - Ibrahim Habli; Tim Kelly (SSS, 2007)

Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. - Ibrahim Habli; Tim Kelly (SPLC, 2007)

A Model-Driven Approach to Assuring Process Reliability. - Ibrahim Habli; Tim Kelly (ISSRE, 2008)

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. - Ibrahim Habli; Tim Kelly (SafeCert@ETAPS, 2008)

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. - Ibrahim Habli; Tim Kelly (ISARCS, 2010)

Assurance of Automotive Safety - A Safety Case Approach. - Robert Palin; Ibrahim Habli (SAFECOMP, 2010)

Software safety: relating software assurance and software integrity. - Ibrahim Habli; Richard Hawkins; Tim Kelly (Int. J. Crit. Comput. Based Syst., 2010)

Towards Measurement of Confidence in Safety Cases. - Ewen Denney; Ganesh Pai; Ibrahim Habli (ESEM, 2011)

Perspectives on software safety case development for unmanned aircraft. - Ewen Denney; Ganesh Pai; Ibrahim Habli (DSN, 2012)

Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. - Alejandra Ruiz 001; Ibrahim Habli; Huáscar Espinoza (SAFECOMP Workshops, 2012)

Safety certification of airborne software: An empirical study. - Ian Dodd; Ibrahim Habli (Reliab. Eng. Syst. Saf., 2012)

Arguing Conformance. - Patrick J. Graydon; Ibrahim Habli; Richard Hawkins; Tim Kelly; John C. Knight (IEEE Softw., 2012)

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). - Ewen Denney; Ganesh Pai; Ibrahim Habli; Tim Kelly; John C. Knight (ICSE, 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 (SAFECOMP, 2013)

Principled Construction of Software Safety Cases. - Richard Hawkins; Ibrahim Habli; Tim Kelly (SASSUR@SAFECOMP, 2013)

An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software. - Richard Baker 006; Ibrahim Habli (IEEE Trans. Software Eng., 2013)

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 (EDCC, 2014)

A candid industrial evaluation of formal software verification using model checking. - Matthew Bennion; Ibrahim Habli (ICSE Companion, 2014)

Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. - Ibrahim Habli; Abdulaziz Al-Humam; Tim Kelly; Leila Fahel (MCPS, 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 (SBESC, 2014)

Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From? - Ibrahim Habli; Andrew Rae (CoRR, 2014)

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 (DepCoS-RELCOMEX, 2015)

Weaving an Assurance Case from Design: A Model-Based Approach. - Richard Hawkins; Ibrahim Habli; Dimitrios S. Kolovos; Richard F. Paige; Tim Kelly (HASE, 2015)

Developing Assurance Cases for D-MILS Systems. - Richard Hawkins; Tim Kelly; Ibrahim Habli (MILS@HiPEAC, 2015)

Dynamic Safety Cases for Through-Life Safety Assurance. - Ewen Denney; Ganesh J. Pai; Ibrahim Habli (ICSE (2), 2015)

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)

Challenges of Safety Assurance for Industry 4.0. - Omar Jaradat; Irfan Sljivo; Ibrahim Habli; Richard Hawkins (EDCC, 2017)

Why functional safety experts worry about automotive systems having increasing autonomy. - Helen Monkhouse; Ibrahim Habli; John A. McDermid; Siddartha Khastgir; Gunwant Dhadyalla (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 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 001 (Reliab. Eng. Syst. Saf., 2017)

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; M. Usman Iftikhar; Ibrahim Habli; Tim Kelly (ICSE, 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 (ICSR, 2018)

YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication. - Ahmed Shalan; Abubakar Abdulrahman; Ibrahim Habli; Garry A. Tew; Andrew Thompson 005 (MIE, 2018)

What Is Acceptably Safe for Reinforcement Learning? - John Bragg; Ibrahim Habli (SAFECOMP Workshops, 2018)

The Moral Responsibility Gap and the Increasing Autonomy of Systems. - Zoë Porter; Ibrahim Habli; Helen Monkhouse; John Bragg (SAFECOMP Workshops, 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)

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)

Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning. - Chiara Picardi; Ibrahim Habli (AIME, 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 (CBMS, 2019)

Architecting Trustworthy Self-Adaptive Systems (Tutorial). - Radu Calinescu; Danny Weyns; Simos Gerasimou; Ibrahim Habli (ICSA Companion, 2019)

Towards a Framework for Safety Assurance of Autonomous Systems. - John A. McDermid; Yan Jia 008; Ibrahim Habli (AISafety@IJCAI, 2019)

Developing a Safety Case for Electronic Prescribing. - Yan Jia 008; Tom Lawton; Sean White; Ibrahim Habli (MedInfo, 2019)

Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. - Simon Burton 001; Lydia Gauerhof; Bibhuti Bhusan Sethy; Ibrahim Habli; Richard Hawkins (SAFECOMP Workshops, 2019)

A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. - Chiara Picardi; Richard Hawkins; Colin Paterson; Ibrahim Habli (SAFECOMP, 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 002; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (J. Softw. Evol. Process., 2019)

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. - Chiara Picardi; Colin Paterson; Richard Hawkins; Radu Calinescu; Ibrahim Habli (SafeAI@AAAI, 2020)

Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. - Shuai Zhao 004; Zhe Jiang 004; Xiaotian Dai 001; Iain Bate; Ibrahim Habli; Wanli Chang 001 (DAC, 2020)

Safe Reinforcement Learning for Sepsis Treatment. - Yan Jia 008; John Burden; Tom Lawton; Ibrahim Habli (ICHI, 2020)

A Visual Notation for the Representation of Assurance Cases Using SACM. - Nungki Selviandro; Richard Hawkins; Ibrahim Habli (IMBSA, 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 (MIE, 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 (SAFECOMP 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 (SAFECOMP, 2020)

An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems. - Francis Rhys Ward; Ibrahim Habli (SAFECOMP Workshops, 2020)

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. - Simon Burton 001; Ibrahim Habli; Tom Lawton; John A. McDermid; Phillip Morgan; Zoë Porter (Artif. Intell., 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)

Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology. - Ibrahim Habli; Yan Jia 008; Sean White; George Gabriel; Tom Lawton; Mark Sujan; Clive Tomsett (Health Informatics J., 2020)

An enhanced vehicle control model for assessing highly automated driving safety. - Helen Monkhouse; Ibrahim Habli; John A. McDermid (Reliab. Eng. Syst. Saf., 2020)

Enhancing the Value of Counterfactual Explanations for Deep Learning. - Yan Jia 008; John A. McDermid; Ibrahim Habli (AIME, 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 001; Owen A. Johnson (MedInfo, 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 (MIE, 2021)

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). - Haris Aftab; Vibhu Gautam; Richard Hawkins; Rob Alexander; Ibrahim Habli (MobiHealth, 2021)

Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems. - Paul Festor; Ibrahim Habli; Yan Jia 008; Anthony C. Gordon; A. Aldo Faisal; Matthieu Komorowski (SAFECOMP Workshops, 2021)

Prediction of weaning from mechanical ventilation using Convolutional Neural Networks. - Yan Jia 008; Chaitanya Kaul; Tom Lawton; Roderick Murray-Smith; Ibrahim Habli (Artif. Intell. Medicine, 2021)

A Framework for Assurance of Medication Safety using Machine Learning. - Yan Jia 008; Tom Lawton; John A. McDermid; Eric Rojas 001; Ibrahim Habli (CoRR, 2021)

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). - Richard Hawkins; Colin Paterson; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (CoRR, 2021)

Safety-driven design of machine learning for sepsis treatment. - Yan Jia 008; Tom Lawton; John Burden; John A. McDermid; Ibrahim Habli (J. Biomed. Informatics, 2021)

Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. - Fang Yan 004; Simon Foster 001; Ibrahim Habli; Ran Wei (MODELSWARD, 2022)

Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context. - Victoria J. Hodge; Richard Hawkins; James Hilder; Ibrahim Habli (CoRR, 2022)

A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. - Zoë Porter; Ibrahim Habli; John A. McDermid (CoRR, 2022)

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). - Richard Hawkins; Matt Osborne; Mike Parsons; Mark Nicholson 001; John A. McDermid; Ibrahim Habli (CoRR, 2022)

Review of the AMLAS Methodology for Application in Healthcare. - Shakir Laher; Carla Brackstone; Sara Reis; An Nguyen; Sean White; Ibrahim Habli (CoRR, 2022)

From Pluralistic Normative Principles to Autonomous-Agent Rules. - Beverley A. Townsend; Colin Paterson; T. T. Arvind; Gabriel Nemirovsky; Radu Calinescu; Ana Cavalcanti 001; Ibrahim Habli; Alan Thomas (Minds Mach., 2022)

The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. - Yan Jia 008; John A. McDermid; Tom Lawton; Ibrahim Habli (IEEE Trans. Emerg. Top. Comput., 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., 2022)

Transfer Assurance for Machine Learning in Autonomous Systems. - Chiara Picardi; Richard Hawkins; Colin Paterson; Ibrahim Habli (SafeAI@AAAI, 2023)

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. - Fang Yan 004; Simon Foster 001; Ibrahim Habli (ICECCS, 2023)

The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems. - Yan Jia 008; John A. McDermid; Nathan Gerard Jayy Hughes; Mark Sujan; Tom Lawton; Ibrahim Habli (ICHI, 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 (MedInfo, 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 (MIE, 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 (SAFECOMP Workshops, 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 (SAFECOMP, 2023)

Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. - Philippa Ryan Conmy; John A. McDermid; Ibrahim Habli; Zoë Porter (TAS, 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 (TAS, 2023)

Unravelling Responsibility for AI. - Zoë Porter; Joanna Al-Qaddoumi; Philippa Ryan Conmy; Phillip Morgan; John A. McDermid; Ibrahim Habli (CoRR, 2023)

Development and translation of human-AI interaction models into working prototypes for clinical decision-making. - Muhammad Hussain; Ioanna Iacovides; Tom Lawton; Vishal Sharma; Zoë Porter; Alice Cunningham; Ibrahim Habli; Shireen Hickey; Yan Jia 008; Phillip Morgan; Nee Ling Wong (Conference on Designing Interactive Systems, 2024)

Balancing Acts: Tackling Data Imbalance in Machine Learning for Predicting Myocardial Infarction in Type 2 Diabetes. - Berk Ozturk; Tom Lawton; Stephen Smith; Ibrahim Habli (MIE, 2024)

Using GPT-4 to Generate Failure Logic. - Kester Dean Clegg; Ibrahim Habli; John A. McDermid (SAFECOMP (Workshops), 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)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. - Ran Wei; Simon Foster 001; Haitao Mei; Fang Yan 004; Ruizhe Yang; Ibrahim Habli; Colin O'Halloran; Nick Tudor; Tim Kelly (CoRR, 2024)

Fair by design: A sociotechnical approach to justifying the fairness of AI-enabled systems across the lifecycle. - Marten H. L. Kaas; Christopher Burr; Zoë Porter; Berk Ozturk; Philippa Ryan; Michael A. Katell; Nuala Polo; Kalle Westerling; Ibrahim Habli (CoRR, 2024)

Learning Run-time Safety Monitors for Machine Learning Components. - Ozan Vardal; Richard Hawkins; Colin Paterson; Chiara Picardi; Daniel Omeiza; Lars Kunze; Ibrahim Habli (CoRR, 2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. - Ran Wei; Simon Foster 001; Haitao Mei; Fang Yan 004; Ruizhe Yang; Ibrahim Habli; Colin O'Halloran; Nick Tudor; Tim Kelly; Yakoub Nemouchi (J. Syst. Softw., 2024)

The Safety of Autonomy: A Systematic Approach. - John A. McDermid; Radu Calinescu; Ibrahim Habli; Richard Hawkins; Yan Jia 008; John Molloy; Matt Osborne; Colin Paterson; Zoë Porter; Philippa Ryan Conmy (Computer, 2024)

A principles-based ethics assurance argument pattern for AI and autonomous systems. - Zoë Porter; Ibrahim Habli; John A. McDermid; Marten H. L. Kaas (AI Ethics, 2024)

On the Meaning of AI Safety. - Ibrahim Habli (EDCC-C, 2025)

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 (SAFECOMP (Workshops), 2025)

A deployment safety case for AI-assisted prostate cancer diagnosis. - Yan Jia 008; Clare Verrill; Kieron White; Monica Dolton; Margaret Horton; Mufaddal Jafferji; Ibrahim Habli (Comput. Biol. Medicine, 2025)

Safety assurance of Machine Learning for autonomous systems. - Colin Paterson; Richard Hawkins; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (Reliab. Eng. Syst. Saf., 2025)

Upstream and Downstream AI Safety: Both on the Same River? - John A. McDermid; Yan Jia 008; Ibrahim Habli (CoRR, 2025)

The BIG Argument for AI Safety Cases. - Ibrahim Habli; Richard Hawkins; Colin Paterson; Philippa Ryan; Yan Jia 008; Mark Sujan; John A. McDermid (CoRR, 2025)

The case for delegated AI autonomy for Human AI teaming in healthcare. - Yan Jia 008; Harriet Evans; Zoë Porter; Simon Graham; John A. McDermid; Tom Lawton; David R. J. Snead; Ibrahim Habli (CoRR, 2025)

Assuring AI safety: fallible knowledge and the Gricean maxims. - Marten H. L. Kaas; Ibrahim Habli (AI Ethics, 2025)

Metrics that matter: Evaluating image quality metrics for medical image generation. - Yash Deo; Yan Jia 008; Toni Lassila; William A. P. Smith; Tom Lawton; Siyuan Kang; Alejandro F. Frangi; Ibrahim Habli (CoRR, 2025)