Tolga Ayav

Journal Article

• Ayav, T., “IEEE 802.11 Kablosuz Ağları için Bir Gerçek Zamanlı İletişim Protokolü - A Real-Time Communication Protocol for IEEE 802.11 Wireless Networks,” DEÜ Fen ve Mühendislik Dergisi, vol.19, no.55, pp.1-15, January 2017.
• Ayav, T., “Prioritizing MCDC test cases by spectral analysis of boolean functions,” Software Testing, Verification and Reliability, August 2017.
• Ayav, T., Sözer, H., “Identifying critical architectural components with spectral analysis of fault trees,” Applied Soft Computing, vol.49, pp.1270-1282, 2016.
• Uzun, B., Ayav, T., Dede, M.İ.C., Berker, M., Işıkay, İ., Hanalioğlu, Ş., Özdemirel, B., Kiper, G., Tatlıcıoğlu, E., Maaroof, O.W., Işıtman, O., Ateş, G., Yaşır, A., “Neuroboscope Sisteminin Model Tabanlı Sınaması,” Otomatik Kontrol Ulusal Toplantısı, TOK, 2016.
• Ayav, T., Sözer, H., “Moving Switching Functions to Continuous Domain,” Workshop on Model-based Verification and Validation, MVV, 2016.
• Tos, U., Mokadem, R., Hameurlain, A., Ayav, T., Bora S., “A Performance and Profit Oriented Data Replication Strategy for Cloud Systems,” The IEEE International Conference on Cloud and Big Data Computing, CBDCom, 2016.
• Kavzak, D., Ayav, T., Belli, F., “Neden-sonuç çizgelerinden test girişlerinin oluşturulması – Test Case Generation Based on Cause - Effect Graphs,” Turkish National Conference on Software Engineering, 2016.
• Ayav, T., Tuğlular, T., Belli, F., “Transforming VHDL to Timed Automata,” Technical Report, IYTE-COMPENG, 2015.
• Ayav, T., Ergenç, B., “Full-Exact Approach for Frequent Itemset Hiding,” International Journal of Data Warehousing and Mining, vol.11, no.4, pp.49-63, November 2015.
• Tos, U., Mokadem, R., Hameurlain, A., Ayav, T., Bora, S., “Dynamic replication strategies in data grid systems: a survey,” The Journal of Supercomputing, 2015.
• Ayav, T., “Yazılım Yapısal Kapsama Analizinde Testlerin Önceliklendirilmesi,” Ulusal Yazılım Mühendisliği Sempozyumu, UYMS, 2015.
• Ayav, T., “Birleşimsel Devreler için Otomatik Test Örüntüsü Oluşturma,” IEEE Sinyal İşleme ve İletişim Uygulamaları Kurultayı, SIU, 2015.
• Ayav, T., Belli, F., “Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique,” Workshop on Model-based Verification and Validation, MVV, 2015.
• Ayav, T., Tuğlular, T., Belli, F., “Model Based Testing of VHDL Programs,” IEEE International Workshop on Software Test Automation, STA, 2015.
• Takan, S., Güler, B., Ayav, T., “Model Checker-Based Delay Fault Testing of Sequential Circuits,” Workshop on Dependability and Fault Tolerance, VERFE 2015.
• Leloğlu, E., Ayav, T., Ergenç, B., “Coefficient-Based Exact Approach for Frequent Itemset Hiding,” International Conference on Information, Process, and Knowledge Management, eKNOW, 2014.
• Leloğlu, E., Ayav, T., Aslan, B.G., “A review of cloud deployment models for e-learning systems,” IEEE/IFIP International Conference on Dependable Systems and Networks, DSN, 2013.
• Özbek, B., Ayav, T., Yatır, M.N., Kirişken, B., “Television Rating Measurement System Design,” EMO The Journal of Electrical, Electronics, Computer and Biomedical Engineering, vol.1, no.2, pp.89-94, December 2011.
• Tos, U., Ayav, T., “Adaptive RTP Rate Control Method,” Proceedings of COMPSAC, 2011.
• Toker, A., Ayav, T., “Design of a Secure Microprocessor,” International Security and Criptology Conference, ISC, 2010.
• Ayav, T., Tuğlular, T., Belli, F., “Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker,” Workshop on Model-based Verification and Validation, MVV, 2010.
• Aycan, E., Ayav, T., “Solving the Course Scheduling Problem Using Simulated Annealing,” IEEE International Advance Computing Conference, IACC, 2009.
• Ayav, T., Fradet, P., Girault, A., “Implementing fault-tolerance in real-time programs by automatic program transformations,” ACM Transactions on Embedded Computing Systems, vol.7, no.4, pp.1-43, July 2008.
• Toker, A., Ayav, T., “FPGA ile Gerçeklenen Devrelerde Hataya Dayanıklılık - Fault-Tolerance in FPGA Implementations,” Otomatik Kontrol Ulusal Toplantısı, TOK, 2008.
• Ayav, T., Harsa, N., Toker, K.A., Aksakallı, G., “CryptOdin:16-bit Secure Microprocessor,” Gömülü Sistemler ve Uygulamaları Sempozyumu, GÖMSİS 2008.
• Ayav, T., Fradet, P., Girault, A., “Implementing Fault-Tolerance in Real-Time Systems by Automatic Program Transformations,” International Conference on Embedded Software, EMSOFT, 2006.
• Ayav, T., Yılmaz, S., “Implementation of Real-Time Adaptive Scheduling technique on RTLinux,” Turkish Informatics Foundation Journal of Computer Sciences and Engineering, vol.1, no.1, pp.81-89, 2005.
• Ayav, T., Ferrari-Trecate, G., “Optimal Control for Real-Time Feedback Rate-Monotonic Schedulers,” Lecture Notes in Computer Science, vol.3733, pp.894-903, October 2005.
• Ayav, T., Sorel, Y., “Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems,” IEEE International Conference on Embedded and RealTime Computing Systems and Applications, RTCSA, 2005.
• Ayav, T, Ferrari-Trecate, G., Yılmaz, S., “Stability Properties of Adaptive Real-Time Feedback Scheduling: A Statistical Approach,” Real-Time Embedded Systems Conference, 2004.
• Altıntaş, E., Özardıç, O., Talay, S., Ayav, T., “Bir Ağ Yönetim Sistemi: Guardilan - A Network Management system: Guardilan,” Proceedings of TBD 20th Informatics Workshop, 2003.
• Çağrıcı, G., Ayav, T., “IYTE Yerel Ağı için bir QoS Uygulaması - A QOS Application for IZTECH LAN,” Proceedings of TBD 19th Informatics Workshop, 2002.
• Ayav, T., Yılmaz, S., “Neuro-Fuzzy Controller in Real-Time Feedback Schedulers,”, Workshop on Nonlinear Dynamics of Electronic Systems, 2002.
• Ayav, T., Aytaç, S., “A New Embedded Controller for Data Acquisition and Control Applications,”, International Symposium on Computer and Information Sciences, 1999.