logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Robert M. Hierons

university of sheffield

40H-index
388Paper Count
7.9KCitation Count
Published Papers 57
Publication Date
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.
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
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.
errShare
errSave
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-09-01
err0
errOAAI
errTurker, Uraz Cengiz; Hierons, Robert M.; Barlas, Gerassimos; El-Fakih, Khaled
errShare
errSave
Modelling Second-Order Uncertainty in State Machines
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-05-01
err4
errOAAI
errWalkinshaw, Neil; Hierons, Robert M.
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-05-01
err7
errOAAI
errEl-Fakih, Khaled; Hierons, Robert M.; Turker, Uraz Cengiz
errShare
errSave
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.
errShare
errSave
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2021-03-01
err17
errOAAI
errNunez, Alberto; Canizares, Pablo C.; Nunez, Manuel; Hierons, Robert M.
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
X
Xin Yao
H-index: 116 · Papers: 1.5K
M
Mark Harman
H-index: 90 · Papers: 712
X
Xiaohui Liu
H-index: 83 · Papers: 511
V
Volker Schmidt
H-index: 66 · Papers: 665
J
Jonathan P. Bowen
H-index: 59 · Papers: 653
View more