Diana C. Benjumea

According to our database, Diana C. Benjumea authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains.

Diana C. Benjumea, Marie Farrell, Louise A. Dennis

Proceedings of the Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, November, 2025

2024

Formalising Safety Requirements for Robotic Autonomous Systems in Highly Regulated Domains.

Diana C. Benjumea

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024