Ali Khalili

University of Genoa

Papers

3

Total Citations

18

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
3
Papers
18
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Engineering Approaches and Methods to Verify Software in Autonomous Systems
8 citations · 2015
📈 Most Prolific Year: 2015 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: University of Genoa

Top Papers

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

Key Collaborators

LNLorenzo Natale3 shared papersATArmando Tacchella2 shared papersSPS.B. Pathak1 shared papersLPLuca Pulina1 shared papersMNMassimo Narizzano1 shared papersGMGiorgio Metta1 shared papersGCGiuseppe Cicala1 shared papers
Not generated yet