Professor Rob Hierons

简介

Rob Hierons received a BA in Mathematics (Trinity College, Cambridge), and a Ph.D. in Computer Science (Brunel University). He then joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, before returning to Brunel University in 2000.He was promoted to full Professor in 2003 and joined The University of Sheffield in 2018.

代表成果

• (2021) Software Engineering for Robotics. Springer International Publishing.
• Hierons RM & Mosbah M (2019) Preface.
• Hierons RM, Merayo MG & Bravetti M (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
• Groz R & Hierons RM (2004) Preface.
• Rafiq Y, Wang S, Al-Nuaimi M, Mihaylova L, Hierons RM & Dogramadzi S (2026) Vision-based vs. IMU-based upper-limb pose estimation in assisted dressing: a comparative study of positional accuracy and kinematic fidelity. Frontiers in Robotics and AI, 13. View this article in WRRO
• Hierons RM & Mousavi MR (2026) Complete FSM testing using strong separability. Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, LNCS 16503, 328-349. View this article in WRRO
• Cavalcanti A & Hierons RM (2026) Reactive model-based testing of cyclic systems. ACM Transactions on Computational Logic. View this article in WRRO
• Shaw N, Pennada S, Hierons RM & Shin D (2026) A Systematic Mapping Study on the Debugging of Autonomous Driving Systems.. CoRR, abs/2601.04293.
• Hierons R, Merayo MG & Nunez M (2026) Combining sequential test cases into an equivalent set of adaptive test cases. Journal of Logical and Algebraic Methods in Programming, 148. View this article in WRRO
• Turker U, Hierons R, Mousavi MR & El-Fakih K (2025) Efficient state identification for finite state machine-based testing. IEEE Transactions on Software Engineering, 51(11), 2996-3012. View this article in WRRO