default search action
Ibrahim Habli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j21]Zoë Porter
, Ibrahim Habli
A principles-based ethics assurance argument pattern for AI and autonomous systems. AI Ethics 4(2): 593-616 (2024) - [j20]John A. McDermid
The Safety of Autonomy: A Systematic Approach. Computer 57(4): 16-25 (2024) - [j19]Ran Wei
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213: 112034 (2024) - [c62]Muhammad Hussain
Development and translation of human-AI interaction models into working prototypes for clinical decision-making. Conference on Designing Interactive Systems 2024 - [c61]Berk Ozturk, Tom Lawton, Stephen Smith, Ibrahim Habli:
Balancing Acts: Tackling Data Imbalance in Machine Learning for Predicting Myocardial Infarction in Type 2 Diabetes. MIE 2024: 626-630 - [c60]Kester Dean Clegg, Ibrahim Habli, John A. McDermid:
Using GPT-4 to Generate Failure Logic. SAFECOMP (Workshops) 2024: 148-159 - [i17]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 abs/2401.09459 (2024) - [i16]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 abs/2403.15236 (2024) - [i15]Marten H. L. Kaas, Christopher Burr, Zoë Porter, Berk Ozturk, Philippa Ryan
Fair by design: A sociotechnical approach to justifying the fairness of AI-enabled systems across the lifecycle. CoRR abs/2406.09029 (2024) - [i14]Ozan Vardal, Richard Hawkins, Colin Paterson, Chiara Picardi, Daniel Omeiza, Lars Kunze, Ibrahim Habli:
Learning Run-time Safety Monitors for Machine Learning Components. CoRR abs/2406.16220 (2024) - 2023
- [c59]Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli:
Transfer Assurance for Machine Learning in Autonomous Systems. SafeAI@AAAI 2023 - [c58]Fang Yan, Simon Foster, Ibrahim Habli:
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. ICECCS 2023: 167-176 - [c57]Yan Jia, John A. McDermid, Nathan Gerard Jayy Hughes, Mark Sujan, Tom Lawton
The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems. ICHI 2023: 446-452 - [c56]Niels Peek
Applying Team Science to Collaborative Digital Health Research: Learnings from the Wearable Clinic. MedInfo 2023: 374-378 - [c55]Berk Ozturk
Predicting Progression of Type 2 Diabetes Using Primary Care Data with the Help of Machine Learning. MIE 2023: 38-42 - [c54]Philippa Ryan Conmy
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. SAFECOMP 2023: 213-226 - [c53]Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. SAFECOMP Workshops 2023: 341-354 - [c52]Marten H. L. Kaas
Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare. TAS 2023: 19:1-19:13 - [c51]Philippa Ryan Conmy
Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. TAS 2023: 25:1-25:10 - [i13]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 abs/2302.10292 (2023) - [i12]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 abs/2305.14182 (2023) - [i11]Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy
Unravelling Responsibility for AI. CoRR abs/2308.02608 (2023) - 2022
- [j18]Beverley A. Townsend
From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32(4): 683-715 (2022) - [j17]Zoë Porter
Distinguishing two features of accountability for AI technologies. Nat. Mac. Intell. 4(9): 734-736 (2022) - [j16]Yan Jia
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. IEEE Trans. Emerg. Top. Comput. 10(4): 1746-1760 (2022) - [c50]Fang Yan, Simon Foster
Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. MODELSWARD 2022: 252-263 - [i10]Victoria J. Hodge, Richard Hawkins, James Hilder, Ibrahim Habli:
Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context. CoRR abs/2203.05830 (2022) - [i9]Zoë Porter, Ibrahim Habli, John A. McDermid:
A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. CoRR abs/2203.15370 (2022) - [i8]Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli:
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR abs/2208.00853 (2022) - [i7]Shakir Laher, Carla Brackstone, Sara Reis, An Nguyen, Sean White, Ibrahim Habli:
Review of the AMLAS Methodology for Application in Healthcare. CoRR abs/2209.00421 (2022) - 2021
- [j15]Yan Jia
Prediction of weaning from mechanical ventilation using Convolutional Neural Networks. Artif. Intell. Medicine 117: 102087 (2021) - [j14]Yan Jia, Tom Lawton
Safety-driven design of machine learning for sepsis treatment. J. Biomed. Informatics 117: 103762 (2021) - [c49]Yan Jia
Enhancing the Value of Counterfactual Explanations for Deep Learning. AIME 2021: 389-394 - [c48]Ciarán McInerney
Patient Safety Informatics: Meeting the Challenges of Emerging Digital Health. MedInfo 2021: 364-368 - [c47]Haris Aftab
Classification of Failures in the Perception of Conversational Agents (CAs) and Their Implications on Patient Safety. MIE 2021: 659-663 - [c46]Haris Aftab
Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). MobiHealth 2021: 106-118 - [c45]Paul Festor, Ibrahim Habli, Yan Jia, Anthony C. Gordon, A. Aldo Faisal
Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems. SAFECOMP Workshops 2021: 291-296 - [e3]Ibrahim Habli
Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12852, Springer 2021, ISBN 978-3-030-83902-4 [contents] - [e2]Ibrahim Habli
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings. Lecture Notes in Computer Science 12853, Springer 2021, ISBN 978-3-030-83905-5 [contents] - [i6]Yan Jia, Tom Lawton, John A. McDermid, Eric Rojas, Ibrahim Habli:
A Framework for Assurance of Medication Safety using Machine Learning. CoRR abs/2101.05620 (2021) - [i5]Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli:
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR abs/2102.01564 (2021) - [i4]Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli:
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. CoRR abs/2109.00520 (2021) - 2020
- [j13]Simon Burton, Ibrahim Habli, Tom Lawton
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artif. Intell. 279 (2020) - [j12]Ibrahim Habli
Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology. Health Informatics J. 26(1) (2020) - [j11]Helen Monkhouse, Ibrahim Habli, John A. McDermid
An enhanced vehicle control model for assessing highly automated driving safety. Reliab. Eng. Syst. Saf. 202: 107061 (2020) - [c44]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: 23-30 - [c43]Shuai Zhao, Zhe Jiang, Xiaotian Dai
Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. DAC 2020: 1-6 - [c42]Yan Jia, John Burden
Safe Reinforcement Learning for Sepsis Treatment. ICHI 2020: 1-7 - [c41]Nungki Selviandro, Richard Hawkins, Ibrahim Habli:
A Visual Notation for the Representation of Assurance Cases Using SACM. IMBSA 2020: 3-18 - [c40]Ibrahim Habli, Charlotte Stockton-Powdrell
Preliminary Safety Analysis of a Wearable Clinic for the Early Detection of Psychotic Relapse. MIE 2020: 1367-1368 - [c39]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: 197-212 - [c38]Francis Rhys Ward, Ibrahim Habli:
An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems. SAFECOMP Workshops 2020: 395-407 - [c37]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: 408-414 - [i3]Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR abs/2005.08381 (2020)
2010 – 2019
- 2019
- [j10]André Luíz de Oliveira
Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. 31(8) (2019) - [c36]Chiara Picardi, Ibrahim Habli:
Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning. AIME 2019: 365-370 - [c35]William Hulme
Cluster Hidden Markov Models: An Application to Ecological Momentary Assessment of Schizophrenia. CBMS 2019: 99-103 - [c34]Radu Calinescu, Danny Weyns
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion 2019: 3-4 - [c33]John A. McDermid, Yan Jia, Ibrahim Habli:
Towards a Framework for Safety Assurance of Autonomous Systems. AISafety@IJCAI 2019 - [c32]Yan Jia, Tom Lawton
Developing a Safety Case for Electronic Prescribing. MedInfo 2019: 629-633 - [c31]Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli:
A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. SAFECOMP 2019: 165-179 - [c30]Simon Burton, Lydia Gauerhof
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. SAFECOMP Workshops 2019: 365-377 - 2018
- [j9]Pedro Delgado-Pérez
Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. 67(4): 1406-1419 (2018) - [j8]Radu Calinescu
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44(11): 1039-1069 (2018) - [c29]Radu Calinescu, Danny Weyns
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE 2018: 495 - [c28]André Luíz de Oliveira, Rosana T. V. Braga
Variability Management in Safety-Critical Software Product Line Engineering. ICSR 2018: 3-22 - [c27]Ahmed Shalan, Abubakar Abdulrahman, Ibrahim Habli, Garry A. Tew
YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication. MIE 2018: 311-315 - [c26]John Bragg, Ibrahim Habli:
What Is Acceptably Safe for Reinforcement Learning? SAFECOMP Workshops 2018: 418-430 - [c25]Zoë Porter, Ibrahim Habli, Helen Monkhouse, John Bragg:
The Moral Responsibility Gap and the Increasing Autonomy of Systems. SAFECOMP Workshops 2018: 487-493 - 2017
- [j7]Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann
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: 1-11 (2017) - [c24]Omar Jaradat
Challenges of Safety Assurance for Industry 4.0. EDCC 2017: 103-106 - [c23]Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla:
Why functional safety experts worry about automotive systems having increasing autonomy. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-6 - [i2]Radu Calinescu
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR abs/1703.06350 (2017) - 2016
- [j6]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Model-based safety analysis of software product lines. Int. J. Embed. Syst. 8(5/6): 412-426 (2016) - 2015
- [c22]André Luíz de Oliveira, Rosana T. V. Braga
Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX 2015: 319-330 - [c21]Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos
Weaving an Assurance Case from Design: A Model-Based Approach. HASE 2015: 110-117 - [c20]Richard Hawkins, Tim Kelly, Ibrahim Habli:
Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC 2015 - [c19]Ewen Denney, Ganesh J. Pai, Ibrahim Habli:
Dynamic Safety Cases for Through-Life Safety Assurance. ICSE (2) 2015: 587-590 - 2014
- [c18]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: 178-181 - [c17]Matthew Bennion, Ibrahim Habli:
A candid industrial evaluation of formal software verification using model checking. ICSE Companion 2014: 175-184 - [c16]Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel:
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS 2014: 113-123 - [c15]André Luíz de Oliveira, Rosana T. V. Braga
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC 2014: 7-12 - [i1]Ibrahim Habli, Andrew Rae:
Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From? CoRR abs/1404.6802 (2014) - 2013
- [j5]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): 787-805 (2013) - [c14]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: 1505-1506 - [c13]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: 154-165 - [c12]Richard Hawkins, Ibrahim Habli, Tim Kelly:
Principled Construction of Software Safety Cases. SASSUR@SAFECOMP 2013 - [e1]Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai:
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6324-2 [contents] - 2012
- [j4]Ian Dodd, Ibrahim Habli:
Safety certification of airborne software: An empirical study. Reliab. Eng. Syst. Saf. 98(1): 7-23 (2012) - [j3]Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight:
Arguing Conformance. IEEE Softw. 29(3): 50-57 (2012) - [c11]Ewen Denney, Ganesh Pai, Ibrahim Habli:
Perspectives on software safety case development for unmanned aircraft. DSN 2012: 1-8 - [c10]Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza:
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. SAFECOMP Workshops 2012: 22-35 - 2011
- [c9]Ewen Denney, Ganesh Pai, Ibrahim Habli:
Towards Measurement of Confidence in Safety Cases. ESEM 2011: 380-383 - 2010
- [j2]Ibrahim Habli, Richard Hawkins, Tim Kelly:
Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. 1(4): 364-383 (2010) - [c8]Ibrahim Habli, Tim Kelly:
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS 2010: 142-160 - [c7]Robert Palin, Ibrahim Habli:
Assurance of Automotive Safety - A Safety Case Approach. SAFECOMP 2010: 82-96
2000 – 2009
- 2008
- [c6]Ibrahim Habli, Tim Kelly:
A Model-Driven Approach to Assuring Process Reliability. ISSRE 2008: 7-16 - [c5]Ibrahim Habli, Tim Kelly:
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. SafeCert@ETAPS 2008: 27-39 - 2007
- [c4]Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly:
Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops 2007: 306-316 - [c3]Ibrahim Habli, Tim Kelly:
Capturing and Replaying Architectural Knowledge through Derivational Analogy. SHARK/ADI@ICSE 2007: 4 - [c2]Ibrahim Habli, Tim Kelly:
Achieving Integrated Process and Product Safety Arguments. SSS 2007: 55-68 - [c1]Ibrahim Habli, Tim Kelly:
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202 - 2006
- [j1]Ibrahim Habli, Tim Kelly:
Process and product certification arguments: getting the balance right. SIGBED Rev. 3(4): 1-8 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-27 21:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: