Serhat Kahraman

According to our database, Serhat Kahraman authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

FMU-Based Multi Criteria Trajectory Validation of Industrial Robots.

Serhat Kahraman, Cem Süha Yilmaz, Metin Yílmaz, Ugur Yayan

IEEE Access, 2026

2024

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

Proceedings of the 32nd Signal Processing and Communications Applications Conference, 2024

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

Proceedings of the Towards Autonomous Robotic Systems - 24th Annual Conference, 2023

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

Proceedings of the 31st Signal Processing and Communications Applications Conference, 2023