A Nested Autoencoder Approach to Automated Defect Inspection on Textured Surfaces von Oz, Muhammed Ali Nur, Kaymakci, Ozgur Turay, Mercimek, Muharrem

Volltext

Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines von Celebi, Basri Tugcan, Kaymakci, Ozgur Turay

Volltext

Anomaly localization in regular textures based on deep convolutional generative adversarial networks von Oz, Muhammed Ali Nur, Mercimek, Muharrem, Kaymakci, Ozgur Turay

Volltext

Specification and formal verification of safety properties in a point automation system von ŞENER, İbrahim, KAYMAKÇI, Özgür Turay, ÜSTOĞLU, İlker, CANSEVER, Galip

Volltext

Topology Based Automatic Formal Model Generation for Point Automation Systems von Oz, Muhammet Ali Nur, Sener, Ibrahim, Kaymakci, Ozgur Turay, Ustoglu, Ilker, Cansever, Galip

Volltext

A New Method for Verification and Evaluation of PLC Software von KAYMAKÇI, Özgür Turay, ÖZ, Muhammed Ali Nur

Volltext

Human factors in hydrogen storage: An analysis of safety implications von Bulat, Hasan Hüseyin, Kaymakçı, Özgür Turay, Ilhan, Haci

Volltext

A safety related perspective for the power supply systems in railway industry von Oz, Muhammet Ali, KAYMAKCI, Ozgur Turay, KOYUN, Ayhan

Volltext

Automated fabric inspection system development aided with convolutional autoencoder-based defect detection von Mercimek, Muharrem, Öz, Muhammed Ali, Kaymakçı, Özgür Turay

Volltext

Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets von ŞENER, İbrahim, KAYMAKCI, Özgür Turay, ÜSTOĞLU, İlker, CANSEVER, Galip

Volltext