A Survey of Software Testing in the Cloud. - Koray Inçki; Ismail Ari; Hasan Sözer (SERE (Companion), 2012)

Kaostan Düzene: Yazılım Projelerinde Hasar Kontrolü. - Koray Inçki (UYMS, 2014)

Mobile Application Verification: A Systematic Mapping Study. - Mehmet Sahinoglu; Koray Inçki; Mehmet S. Aktas (ICCSA (5), 2015)

Improving Awareness in Ambient-Assisted Living Systems: Consolidated Data Stream Processing. - Koray Inçki; Mehmet S. Aktas (HealthyIoT, 2016)

Runtime verification of IoT systems using Complex Event Processing. - Koray Inçki; Ismail Ari; Hasan Sözer (ICNSC, 2017)

Observing Interoperability of IoT Systems Through Model-Based Testing. - Koray Inçki; Ismail Ari (InterIoT/SaSeIoT, 2017)

Model-Based Runtime Monitoring of Smart City Systems. - Koray Inçki; Ismail Ari (FNC/MobiSPC, 2018)

A Novel Runtime Verification Solution for IoT Systems. - Koray Inçki; Ismail Ari (IEEE Access, 2018)

Democratization of runtime verification for internet of things. - Koray Inçki; Ismail Ari (Comput. Electr. Eng., 2018)

Runtime verification of internet of things using complex-event processing (RECEP). - Koray Inçki (2018)