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)

Online Route Analyzer (ORA): Runtime Verification Service for Routing Optimization of Electric Vehicles. - Serhat Kahraman; Irem Günes; Yunus Sabri Kirca; Metin Özkan; Ahmet Yazici (SIU, 2024)

Multi-Partner Project: Electric Vehicle Data Acquisition and Valorisation: A Perspective from the OPEVA Project. - Alper Kanak; Salih Ergün; Ibrahim Arif; Ali Serdar Atalay; Serhat Ege Inanç; Oguzhan Herkiloglu; Ahmet Yazici; Yunus Sabri Kirca; Muhammed Ozberk; Alim Kerem Erdogmus; Ali Kafali; Dilara Bayar; et al. (DATE, 2025)