HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ahmet Yazıcı

Publications
ROS Based Attack Tool for Verification of Robotic System Security
Yunus Sabri Kırca, Elif Değirmenci, Ahmet Yazıcı and Metin Özkan
EasyChair Preprint 8804
MARVer: a Tool for Verification of Robotic System’s Safety
Zekeriyya Demirci, Metin Özkan, Muhammed Talha Şahin, Hüseyin Can Ergün and Ahmet Yazıcı
EasyChair Preprint 8799

Keyphrases

model checking, Robot Operating System, Robotic Security, Robotics, ROSMonitoring, runtime verification2, Security Testing, Verification and Validation.

Copyright © 2012-2025 easychair.org. All rights reserved.