Rafael C. Cardoso

University of Manchester, University of Liverpool, University of Aberdeen, National Institute of Standards and Technology

Papers

15

Total Citations

211

H-Index

7

About

No biography available yet.

Research Focus

Computer science15 · 211 citations
Programming language10 · 142 citations
Software engineering10 · 133 citations
Artificial intelligence11 · 125 citations
Robot10 · 123 citations
Engineering8 · 111 citations
Systems engineering5 · 105 citations
Formal verification6 · 104 citations
Model checking6 · 104 citations
Runtime verification5 · 102 citations
Robotics7 · 92 citations
Distributed computing5 · 92 citations

Key Achievements

7
H-Index
15
Papers
211
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 (6 Papers)
🤝 Key Collaborators: 33
🏛 Institutions: University of Manchester, University of Liverpool, University of Aberdeen, National Institute of Standards and Technology

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
    A Review of Verification and Validation for Space Autonomous Systems
    24 citations · 2021
  4. 4
    An Interface for Programming Verifiable Autonomous Agents in ROS
    21 citations · 2020
  5. 5
    Towards Compositional Verification for Modular Robotic Systems
    16 citations · 2020
  6. 6
    Plan Library Reconfigurability in BDI Agents
    12 citations · 2020
  7. 7
    Bridging the gap between single- and multi-model predictive runtime verification
    8 citations · 2021
  8. 8
    Security-Minded Verification of Cooperative Awareness Messages
    5 citations · 2023
  9. 9
    Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?
    3 citations · 2021
  10. 10
    Modular Verification of Autonomous Space Robotics
    3 citations · 2019

Key Collaborators

MFMichael Fisher14 shared papersLALouise A. Dennis9 shared papersMFMarie Farrell8 shared papersAFAngelo Ferrando8 shared papersCDClare Dixon5 shared papersMLMatt Luckcuck5 shared papersGKGeorgios Kourtis4 shared papersMWMatt Webster4 shared papersALAlexei Lisitsa3 shared papersCSCraig Schlenoff3 shared papersZKZeid Kootbally2 shared papersVMViviana Mascardi2 shared papersFPFabio Papacchini2 shared papersECEmily C. Collins1 shared papersLBLeandro Buss Becker1 shared papersHYHu Yuan1 shared papersLFLuca Franceschini1 shared papersXHXiaowei Huang1 shared papersCDChristopher Dadswell1 shared papersCMClaudio Menghi1 shared papers
Not generated yet