| A survey of software testing in the cloud K Incki, I Ari, H Sözer 2012 IEEE Sixth International Conference on Software Security and …, 2012 | 128 | 2012 |
| Mobile application verification: a systematic mapping study M Sahinoglu, K Incki, MS Aktas Computational Science and Its Applications--ICCSA 2015: 15th International …, 2015 | 51 | 2015 |
| A novel runtime verification solution for IoT systems K İnçki, I Ari IEEE Access 6, 13501-13512, 2018 | 29 | 2018 |
| Runtime verification of IoT systems using complex event processing K Inçki, İ Arı, H Sözer 2017 IEEE 14th International Conference on Networking, Sensing and Control …, 2017 | 24 | 2017 |
| Model-based runtime monitoring of smart city systems K Incki, I Ari Procedia computer science 134, 75-82, 2018 | 21 | 2018 |
| Democratization of runtime verification for internet of things K Incki, I Ari Computers & Electrical Engineering 68, 570-580, 2018 | 8 | 2018 |
| Observing interoperability of IoT systems through model-based testing K Incki, I Ari Interoperability, Safety and Security in IoT: Third International Conference …, 2018 | 8 | 2018 |
| Design for ARINC 653 conformance: Architecting independent validation of a safety-critical RTOS A Alptekin, Y Yilmazer, U Usug, F Koca, K Incki 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 8A6-1-8A6-8, 2014 | 3 | 2014 |
| Improving Awareness in Ambient-Assisted Living Systems: Consolidated Data Stream Processing K İnçki, MS Aktaş Internet of Things Technologies for HealthCare: Third International …, 2016 | 2 | 2016 |
| Runtime verification of internet of things using complex-event processing (RECEP) K İnçki | | 2018 |
| Kaostan Düzene: Yazılım Projelerinde Hasar Kontrolü. K Inçki, TBBTE BTE UYMS, 2014 | | 2014 |
| Yazılım Projelerinde Uygulama Yaşam Döngüsü Yönetimi K Incki, B Sarikaya, A Turkay 2. Yazılım Kalite ve Güvencesi Sempozyumu, 2010 | | 2010 |
| DESIGN FOR ARINC 653 CONFORMANCE: ARCHITECTING INDEPENDENT VALIDATION OF A SAFETY-CRITICAL RTOS K Incki | | |
Ismail AriAssistant Professor of Computer Science, Ozyegin University在 ozyegin.edu.tr 的电子邮件经过验证
Ismail AriAssistant Professor of Computer Science, Ozyegin University在 ozyegin.edu.tr 的电子邮件经过验证
Mehmet AktasProfessor of Computer Science, Yildiz Technical University在 yildiz.edu.tr 的电子邮件经过验证