Tolga Ayav
Professor

Tolga Ayav received his B.Sc. (1995) in Electronics Engineering, M.Sc. (1999) and Ph.D. (2004) degrees in Computer Engineering from 9 Eylül University, İzmir Institute of Technology and Ege University, respectively. He worked as research fellow in INRIA Rhone-Alpes in 2005. In addition to his administrative duties, he also manages the Dependable Components and Systems Lab in our department.
His current research interests are:

  • Formal Methods for Software Testing
  • Testing of Hardware Components and System-on-Chip
  • Real-Time and Fault-Tolerant Embedded Systems
  • B.Sc. : Electrical and Electronics Engineering, Dokuz Eylul University (1995)
  • M.Sc. : Computer Engineering, Izmir Institute of Technology (1999)
  • Ph.D. : Computer Engineering, Ege University (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

  • A Dedicated Server Design for Physical Web Applications, BAP
  • Interference Prevention and Feedback Channel Design for Spectral Efficient Small Cell Base Stations, TÜBİTAK TEYDEB
  • B.Sc. : Electrical and Electronics Engineering, Dokuz Eylul University (1995)
  • M.Sc. : Computer Engineering, Izmir Institute of Technology (1999)
  • Ph.D. : Computer Engineering, Ege University (2004)

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.

  • A Dedicated Server Design for Physical Web Applications, BAP
  • Interference Prevention and Feedback Channel Design for Spectral Efficient Small Cell Base Stations, TÜBİTAK TEYDEB