A tool for automatic formal modeling of railway interlocking systems. - Muhammed Ali Nur Oz; Ibrahim Sener; Ozgur Turay Kaymakci; Ilker Üstoglu; Galip Cansever (EUROCON, 2015)

Topology Based Automatic Formal Model Generation for Point Automation Systems. - Muhammet Ali Nur Oz; Ibrahim Sener; Ozgur Turay Kaymakci; Ilker Üstoglu; Galip Cansever (Inf. Technol. Control., 2015)

A Nested Autoencoder Approach to Automated Defect Inspection on Textured Surfaces. - Muhammed Ali Nur Oz; Ozgur Turay Kaymakci; Muharrem Mercimek (Int. J. Appl. Math. Comput. Sci., 2021)

Anomaly localization in regular textures based on deep convolutional generative adversarial networks. - Muhammed Ali Nur Oz; Muharrem Mercimek; Ozgur Turay Kaymakci (Appl. Intell., 2022)