Ibrahim Habli - RankMe

124 papers A* 3A 4B 12C 2Misc 2Journal 55Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Calibrated Memorization Index (MI) for Detecting Training Data Leakage in Generative MRI Models. CoRR Yash Deo, Yan Jia, Toni Lassila, Victoria J. Hodge, Alejandro F. Frangi, Chenghao Qian, Siyuan Kang, Ibrahim Habli
2026	J	`jnl`	Clear, Compelling Arguments: Rethinking the Foundations of Frontier AI Safety Cases. CoRR Shaun Feakins, Ibrahim Habli, Phillip Morgan
2026	J	`jnl`	Design Principles for Human-Centred Explainable AI: A Scoping Review. ACM Trans. Interact. Intell. Syst. Nathan Gerard Jayy Hughes, Yan Jia, Mark Sujan, Tom Lawton, Ibrahim Habli, John A. McDermid
2026	J	`jnl`	Formal Evidence Generation for Assurance Cases for Robotic Software Models. CoRR Fang Yan, Simon Foster, Ana Cavalcanti, Ibrahim Habli, James Baxter
2026	J	`jnl`	Safe Machine Learning: Why Performance Is Not Enough. IEEE Softw. Richard Hawkins, Colin Paterson, Ibrahim Habli, Markus Borg
2025	—	`conf`	A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component. ISSREW Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton, Victoria J. Hodge, Colin Paterson, Ibrahim Habli
2025	J	`jnl`	A deployment safety case for AI-assisted prostate cancer diagnosis. Comput. Biol. Medicine Yan Jia, Clare Verrill, Kieron White, Monica Dolton, Margaret Horton, Mufaddal Jafferji, Ibrahim Habli
2025	J	`jnl`	Assuring AI safety: fallible knowledge and the Gricean maxims. AI Ethics Marten H. L. Kaas, Ibrahim Habli
2025	—	`conf`	Does Not Impute! Performance and Ethical Implications of Missing Data for an AI-Based Diabetes Co-morbidity Predictor. SAFECOMP (Workshops) Philippa Ryan, Berk Ozturk, Laura Fearnley, Tom Lawton, Ibrahim Habli
2025	J	`jnl`	Evaluating Metrics for Safety with LLM-as-Judges. CoRR Kester Dean Clegg, Richard Hawkins, Ibrahim Habli, Tom Lawton
2025	J	`jnl`	INSYTE: A Classification Framework for Traditional to Agentic AI Systems. ACM Trans. Auton. Adapt. Syst. Zoë Porter, Radu Calinescu, Ernest Lim, Victoria J. Hodge, Philippa Ryan, Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, John Molloy, Helen Monkhouse, Phillip Morgan, Paul Noordhof, Colin Paterson, Isobel Standen, Jie Zou
2025	—	`conf`	LLM Safety and Context Fallacies. ISSREW Shaun Feakins, Ibrahim Habli, Phillip Morgan
2025	J	`jnl`	MATRIX: Multi-Agent simulaTion fRamework for safe Interactions and conteXtual clinical conversational evaluation. CoRR Ernest Lim, Yajie Vera He, Jared Joselowitz, Kate Preston, Mohita Chowdhury, Louis Williams, Aisling Higham, Katrina Mason, Mariane Melo, Tom Lawton, Yan Jia, Ibrahim Habli
2025	J	`jnl`	Metrics that matter: Evaluating image quality metrics for medical image generation. CoRR Yash Deo, Yan Jia, Toni Lassila, William A. P. Smith, Tom Lawton, Siyuan Kang, Alejandro F. Frangi, Ibrahim Habli
2025	—	`conf`	On the Meaning of AI Safety. EDCC-C Ibrahim Habli
2025	J	`jnl`	Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems. CoRR Victoria J. Hodge, Colin Paterson, Ibrahim Habli
2025	J	`jnl`	Safety assurance of Machine Learning for autonomous systems. Reliab. Eng. Syst. Saf. Colin Paterson, Richard Hawkins, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2025	J	`jnl`	The BIG Argument for AI Safety Cases. CoRR Ibrahim Habli, Richard Hawkins, Colin Paterson, Philippa Ryan, Yan Jia, Mark Sujan, John A. McDermid
2025	J	`jnl`	The case for delegated AI autonomy for Human AI teaming in healthcare. CoRR Yan Jia, Harriet Evans, Zoë Porter, Simon Graham, John A. McDermid, Tom Lawton, David R. J. Snead, Ibrahim Habli
2025	J	`jnl`	Upstream and Downstream AI Safety: Both on the Same River? CoRR John A. McDermid, Yan Jia, Ibrahim Habli
2025	J	`jnl`	WER is Unaware: Assessing How ASR Errors Distort Clinical Understanding in Patient Facing Dialogue. CoRR Zachary Ellis, Jared Joselowitz, Yash Deo, Yajie He, Anna Kalygina, Aisling Higham, Mana Rahimzadeh, Yan Jia, Ibrahim Habli, Ernest Lim
2024	J	`jnl`	A principles-based ethics assurance argument pattern for AI and autonomous systems. AI Ethics Zoë Porter, Ibrahim Habli, John A. McDermid, Marten H. L. Kaas
2024	J	`jnl`	ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly
2024	J	`jnl`	ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
2024	—	`conf`	Balancing Acts: Tackling Data Imbalance in Machine Learning for Predicting Myocardial Infarction in Type 2 Diabetes. MIE Berk Ozturk, Tom Lawton, Stephen Smith, Ibrahim Habli
2024	A	`conf`	Development and translation of human-AI interaction models into working prototypes for clinical decision-making. Conference on Designing Interactive Systems Muhammad Hussain, Ioanna Iacovides, Tom Lawton, Vishal Sharma, Zoë Porter, Alice Cunningham, Ibrahim Habli, Shireen Hickey, Yan Jia, Phillip Morgan, Nee Ling Wong
2024	J	`jnl`	Fair by design: A sociotechnical approach to justifying the fairness of AI-enabled systems across the lifecycle. CoRR Marten H. L. Kaas, Christopher Burr, Zoë Porter, Berk Ozturk, Philippa Ryan, Michael A. Katell, Nuala Polo, Kalle Westerling, Ibrahim Habli
2024	J	`jnl`	Learning Run-time Safety Monitors for Machine Learning Components. CoRR Ozan Vardal, Richard Hawkins, Colin Paterson, Chiara Picardi, Daniel Omeiza, Lars Kunze, Ibrahim Habli
2024	J	`jnl`	The Safety of Autonomy: A Systematic Approach. Computer John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
2024	—	`conf`	Using GPT-4 to Generate Failure Logic. SAFECOMP (Workshops) Kester Dean Clegg, Ibrahim Habli, John A. McDermid
2024	J	`jnl`	What's my role? Modelling responsibility for AI-based safety-critical systems. CoRR Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli
2023	—	`conf`	AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. SAFECOMP Workshops Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
2023	J	`jnl`	AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. CoRR Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
2023	—	`conf`	Applying Team Science to Collaborative Digital Health Research: Learnings from the Wearable Clinic. MedInfo Niels Peek, Charlotte Stockton-Powdrell, Alexander J. Casson, Matthew Sperrin, Bijan Parsia, Andrea Manca, Cynthia Iglesias, Ibrahim Habli, Lamiece Hassan, Steven Antrobus, Matthew Machin
2023	B	`conf`	Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. ICECCS Fang Yan, Simon Foster, Ibrahim Habli
2023	—	`conf`	Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare. TAS Marten H. L. Kaas, Zoë Porter, Ernest Lim, Aisling Higham, Sarah Khavandi, Ibrahim Habli
2023	J	`jnl`	Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare. CoRR Marten H. L. Kaas, Zoë Porter, Ernest Lim, Aisling Higham, Sarah Khavandi, Ibrahim Habli
2023	—	`conf`	Predicting Progression of Type 2 Diabetes Using Primary Care Data with the Help of Machine Learning. MIE Berk Ozturk, Tom Lawton, Stephen Smith, Ibrahim Habli
2023	—	`conf`	Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. TAS Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter
2023	B	`conf`	The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. SAFECOMP Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli
2023	—	`conf`	The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems. ICHI Yan Jia, John A. McDermid, Nathan Gerard Jayy Hughes, Mark Sujan, Tom Lawton, Ibrahim Habli
2023	—	`conf`	Transfer Assurance for Machine Learning in Autonomous Systems. SafeAI@AAAI Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
2023	J	`jnl`	Unravelling Responsibility for AI. CoRR Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli
2022	J	`jnl`	A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. CoRR Zoë Porter, Ibrahim Habli, John A. McDermid
2022	J	`jnl`	Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context. CoRR Victoria J. Hodge, Richard Hawkins, James Hilder, Ibrahim Habli
2022	J	`jnl`	Distinguishing two features of accountability for AI technologies. Nat. Mac. Intell. Zoë Porter, Annette Zimmermann, Phillip Morgan, John A. McDermid, Tom Lawton, Ibrahim Habli
2022	J	`jnl`	From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
2022	J	`jnl`	Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli
2022	C	`conf`	Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. MODELSWARD Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei
2022	J	`jnl`	Review of the AMLAS Methodology for Application in Healthcare. CoRR Shakir Laher, Carla Brackstone, Sara Reis, An Nguyen, Sean White, Ibrahim Habli
2022	J	`jnl`	The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. IEEE Trans. Emerg. Top. Comput. Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli
2021	J	`jnl`	A Framework for Assurance of Medication Safety using Machine Learning. CoRR Yan Jia, Tom Lawton, John A. McDermid, Eric Rojas, Ibrahim Habli
2021	—	`conf`	Classification of Failures in the Perception of Conversational Agents (CAs) and Their Implications on Patient Safety. MIE Haris Aftab, Syed Hammad Hussain Shah, Ibrahim Habli
2021	B	`ed.`	Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings SAFECOMP Ibrahim Habli, Mark Sujan, Friedemann Bitsch
2021	—	`ed.`	Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings SAFECOMP Workshops Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch
2021	B	`conf`	Enhancing the Value of Counterfactual Explanations for Deep Learning. AIME Yan Jia, John A. McDermid, Ibrahim Habli
2021	J	`jnl`	Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2021	—	`conf`	Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems. SAFECOMP Workshops Paul Festor, Ibrahim Habli, Yan Jia, Anthony C. Gordon, A. Aldo Faisal, Matthieu Komorowski
2021	—	`conf`	Patient Safety Informatics: Meeting the Challenges of Emerging Digital Health. MedInfo Ciarán McInerney, Jonathan Benn, Dawn Dowding, Ibrahim Habli, David A. Jenkins, Carolyn McCrorie, Niels Peek, Rebecca Randell, Richard Williams, Owen A. Johnson
2021	J	`jnl`	Prediction of weaning from mechanical ventilation using Convolutional Neural Networks. Artif. Intell. Medicine Yan Jia, Chaitanya Kaul, Tom Lawton, Roderick Murray-Smith, Ibrahim Habli
2021	—	`conf`	Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). MobiHealth Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli
2021	J	`jnl`	Safety-driven design of machine learning for sepsis treatment. J. Biomed. Informatics Yan Jia, Tom Lawton, John Burden, John A. McDermid, Ibrahim Habli
2021	J	`jnl`	The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. CoRR Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli
2020	—	`conf`	A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF). SAFECOMP Workshops John Birch, David Blackburn, John Botham, Ibrahim Habli, David Higham, Helen Monkhouse, Gareth Price, Norina Ratiu, Roger Rivett
2020	—	`conf`	A Visual Notation for the Representation of Assurance Cases Using SACM. IMBSA Nungki Selviandro, Richard Hawkins, Ibrahim Habli
2020	—	`conf`	An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems. SAFECOMP Workshops Francis Rhys Ward, Ibrahim Habli
2020	J	`jnl`	An enhanced vehicle control model for assessing highly automated driving safety. Reliab. Eng. Syst. Saf. Helen Monkhouse, Ibrahim Habli, John A. McDermid
2020	—	`conf`	Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli
2020	B	`conf`	Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli
2020	J	`jnl`	Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology. Health Informatics J. Ibrahim Habli, Yan Jia, Sean White, George Gabriel, Tom Lawton, Mark Sujan, Clive Tomsett
2020	J	`jnl`	Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton
2020	J	`jnl`	Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artif. Intell. Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, Phillip Morgan, Zoë Porter
2020	—	`conf`	Preliminary Safety Analysis of a Wearable Clinic for the Early Detection of Psychotic Relapse. MIE Ibrahim Habli, Charlotte Stockton-Powdrell, Matthew Machin, Paolo Fraccaro, Shôn Lewis, Niels Peek
2020	—	`conf`	Safe Reinforcement Learning for Sepsis Treatment. ICHI Yan Jia, John Burden, Tom Lawton, Ibrahim Habli
2020	A*	`conf`	Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. DAC Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang
2019	B	`conf`	A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. SAFECOMP Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
2019	—	`conf`	Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli
2019	B	`conf`	Cluster Hidden Markov Models: An Application to Ecological Momentary Assessment of Schizophrenia. CBMS William Hulme, Charlotte Stockton-Powdrell, Shôn Lewis, Glen P. Martin, Sandra Bucci, Bijan Parsia, Alexander J. Casson, Ibrahim Habli, Niels Peek
2019	—	`conf`	Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. SAFECOMP Workshops Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins
2019	—	`conf`	Developing a Safety Case for Electronic Prescribing. MedInfo Yan Jia, Tom Lawton, Sean White, Ibrahim Habli
2019	B	`conf`	Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning. AIME Chiara Picardi, Ibrahim Habli
2019	—	`conf`	Towards a Framework for Safety Assurance of Autonomous Systems. AISafety@IJCAI John A. McDermid, Yan Jia, Ibrahim Habli
2019	J	`jnl`	Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, David Parker, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2018	A*	`conf`	ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	J	`jnl`	Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo
2018	—	`conf`	The Moral Responsibility Gap and the Increasing Autonomy of Systems. SAFECOMP Workshops Zoë Porter, Ibrahim Habli, Helen Monkhouse, John Bragg
2018	B	`conf`	Variability Management in Safety-Critical Software Product Line Engineering. ICSR André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2018	—	`conf`	What Is Acceptably Safe for Reinforcement Learning? SAFECOMP Workshops John Bragg, Ibrahim Habli
2018	—	`conf`	YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication. MIE Ahmed Shalan, Abubakar Abdulrahman, Ibrahim Habli, Garry A. Tew, Andrew Thompson
2017	Misc	`conf`	Challenges of Safety Assurance for Industry 4.0. EDCC Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins
2017	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
2017	J	`jnl`	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. Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson
2017	—	`conf`	Why functional safety experts worry about automotive systems having increasing autonomy. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla
2016	J	`jnl`	Model-based safety analysis of software product lines. Int. J. Embed. Syst. André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2015	—	`conf`	Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC Richard Hawkins, Tim Kelly, Ibrahim Habli
2015	—	`conf`	Dynamic Safety Cases for Through-Life Safety Assurance. ICSE (2) Ewen Denney, Ganesh J. Pai, Ibrahim Habli
2015	—	`conf`	Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2015	—	`conf`	Weaving an Assurance Case from Design: A Model-Based Approach. HASE Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly
2014	Misc	`conf`	A Layered Model for Structuring Automotive Safety Arguments (Short Paper). EDCC John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Helen Monkhouse, Robert Palin
2014	—	`conf`	A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2014	—	`conf`	A candid industrial evaluation of formal software verification using model checking. ICSE Companion Matthew Bennion, Ibrahim Habli
2014	J	`jnl`	Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From? CoRR Ibrahim Habli, Andrew Rae
2014	—	`conf`	Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel
2013	A*	`conf`	1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
2013	J	`jnl`	An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software. IEEE Trans. Software Eng. Richard Baker, Ibrahim Habli
2013	—	`conf`	Principled Construction of Software Safety Cases. SASSUR@SAFECOMP Richard Hawkins, Ibrahim Habli, Tim Kelly
2013	—	`ed.`	Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013 ASSURE@ICSE Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai
2013	B	`conf`	Safety Cases and Their Role in ISO 26262 Functional Safety Assessment. SAFECOMP John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Peter Jesty, Helen Monkhouse, Robert Palin
2012	J	`jnl`	Arguing Conformance. IEEE Softw. Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
2012	A	`conf`	Perspectives on software safety case development for unmanned aircraft. DSN Ewen Denney, Ganesh Pai, Ibrahim Habli
2012	J	`jnl`	Safety certification of airborne software: An empirical study. Reliab. Eng. Syst. Saf. Ian Dodd, Ibrahim Habli
2012	—	`conf`	Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. SAFECOMP Workshops Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza
2011	A	`conf`	Towards Measurement of Confidence in Safety Cases. ESEM Ewen Denney, Ganesh Pai, Ibrahim Habli
2010	—	`conf`	A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS Ibrahim Habli, Tim Kelly
2010	B	`conf`	Assurance of Automotive Safety - A Safety Case Approach. SAFECOMP Robert Palin, Ibrahim Habli
2010	J	`jnl`	Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. Ibrahim Habli, Richard Hawkins, Tim Kelly
2008	—	`conf`	A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. SafeCert@ETAPS Ibrahim Habli, Tim Kelly
2008	A	`conf`	A Model-Driven Approach to Assuring Process Reliability. ISSRE Ibrahim Habli, Tim Kelly
2007	C	`conf`	Achieving Integrated Process and Product Safety Arguments. SSS Ibrahim Habli, Tim Kelly
2007	—	`conf`	Capturing and Replaying Architectural Knowledge through Derivational Analogy. SHARK/ADI@ICSE Ibrahim Habli, Tim Kelly
2007	B	`conf`	Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC Ibrahim Habli, Tim Kelly
2007	—	`conf`	Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly
2006	J	`jnl`	Process and product certification arguments: getting the balance right. SIGBED Rev. Ibrahim Habli, Tim Kelly