Yayınlar & Eserler

Yayın Ağı

SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler

Anomaly localization in regular textures based on deep convolutional generative adversarial networks

ÖZ M. A. N., MERCİMEK M., Kaymakci Ö. T.
APPLIED INTELLIGENCE , cilt.52, sa.2, ss.1556-1565, 2022 (SCI-Expanded) identifier identifier

A NESTED AUTOENCODER APPROACH TO AUTOMATED DEFECT INSPECTION ON TEXTURED SURFACES

ÖZ M. A. N., KAYMAKÇI Ö. T., MERCİMEK M.
INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE , cilt.31, sa.3, ss.515-523, 2021 (SCI-Expanded) identifier identifier

A SAFETY RELATED PERSPECTIVE FOR THE POWER SUPPLY SYSTEMS IN RAILWAY INDUSTRY

Oz M. A., KAYMAKÇI Ö. T., Koyun A.
EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY , cilt.19, sa.1, ss.114-120, 2017 (SCI-Expanded) identifier identifier

Specification and formal verification of safety properties in a point automation system

Sener I., KAYMAKÇI Ö. T., Ustoglu I., CANSEVER G.
TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES , cilt.24, sa.3, ss.1384-1396, 2016 (SCI-Expanded) identifier identifier

Reliability assessment of fire safety systems in railway industry: a case study

KAYMAKÇI Ö. T., Ustoglu I., Divriklioglu E.
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS , cilt.38, sa.3, ss.286-296, 2015 (SCI-Expanded) identifier identifier

RELIABILITY ANALYSIS OF A TRAM LINE

Koyun A., KAYMAKÇI Ö. T.
JOURNAL OF THE FACULTY OF ENGINEERING AND ARCHITECTURE OF GAZI UNIVERSITY , cilt.30, sa.4, ss.615-626, 2015 (SCI-Expanded) identifier identifier

Topology Based Automatic Formal Model Generation for Point Automation Systems

Oz M. A. N., Sener I., KAYMAKÇI Ö. T., Ustoglu I., Cansever G.
INFORMATION TECHNOLOGY AND CONTROL , cilt.44, sa.1, ss.98-111, 2015 (SCI-Expanded) identifier identifier

A Novel Performance Evaluation Method for DES

KAYMAKÇI Ö. T., Kurtulan S.
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING , cilt.25, sa.1, ss.105-120, 2009 (SCI-Expanded) identifier identifier

Diğer Dergilerde Yayınlanan Makaleler

A New Method for Verification and Evaluation of PLC Software

Oz M. A. N., Kaymakçı Ö. T.
Journal of Innovative Science and Engineering (JISE) , cilt.7, sa.1, ss.13-28, 2023 (Hakemli Dergi) Creative Commons License Sürdürülebilir Kalkınma identifier

Robotik Kaynak Hatlarının Bulanık Hata Ağacı Analizi

Kaymakçı Ö. T.
JOURNAL OF POLYTECHNIC-POLITEKNIK DERGISI , cilt.1, sa.1, ss.1-16, 2023 (ESCI) Sürdürülebilir Kalkınma

Safety Assessment of Speed Governing Systems in Hydroelectric Power Plants: A Functional Safety Perspective

KAYMAKÇI Ö. T., Balcı m.
Journal of advanced research in natural and applied sciences (Online) , cilt.9, sa.1, ss.65-77, 2023 (Hakemli Dergi) Creative Commons License identifier

Demiryolu Sinyalizasyon Sistemi İçin Hibrit Bir RAMS Değerlendirme Yöntemi

KAYMAKÇI Ö. T., YAKIN I., SÖYLEMEZ M. T.
Demiryolu Mühendisliği , sa.17, ss.145-160, 2023 (Hakemli Dergi) Creative Commons License identifier

Haberleşme Tabanlı Tren Kontrolünün (CBTC) Otomatik Tren Korumasına (ATP) İlişkin Dağıtılmış-Hiyerarşik Kontrol Yaklaşımı

ATILGAN C., KAYMAKÇI Ö. T., MUMCU T. V.
Demiryolu Mühendisliği , sa.17, ss.66-81, 2023 (Hakemli Dergi) Creative Commons License identifier

Decentralized-Hierarchical Control Approach Automatic Train Protection (ATP) of Communication Based Train Control (CBTC)

Atılgan C., Kaymakçı Ö. T.
HAL Open Science , cilt.1, sa.1, ss.1-23, 2021 (Hakemsiz Dergi) Sürdürülebilir Kalkınma

Sürücüsüz Metro, raylı Sistemlerde Yeni Dönem

Kaymakçı Ö. T., Bahçıvan E.
Railway Turkey , cilt.1, sa.1, ss.1-7, 2017 (Hakemli Dergi)

An Automatic Formal Model Generation and Verification Method for Railway Interlocking Systems

ÖZ M. A. N., KAYMAKÇI Ö. T.
GAZI UNIVERSITY JOURNAL OF SCIENCE , cilt.30, sa.2, ss.133-147, 2017 (ESCI) identifier identifier

Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines

ÇELEBİ T., KAYMAKÇI Ö. T.
JOURNAL OF MODERN TRANSPORTATION , cilt.24, sa.4, ss.277-283, 2016 (ESCI) identifier identifier

Topology Based Automatic TAPN Model Generation For Railway Systems

Kaymakçı Ö. T., Öz M. A. N., Cansever G.
International Journal of Automation, Mechatronics & Robotics , cilt.1, sa.3, ss.6-10, 2014 (Hakemli Dergi)

Hakemli Kongre / Sempozyum Bildiri Kitaplarında Yer Alan Yayınlar

Modelling and Hierarchical Control of CBTC

Atilgan C., KAYMAKÇI Ö. T.
6th International Conference on Control Engineering and Information Technology (CEIT), İstanbul, Türkiye, 25 - 27 Ekim 2018 identifier identifier

A Tool for Automatic Formal Modeling of Railway Interlocking Systems

Oz M. A. N., Sener I., KAYMAKÇI Ö. T., Ustoglu I., CANSEVER G.
International Conference on Computer as a Tool (EUROCON), IEEE, Salamanca, Meksika, 8 - 11 Eylül 2015, ss.26-29 identifier identifier

Effects of Varying Diagnostic Coverage on Functional Safety

Ustoglu I., KAYMAKÇI Ö. T., Boercsoek J.
2014 International Symposium on Fundamentals of Electrical Engineering (ISFEE), Bucharest, Romanya, 28 - 29 Kasım 2014 identifier

A performance evaluation algorithm for discrete event systems under blocking

KAYMAKÇI Ö. T., Kurtulan S.
15th Mediterranean Conference on Control and Automation, Athens, Yunanistan, 27 - 29 Haziran 2007, ss.339-344 identifier identifier