Koray Inçki

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 6

Top Topics

Software Testing

Labor Intensive

Data Stream Processing

Top Venues

InterIoT/SaSeIoT

Comput. Electr. Eng.

Publications

Koray Inçki, Ismail Ari
Democratization of runtime verification for internet of things. Comput. Electr. Eng. 68 (2018)
Koray Inçki, Ismail Ari
A Novel Runtime Verification Solution for IoT Systems. IEEE Access 6 (2018)
Koray Inçki, Ismail Ari
Model-Based Runtime Monitoring of Smart City Systems. FNC/MobiSPC (2018)
Koray Inçki, Ismail Ari, Hasan Sözer
Runtime verification of IoT systems using Complex Event Processing. ICNSC (2017)
Koray Inçki, Ismail Ari
Observing Interoperability of IoT Systems Through Model-Based Testing. InterIoT/SaSeIoT (2017)
Koray Inçki, Mehmet S. Aktas
Improving Awareness in Ambient-Assisted Living Systems: Consolidated Data Stream Processing. HealthyIoT (2016)
Mehmet Sahinoglu, Koray Inçki, Mehmet S. Aktas
Mobile Application Verification: A Systematic Mapping Study. ICCSA (5) (2015)
Koray Inçki
Kaostan Düzene: Yazılım Projelerinde Hasar Kontrolü. UYMS (2014)
Koray Inçki, Ismail Ari, Hasan Sözer
A Survey of Software Testing in the Cloud. SERE (Companion) (2012)