Tolga Ayav

Tolga Ayav
Doçent / Bölüm Başkanı

Tolga Ayav 1995’te Dokuz Eylül Üniversitesi, Elektrik ve Elektronik Mühendisliği Bölümü’nden lisans, 1999’da İzmir Yüksek Teknoloji Enstitüsü, Bilgisayar Mühendisliği Bölümü’nden yüksek lisans ve 2004’te Ege Üniversitesi, Bilgisayar Mühendisliği Bölümü’nden doktora diplomalarını aldı. 2005’te INRIA Rhones-Alpes’te araştırmacı olarak çalıştı. İdari görevlerine ek olarak, kendisi aynı zamanda bölümümüzde DCS araştırma grubunu yönetmektedir.

Araştırma alanları:

  • Yazılım Testleri için Formal Yöntemler
  • Donanım Bileşen ve Çip üstü Sistem Testleri
  • Gerçek-Zamanlı ve Hata-Toleranslı Gömülü Sistemler
  • B.Sc. : Elektrik ve Elektronik Mühendisliği, Dokuz Eylül Üniversitesi (1995)
  • M.Sc. : Bilgisayar Mühendisliği, İzmir Yüksek Teknoloji Enstitüsü (1999)
  • Ph.D. : Bilgisayar Mühendisliği, Ege Üniversitesi (2004)

Makale

  • 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.
  • 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.
  • Ö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.
  • 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.
  • 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.

Bildiri

  • 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., “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.
  • 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.
  • 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., 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.

Teknik Rapor

  • Ayav, T., Tuğlular, T., Belli, F., “Transforming VHDL to Timed Automata,” Technical Report, IYTE-COMPENG, 2015.

Proje bulunmuyor.