Fingerprint
Dive into the research topics where Diana Benjumea Hernandez is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
Benjumea Hernandez, D., Farrell, M. & Dennis, L., 16 Oct 2025, (Accepted/In press) International Workshop on Formal Methods for Autonomous Systems. EPTCSResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile41 Downloads (Pure) -
Formalising Safety Requirements for Robotic Autonomous Systems in Highly Regulated Domains
Benjumea Hernandez, D., 21 Aug 2024, 2024 IEEE 32nd International Requirements Engineering Conference (RE). IEEE, p. 512-516Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile36 Downloads (Pure) -
Analytical model to monitor the oil conditions on the main components of mining dumpers
Benjumea Hernandez, D., Laniado, H. & Combita, O., Mar 2023, In: Results in Engineering. p. 1-21 21 p., 100934.Research output: Contribution to journal › Article › peer-review
Open Access
Prizes
-
RAICo junior Fellow: Autonomous System for Use in UK Nuclear Environments
Benjumea Hernandez, D. (Recipient), Aug 2024
Prize: Fellowship awarded competitively