Yvonne Murray
Papers
1
Total Citations
17
H-Index
1
About
No biography available yet.
Research Focus
Abstraction1 · 17 citations
Artificial intelligence1 · 17 citations
Computer hardware1 · 17 citations
Computer science1 · 17 citations
Controller (irrigation)1 · 17 citations
Embedded system1 · 17 citations
Formal verification1 · 17 citations
Interlock1 · 17 citations
Model checking1 · 17 citations
Operating system1 · 17 citations
Programming language1 · 17 citations
Robot1 · 17 citations
Key Achievements
1
H-Index
1
Papers
17
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
Safety assurance of an industrial robotic control system using hardware/software co-verification
17 citations · 2022
📈 Most Prolific Year: 2022 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Agder
Top Papers
- 1
Key Collaborators
Not generated yet