Tolga Ayav
Profesör

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)

2021

Uras Tos; Riad Mokadem; Abdelkader Hameurlain; Tolga Ayav

Achieving query performance in the cloud via a cost-effective data replication strategy Journal Article

Soft Computing, 25 (7), pp. 5437–5454, 2021.

BibTeX

Deniz Kavzak Ufuktepe; Tolga Ayav; Fevzi Belli

Test input generation from cause--effect graphs Journal Article

Software Quality Journal, 29 (4), pp. 733–782, 2021.

BibTeX

Melike Kaptan; Emrah Tomur; Tolga Ayav; Yusuf M Erten

Secure IoT Update Using Blockchain Inproceedings

2021 2nd International Informatics and Software Engineering Conference (IISEC), pp. 1–6, IEEE 2021.

BibTeX

Mehmet İsmet Can Dede; Gökhan Kiper; Tolga Ayav; Barbaros Özdemirel; Enver Tatlıcıoğlu; Sahin Hanalioglu; İlkay Işıkay; Mustafa Berker

Human--robot interfaces of the NeuRoboScope: A minimally invasive endoscopic pituitary tumor surgery robotic assistance system Journal Article

Journal of Medical Devices, 15 (1), 2021.

BibTeX

2020

Osman Sönmeztürk; Tolga Ayav; Yusuf M Erten

Loyalty program using blockchain Inproceedings

2020 IEEE International Conference on Blockchain (Blockchain), pp. 509–516, IEEE 2020.

BibTeX

Berkay Saydam; Tolga Ayav

Evaluation of scheduling architectures for OSEK/VDX compliant hard real-time operating systems Inproceedings

2020 Turkish National Software Engineering Symposium (UYMS), pp. 1–6, IEEE 2020.

BibTeX

Savaş Takan; Tolga Ayav

Mutant selection by using Fourier expansion Journal Article

Turkish Journal of Electrical Engineering and Computer Sciences, 28 (5), pp. 2750–2767, 2020.

BibTeX

  • Fiziksel Ağ Uygulamaları İçin Adanmış Sunucu Tasarımı, BAP
  • Spektral Verimli Küçük Hücre Baz İstasyonları için Karışım Önleme ve Geri Besleme Kanal Tasarımı, TÜBİTAK TEYDEB
  • 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.
  • 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.

  • Fiziksel Ağ Uygulamaları İçin Adanmış Sunucu Tasarımı, BAP
  • Spektral Verimli Küçük Hücre Baz İstasyonları için Karışım Önleme ve Geri Besleme Kanal Tasarımı, TÜBİTAK TEYDEB