Ibrahim Habli

University of York, University of Southampton

论文数

7

总引用数

29

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
7
论文
29
总引用数
4
篇均引用
🏆 最高被引论文
ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
10 次引用 · 2024
📈 最高产年份: 2023 (3 论文)
🤝 主要合作者: 35
🏛 所属机构: University of York, University of Southampton

代表论文

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

主要合作者

SFSimon Foster3 篇合著论文YFYan Fang2 篇合著论文RWRan Wei2 篇合著论文PJPippa J. Moore1 篇合著论文HMHaitao Mei1 篇合著论文RCRadu Călinescu1 篇合著论文AMArianna Manzini1 篇合著论文BTBeverley Townsend1 篇合著论文SHSabine Hauert1 篇合著论文RYRuizhe Yang1 篇合著论文ZSZeyn Saigol1 篇合著论文CPChiara Picardi1 篇合著论文BDBrijesh Dongol1 篇合著论文GCGreg Chance1 篇合著论文COC. O'Halloran1 篇合著论文WLWilliam Lyons1 篇合著论文KEKerstin Eder1 篇合著论文LBLaure Buysse1 篇合著论文OAOl’Tunde Ashaolu1 篇合著论文DBDhaminda B. Abeywickrama1 篇合著论文
尚未生成