Robert M. Hierons

University of Sheffield

Papers

6

Total Citations

35

H-Index

3

About

No biography available yet.

Research Focus

Computer science6 · 35 citations
Programming language4 · 26 citations
Artificial intelligence3 · 23 citations
Machine learning2 · 20 citations
Notation2 · 19 citations
Software2 · 19 citations
Diagrammatic reasoning2 · 19 citations
Theoretical computer science2 · 19 citations
Model-based testing1 · 16 citations
Domain (mathematical analysis)1 · 16 citations
Model checking1 · 16 citations
Finite-state machine1 · 16 citations

Key Achievements

3
H-Index
6
Papers
35
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Testing Robots Using CSP
16 citations · 2019
📈 Most Prolific Year: 2020 (2 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: University of Sheffield

Top Papers

  1. 1
    Testing Robots Using CSP
    16 citations · 2019
  2. 2
    Implementation relations and testing for cyclic systems with refusals and discrete time
    7 citations · 2020
  3. 3
    Reliable counterparts
    4 citations · 2022
  4. 4
    Implementation relations and testing for cyclic systems: Adding probabilities
    3 citations · 2023
  5. 5
    Challenges in testing of cyclic systems
    3 citations · 2023
  6. 6
    Mutation Testing for RoboChart
    2 citations · 2020

Key Collaborators

RLRaluca Lefticaru4 shared papersACAna Cavalcanti2 shared papersMNManuel Núñez2 shared papersJBJames Baxter1 shared papersRSRichard Somers1 shared papersNWNeil Walkinshaw1 shared papersAGAndrew G. Clark1 shared papersMGMercedes G. Merayo1 shared papersMGMaciej Gazda1 shared papersPGPablo Gómez‐Abajo1 shared papers
Not generated yet