Angelo Ferrando

University of Manchester, University of Liverpool, University of Genoa

Papers

14

Total Citations

198

H-Index

7

About

No biography available yet.

Research Focus

Computer science14 · 198 citations
Artificial intelligence8 · 118 citations
Programming language9 · 114 citations
Distributed computing8 · 111 citations
Software engineering9 · 107 citations
Robot6 · 105 citations
Formal verification6 · 94 citations
Robotics4 · 85 citations
Engineering5 · 83 citations
Computer security4 · 81 citations
Software4 · 78 citations
Runtime verification5 · 77 citations

Key Achievements

7
H-Index
14
Papers
198
Total Citations
14
Avg Citations/Paper
🏆 Most Cited Paper
An Overview of Verification and Validation Challenges for Inspection Robots
60 citations · 2021
📈 Most Prolific Year: 2021 (4 Papers)
🤝 Key Collaborators: 45
🏛 Institutions: University of Manchester, University of Liverpool, University of Genoa

Top Papers

  1. 1
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 citations · 2021
  2. 2
    ROSMonitoring: A Runtime Verification Framework for ROS
    49 citations · 2020
  3. 3
    An Interface for Programming Verifiable Autonomous Agents in ROS
    21 citations · 2020
  4. 4
    Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
    17 citations · 2019
  5. 5
    Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
    14 citations · 2022
  6. 6
    RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
    11 citations · 2023
  7. 7
    Bridging the gap between single- and multi-model predictive runtime verification
    8 citations · 2021
  8. 8
    Runtime Verification with Imperfect Information Through Indistinguishability Relations
    4 citations · 2022
  9. 9
    RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
    3 citations · 2023
  10. 10
    Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?
    3 citations · 2021

Key Collaborators

RCRafael C. Cardoso8 shared papersMFMichael Fisher8 shared papersMFMarie Farrell4 shared papersVMViviana Mascardi4 shared papersMLMatt Luckcuck3 shared papersFPFabio Papacchini3 shared papersLALouise A. Dennis3 shared papersCDClare Dixon2 shared papersZKZeid Kootbally2 shared papersCSCraig Schlenoff2 shared papersXHXiaowei Huang2 shared papersDADavide Ancona2 shared papersGKGeorgios Kourtis1 shared papersVPVincent Pagé1 shared papersAGAndrea Gatti1 shared papersMJMichael Jump1 shared papersJAJustin Albrecht1 shared papersSLShan Luo1 shared papersTATobias Ahlbrecht1 shared papersACAxel Curmi1 shared papers
Not generated yet