Zekeriyya Demirci

Papers

Total Citations

H-Index

About

Zekeriyya Demirci is a rising researcher at the forefront of robotic systems security and safety verification. His work centers on developing formal methods and runtime monitoring techniques to protect increasingly autonomous robots from cyberattacks and operational hazards. His most-cited paper, “Runtime Verification for Anomaly Detection of Robotic Systems Security” (2023, 13 citations), introduces a framework that detects security breaches in real time, addressing a critical gap as robots become more integrated into industry, agriculture, and daily life. Demirci also created an “Online Distance Tracker” (2023, 3 citations) that efficiently calculates minimum distances between robots and their environments, enabling proactive collision avoidance. In “Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking” (2023, 3 citations), he tackles the complex challenge of ensuring safety when multiple robots share a workspace, using formal verification to prevent path conflicts. These contributions demonstrate Demirci’s commitment to bridging the gap between theoretical verification and practical robotic safety, making his work essential reading for anyone interested in secure, reliable autonomous systems.