Zekeriyya Demirci

Eskişehir Osmangazi University

论文数

3

总引用数

19

H-Index

3

关于

暂无简介。

研究焦点

Robot3 · 19 次引用
Computer science3 · 19 次引用
Artificial intelligence3 · 19 次引用
Real-time computing2 · 16 次引用
Embedded system2 · 16 次引用
Programming language2 · 16 次引用
Formal verification2 · 16 次引用
Context (archaeology)1 · 13 次引用
Architecture1 · 13 次引用
Anomaly detection1 · 13 次引用
Oracle1 · 13 次引用
Runtime verification1 · 13 次引用

主要成就

3
H 指数
3
论文
19
总引用数
6
篇均引用
🏆 最高被引论文
Runtime Verification for Anomaly Detection of Robotic Systems Security
13 次引用 · 2023
📈 最高产年份: 2023 (3 论文)
🤝 主要合作者: 9
🏛 所属机构: Eskişehir Osmangazi University

代表论文

  1. 1
    Runtime Verification for Anomaly Detection of Robotic Systems Security
    13 次引用 · 2023
  2. 2
    An Online Distance Tracker for Verification of Robotic Systems’ Safety
    3 次引用 · 2023
  3. 3
    Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking
    3 次引用 · 2023

主要合作者

AYAhmet Yazıcı3 篇合著论文MÖMetin Özkan3 篇合著论文SESalih Ergün1 篇合著论文YSYunus Sabri Kırca1 篇合著论文AKAlper Kanak1 篇合著论文ÖAÖzge Aslan1 篇合著论文EGEsra Guclu1 篇合著论文EDElif Değirmenci1 篇合著论文ÖÖÖzlem Örnek1 篇合著论文

联系与链接

可合作
内容已生成 · 15 天前