Yayınlar & Eserler

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

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

EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY, cilt.19, ss.114-120, 2017 (SCI İndekslerine Giren Dergi) identifier identifier

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

TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, cilt.24, ss.1384-1396, 2016 (SCI İndekslerine Giren Dergi) identifier identifier

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

JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, cilt.38, ss.286-296, 2015 (SCI İndekslerine Giren Dergi) identifier identifier

RELIABILITY ANALYSIS OF A TRAM LINE

JOURNAL OF THE FACULTY OF ENGINEERING AND ARCHITECTURE OF GAZI UNIVERSITY, cilt.30, ss.615-626, 2015 (SCI İndekslerine Giren Dergi) identifier identifier

Topology Based Automatic Formal Model Generation for Point Automation Systems

INFORMATION TECHNOLOGY AND CONTROL, cilt.44, ss.98-111, 2015 (SCI İndekslerine Giren Dergi) identifier identifier

A Novel Performance Evaluation Method for Discrete Event Systems

Journal Of Information Science And Engineering,Volume, cilt.25, ss.105-120, 2009 (SCI Expanded İndekslerine Giren Dergi)

Diğer Dergilerde Yayınlanan Makaleler

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

GAZI UNIVERSITY JOURNAL OF SCIENCE, cilt.30, ss.133-147, 2017 (ESCI İndekslerine Giren Dergi) identifier identifier

Topology Based Automatic TAPN Model Generation for Railway Systems

International Journal of Automation Mechatronics & Robotics, cilt.1, ss.6-10, 2014 (Diğer Kurumların Hakemli Dergileri)

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

OpenCV Based Object Tracking Robot with Raspberry Pi

The 6th International Conference on Control & Signal Processing (CSP-2019), Hammamet, Tunus, 30 Mart 2019

Design and reliability analysis of an electronic board in safety-related applications for lifts

6th International Conference on Control & Signal Processing, Tunis, Tunus, 30 - 31 Mart 2019, ss.1-5

Safety Analysis of Communication Protocols for Internet of Things

International Congress on Engineering and Technology Management, İstanbul, Türkiye, 24 - 25 Aralık 2018, ss.483-489

Modelling and Hierarchical Control of CBTC

6th International Conference on Control Engineering & Information Technology, İstanbul, Türkiye, 25 Ekim 2018, ss.126-132

Hot Box Detection System Design for Railway Vehicle Safety

5th International Conference on Design and Product Development, 01 Aralık 2014

Effects of varying diagnostic coverage on functional safety

International Symposium on Fundamentals of Electrical Engineering 2014, 01 Kasım 2014

Signaling system design for urban transportation: The case of Istanbul Esenler Depot

FORMS/FORMAT 2012: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 01 Aralık 2012

Kitap & Kitap Bölümleri

Diğer Yayınlar