Koray Inçki

According to our database, Koray Inçki authored at least 10 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Runtime verification of internet of things using complex-event processing (RECEP).

Koray Inçki

PhD thesis, 2018

Democratization of runtime verification for internet of things.

Koray Inçki, Ismail Ari

Comput. Electr. Eng., 2018

A Novel Runtime Verification Solution for IoT Systems.

Koray Inçki, Ismail Ari

IEEE Access, 2018

Model-Based Runtime Monitoring of Smart City Systems.

Koray Inçki, Ismail Ari

Proceedings of the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018) / Affiliated Workshops, 2018

2017

Observing Interoperability of IoT Systems Through Model-Based Testing.

Koray Inçki, Ismail Ari

Proceedings of the Interoperability, Safety and Security in IoT, 2017

Runtime verification of IoT systems using Complex Event Processing.

Koray Inçki, Ismail Ari, Hasan Sözer

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016

Improving Awareness in Ambient-Assisted Living Systems: Consolidated Data Stream Processing.

Koray Inçki, Mehmet S. Aktas

Proceedings of the Internet of Things Technologies for HealthCare, 2016

2015

Mobile Application Verification: A Systematic Mapping Study.

Mehmet Sahinoglu, Koray Inçki, Mehmet S. Aktas

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014

Kaostan Düzene: Yazılım Projelerinde Hasar Kontrolü.

Koray Inçki

Proceedings of the 8th Turkish National Software Engineering Symposium, 2014

2012

A Survey of Software Testing in the Cloud.

Koray Inçki, Ismail Ari, Hasan Sözer

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012