logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Robert M. Hierons

university of sheffield

40H指数
388论文数
7.9K被引数
收录论文 57
发表时间
logo
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing符号运行时验证与机器人辅助穿衣的适应性决策制定
errSOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, SEAA 2025, PT I
IF0
err2026-01-01
err0
PREAI
errRafiq, Yasmin; Vazquez, Gricel; Calinescu, Radu; Dogramadzi, Sanja; Hierons, Robert M.
err分享
err收藏
Efficient State Identification for Finite State Machine-Based Testing基于有限状态机测试的高效状态识别
errIEEE Transactions on Software Engineering
IF5.6
err2025-09-05
err0
PREAI
errUraz Cengiz Türker; Robert M. Hierons; Mohammad Reza Mousavi; Khaled El-Fakih
err分享
err收藏
Combining sequential test cases into an equivalent set of adaptive test cases将顺序测试用例组合成一个等价的适应式测试用例集
errJOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
IF0
err2025-09-01
err0
errOAAI
errHierons, Robert M.; Merayo, Mercedes G.; Nunez, Manuel
err分享
err收藏
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning使用强化学习加速基于有限状态机的测试
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-03-01
err0
errOAAI
errTurker, Uraz Cengiz; Hierons, Robert M.; El-Fakih, Khaled; Mousavi, Mohammad Reza; Tyukin, Ivan Y.
err分享
err收藏
Testing Causality in Scientific Modelling Software科学建模软件中的因果关系测试
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-11-24
err5
errOAAI
errClark, Andrew G.; Foster, Michael; Prifling, Benedikt; Walkinshaw, Neil; Hierons, Robert M.; Schmidt, Volker; Turner, Robert D.
err分享
err收藏
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs非确定性fsm的不完全自适应判别序列
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-09-01
err0
errOAAI
errTurker, Uraz Cengiz; Hierons, Robert M.; Barlas, Gerassimos; El-Fakih, Khaled
err分享
err收藏
Modelling Second-Order Uncertainty in State Machines状态机中的二阶不确定性建模
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-05-01
err4
errOAAI
errWalkinshaw, Neil; Hierons, Robert M.
err分享
err收藏
Digital-twin-based testing for cyber-physical systems: A systematic literature review基于数字孪生的网络物理系统测试: 系统文献综述
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2023-04-01
err37
errOAAI
errSomers, Richard J.; Douthwaite, James A.; Wagg, David J.; Walkinshaw, Neil; Hierons, Robert M.
err分享
err收藏
An information theoretic notion of software testability
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2022-03-01
err1
errOAAI
errPatel, Krishna; Hierons, Robert M.; Clark, David
err分享
err收藏
Test case generation for agent-based models: A systematic literature review基于代理的模型的测试用例生成: 系统的文献综述
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-07-01
err11
errOAAI
errClark, Andrew G.; Walkinshaw, Neil; Hierons, Robert M.
err分享
err收藏
K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs部分指定的可观察非确定性fsm的K分支UIO序列
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-05-01
err7
errOAAI
errEl-Fakih, Khaled; Hierons, Robert M.; Turker, Uraz Cengiz
err分享
err收藏
Using mutual information to test from Finite State Machines: Test suite selection
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-04-01
err7
errOAAI
errIbias, Alfredo; Nunez, Manuel; Hierons, Robert M.
err分享
err收藏
TEA-Cloud: A Formal Framework for Testing Cloud Computing SystemsTEA-Cloud: 用于测试云计算系统的正式框架
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2021-03-01
err17
errOAAI
errNunez, Alberto; Canizares, Pablo C.; Nunez, Manuel; Hierons, Robert M.
err分享
err收藏
Implementation relations and testing for cyclic systems with refusals and discrete time具有拒绝和离散时间的循环系统的实现关系和测试
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2020-12-01
err6
errOAAI
errLefticaru, Raluca; Hierons, Robert M.; Nunez, Manuel
err分享
err收藏
Guest Editorial: Special Section on ICTSS
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2020-02-01
err0
PREAI
errMedina-Bulo, Inmaculada; Merayo, Mercedes G.; Hierons, Robert M.
err分享
err收藏
Many-Objective Test Suite Generation for Software Product Lines面向软件产品线的多目标测试套件生成
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2020-01-30
err20
errOAAI
errHierons, Robert M.; Li, Miqing; Liu, Xiaohui; Parejo, Jose Antonio; Segura, Sergio; Yao, Xin
err分享
err收藏
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
errIEEE ACCESS
IF3.6
err2020-01-01
err2
errOAAI
errLima, Bruno; Faria, Joao Pascoal; Hierons, Robert
err分享
err收藏
Using Squeeziness to test component-based systems defined as Finite State Machines
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2019-08-01
err12
PREAI
errIbias, Alfredo; Hierons, Robert M.; Nunez, Manuel
err分享
err收藏
A tool supported methodology to passively test asynchronous systems with multiple users一种工具支持的方法来被动地测试具有多个用户的异步系统
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2018-12-01
err16
errOAAI
errMerayo, Mercedes G.; Hierons, Robert M.; Nunez, Manuel
err分享
err收藏
Bounded Reordering in the Distributed Test Architecture
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2018-06-01
err28
errOAAI
errHierons, Robert M.; Merayo, Mercedes G.; Nunez, Manuel
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
X
Xin Yao
H 指数: 116 · 论文数: 1.5K
M
Mark Harman
H 指数: 90 · 论文数: 712
X
Xiaohui Liu
H 指数: 83 · 论文数: 511
V
Volker Schmidt
H 指数: 66 · 论文数: 665
J
Jonathan P. Bowen
H 指数: 59 · 论文数: 653
查看更多