Ali Khalili

University of Genoa

论文数

3

总引用数

18

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 18 次引用
Software3 · 18 次引用
Software engineering3 · 18 次引用
Correctness2 · 10 次引用
Middleware (distributed applications)2 · 10 次引用
Identification (biology)2 · 10 次引用
Programming language2 · 10 次引用
Distributed computing2 · 10 次引用
Dependability1 · 8 次引用
Artificial intelligence1 · 8 次引用
Operating system1 · 8 次引用
Engineering1 · 8 次引用

主要成就

3
H 指数
3
论文
18
总引用数
6
篇均引用
🏆 最高被引论文
Engineering Approaches and Methods to Verify Software in Autonomous Systems
8 次引用 · 2015
📈 最高产年份: 2015 (1 论文)
🤝 主要合作者: 7
🏛 所属机构: University of Genoa

代表论文

  1. 1
    Engineering Approaches and Methods to Verify Software in Autonomous Systems
    8 次引用 · 2015
  2. 2
    Learning middleware models for verification of distributed control programs
    5 次引用 · 2017
  3. 3
    Reverse Engineering of Middleware for Verification of Robot Control Architectures∗
    5 次引用 · 2016

主要合作者

LNLorenzo Natale3 篇合著论文ATArmando Tacchella2 篇合著论文SPS.B. Pathak1 篇合著论文LPLuca Pulina1 篇合著论文MNMassimo Narizzano1 篇合著论文GMGiorgio Metta1 篇合著论文GCGiuseppe Cicala1 篇合著论文
尚未生成