Ibrahim Habli

University of York, University of Southampton

Papers

7

Total Citations

29

H-Index

3

About

No biography available yet.

Research Focus

Computer science7 · 29 citations
Engineering4 · 20 citations
Business3 · 15 citations
Safety assurance2 · 15 citations
Programming language3 · 13 citations
Engineering management2 · 13 citations
Risk analysis (engineering)2 · 12 citations
Operations management1 · 10 citations
Quality assurance1 · 10 citations
Construction engineering1 · 10 citations
Computer security1 · 10 citations
Safety case1 · 10 citations

Key Achievements

3
H-Index
7
Papers
29
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
10 citations · 2024
📈 Most Prolific Year: 2023 (3 Papers)
🤝 Key Collaborators: 35
🏛 Institutions: University of York, University of Southampton

Top Papers

  1. 1
    ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
    10 citations · 2024
  2. 2
    Automated Compositional Verification for Robotic State Machines using Isabelle/HOL
    5 citations · 2023
  3. 3
    AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
    5 citations · 2023
  4. 4
    Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems
    3 citations · 2020
  5. 5
    Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases
    3 citations · 2022
  6. 6
    Safe autonomous systems in a changing world: Operationalising dynamic safety cases
    2 citations · 2025
  7. 7
    Autonomous Emergency Triage Support System
    1 citations · 2023

Key Collaborators

SFSimon Foster3 shared papersYFYan Fang2 shared papersRWRan Wei2 shared papersPJPippa J. Moore1 shared papersHMHaitao Mei1 shared papersRCRadu Călinescu1 shared papersAMArianna Manzini1 shared papersBTBeverley Townsend1 shared papersSHSabine Hauert1 shared papersRYRuizhe Yang1 shared papersZSZeyn Saigol1 shared papersCPChiara Picardi1 shared papersBDBrijesh Dongol1 shared papersGCGreg Chance1 shared papersCOC. O'Halloran1 shared papersWLWilliam Lyons1 shared papersKEKerstin Eder1 shared papersLBLaure Buysse1 shared papersOAOl’Tunde Ashaolu1 shared papersDBDhaminda B. Abeywickrama1 shared papers
Not generated yet