Zekeriyya Demirci

Eskişehir Osmangazi University

Papers

3

Total Citations

19

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
3
Papers
19
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Runtime Verification for Anomaly Detection of Robotic Systems Security
13 citations · 2023
📈 Most Prolific Year: 2023 (3 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: Eskişehir Osmangazi University

Top Papers

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

Key Collaborators

AYAhmet Yazıcı3 shared papersMÖMetin Özkan3 shared papersSESalih Ergün1 shared papersYSYunus Sabri Kırca1 shared papersAKAlper Kanak1 shared papersÖAÖzge Aslan1 shared papersEGEsra Guclu1 shared papersEDElif Değirmenci1 shared papersÖÖÖzlem Örnek1 shared papers
Not generated yet