Robert M. Hierons

University of Sheffield

论文数

6

总引用数

35

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
6
论文
35
总引用数
6
篇均引用
🏆 最高被引论文
Testing Robots Using CSP
16 次引用 · 2019
📈 最高产年份: 2020 (2 论文)
🤝 主要合作者: 10
🏛 所属机构: University of Sheffield

代表论文

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

主要合作者

RLRaluca Lefticaru4 篇合著论文ACAna Cavalcanti2 篇合著论文MNManuel Núñez2 篇合著论文JBJames Baxter1 篇合著论文RSRichard Somers1 篇合著论文NWNeil Walkinshaw1 篇合著论文AGAndrew G. Clark1 篇合著论文MGMercedes G. Merayo1 篇合著论文MGMaciej Gazda1 篇合著论文PGPablo Gómez‐Abajo1 篇合著论文
尚未生成