Login / Signup
Yunus Sabri Kirca
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Integrity Verification
Unstructured Environments
Robotic Systems
Safety Analysis
Top Venues
SIU
TAROS
</>
Publications
</>
Serhat Kahraman
,
Irem Günes
,
Yunus Sabri Kirca
,
Metin Özkan
,
Ahmet Yazici
Online Route Analyzer (ORA): Runtime Verification Service for Routing Optimization of Electric Vehicles.
SIU
(2024)
Serhat Kahraman
,
Mert Bulut
,
Elif Degirmenci
,
Yunus Sabri Kirca
,
Metin Ozkan
,
Ahmet Yazici
Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety.
SIU
(2023)
Elif Degirmenci
,
Yunus Sabri Kirca
,
Özlem Örnek
,
Mert Bulut
,
Serhat Kahraman
,
Metin Ozkan
,
Ahmet Yazici
Developing an Integrated Runtime Verification for Safety and Security of Industrial Robot Inspection System.
TAROS
(2023)