Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety. - Serhat Kahraman; Mert Bulut; Elif Degirmenci; Yunus Sabri Kirca; Metin Ozkan; Ahmet Yazici (SIU, 2023)

Developing an Integrated Runtime Verification for Safety and Security of Industrial Robot Inspection System. - Elif Degirmenci; Yunus Sabri Kirca; Özlem Örnek; Mert Bulut; Serhat Kahraman; Metin Ozkan; Ahmet Yazici (TAROS, 2023)