Tolga Ayav





Journal Articles (SCIE)

Estrus Detection and Dairy Cow Identification with Cascade Deep Learning for Augmented Reality-Ready Livestock Farming
İbrahim Arıkan, Tolga Ayav, Ahmet Çağdaş Seçkin, Fatih Soygazi
Sensors 2023, 23(24), 9795; https://doi.org/10.3390/s23249795.

Spectral Test Generation for Boolean Expressions
Ayav T.,
International Journal of Software Engineering and Knowledge Engineering, 33(08):1239-1260 (2023). https://doi.org/10.1142/S021819402350033X

Mutation-Based Minimal Test Suite Generation for Boolean Expressions
Ayav T., Belli, F.
International Journal of Software Engineering and Knowledge Engineering, 33(06):865-884 (2023). https://doi.org/10.1142/S0218194023500183

Test input generation from cause-effect graphs
Ufuktepe, D. K., Ayav T., Belli, F.
Software Quality Journal (2021). https://doi.org/10.1007/s11219-021-09560-3

Achieving query performance in the cloud via a cost-effective data replication strategy
Tos, U., Mokadem, R., Hameurlain, A., Ayav T.
Soft Comput (2021). https://doi.org/10.1007/s00500-020-05544-w

Human-Robot Interfaces of the NeuRoboScope: A Minimally Invasive Endoscopic Pituitary Tumor Surgery Robotic Assistance System
Dede, M.I. Can, Kiper G., Ayav T. et. al.
J. Med. Devices. (2020). https://doi.org/10.1115/1.4049394

Mutant Selection by Using Fourier Expansion
Takan S., Ayav T.
Turk J Elec Eng Comp Sci, 28(05): 2750 - 2767. (2020) doi:10.3906/elk-1909-90

Ensuring performance and provider profit through data replication in cloud systems
Tos U., Mokadem, R., Hameurlain A., Ayav T. and Bora S.
Cluster Computing, 2017. https://doi.org/10.1007/s10586-017-1507-y

Prioritizing MCDC Test Cases by Spectral Analysis of Boolean Functions
Ayav T.
Softw Test Verif Reliab.2017; 27:e1641. https://doi.org/10.1002/stvr.1641.

Identifying critical architectural components with spectral analysis of fault trees
Ayav T., Sözer H.
Appl. Soft Comput. J. 49 (2016): 1270 - 1282, http://dx.doi.org/10.1016/j.asoc.2016.06.042

Dynamic replication strategies in data grid systems: a survey
Tos U., Mokadem, R., Hameurlain A., Ayav T. and Bora S.
The Journal of Supercomputing, 2015. DOI: 10.1007/s11227-015-1508-7

Full-Exact Approach for Frequent Itemset Hiding
Ayav T., Ergenc B.
International Journal of Data Warehousing and Mining,
11(04), pp.49-63, November 2015

Implementing Fault-Tolerance by Automatic Program Transformations
Ayav T., Fradet P., Girault A.
ACM Transactions on Embedded Systems,
7(04), pp. 1 - 43, July 2008

Optimal Control for Real-Time Feedback Rate-Monotonic Schedulers
Ayav T., Ferrari-Trecate G.
Lecture Notes in Computer Science,
Vol. 3733, pp. 894 - 903, October 2005

International Conference Papers

Inferring Location Information From Cell Data: The Viterbi Algorithm As A Case Study
Yaman, O.; Rasmussen, K.; Ayav, T.; Erten, Y. M.
2025 10th International Conference on Computer Science and Engineering (UBMK). 17-21 September 2025, Istanbul.

Optimized Cooperative Routing for Autonomous Vehicles
Saydam, B., Ayav, T.
11th International Conference on Computer Technology and Applications (ICCTA 2025). 21-23 May 2025, Vienna, Austria.

Enhancing genomic data sharing with blockchain-enabled dynamic consent in Beacon v2
Binokay, L., Celik, H., Gurdal, G., Ayav, T., Tuglular, T., Oktay, Y. & Karakulah, G.
EUROPEAN JOURNAL OF HUMAN GENETICS , 32.0(None), 2.0. 2024.

Lightweight and Energy Efficient Secrecy Outage Probability-based Friendly Jamming
Yaman, O., Ayav, T., Erten, Y.M,
11th International Symposium on Digital Forensics and Security (ISDFS 2023). 11-12 May 2023, Chattanooga, A.B.D.

A Novel Countermeasure for Selective Forwarding Attacks in IoT Networks
Yaman, O., Sokat, B., Ayav, T., Erten, Y.M,
3rd International Informatics and Software Engineering Conference, IISEC 2022. 15-16 Dec. 2022, Ankara

Secure IoT Update Using Blockchain
M. Kaptan, E. Tomur, T. Ayav and Y. M. Erten
2021 2nd International Informatics and Software Engineering Conference (IISEC), 2021, pp. 1-6, doi: 10.1109/IISEC54230.2021.9672424.

Loyalty Program using Blockchain
Sonmezturk O., Ayav T., Erten Yusuf M.
2020 IEEE International Conference on Blockchain (Blockchain). DOI: 10.1109/Blockchain50366.2020.00074. 2-6 Nov. 2020

Moving Switching Functions to Continuous Domain
Ayav T., Sozer H.
Workshop on Model-based Verification and Validation, in conjunction with 4th IEEE International Conference on Software Quality, Reliability and Security (QRS 2016). Vienna, August 1-3, 2016

A Performance and Profit Oriented Data Replication Strategy for Cloud Systems
Tos U., Mokadem R., Hameurlain A., Ayav T., and Bora S.
The IEEE International Conference on Cloud and Big Data Computing (CBDCom 2016), Toulouse, France, July 18-21, 2016 (Best paper award)

Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique
Ayav T., Belli F.
Workshop on Model-based Verification and Validation, in conjunction with 4th IEEE International Conference on Software Quality, Reliability and Security (QRS 2015). Vancouver, August 3-5, 2015

Model Based Testing of VHDL Programs
Ayav T., Tuglular T., Belli F.
7th IEEE International Workshop on Software Test Automation (in conjunction with COMPSAC 2015: The 39th Annual International Computers, Software & Applications Conference), Taichung, Taiwan - July 1-5, 2015

Model Checker-Based Delay Fault Testing of Sequential Circuits
Takan S., Guler B., Ayav T.
11th Workshop on Dependability and Fault Tolerance (VERFE'15) in conjunction with ARCS 2015, Porto, Portugal, March 24-27, 2015

Coefficient-Based Exact Approach for Frequent Itemset Hiding
Leloglu E., Ayav T., Ergenc B.
eKNOW 2014 6th International Conference on Information, Process, and Knowledge Management, IARIAISBN: 978-1-61208-329-2

A review of cloud deployment models for e-learning systems
Leloglu E., Ayav T., Aslan B.
43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Budapest, June 2013.

Adaptive RTP Rate Control Method
Tos U., Ayav T.
Proceedings of COMPSAC 2011. Pg. 7-12. Munich, Germany , July 2011

Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker
Ayav T., Tuglular T., Belli F.
Workshop on Model-based Verification and Validation, in conjunction with 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June 9-11, 2010

Design of a Secure Microprocessor
Toker A., Ayav T.
4th 2010 International Security and Criptology Conference (ISC Turkey'10), Ankara, Turkey, May 6-8, 2010

Solving the Course Scheduling Problem Using Simulated Annealing
Aycan E., Ayav T.
Proceedings of the IEEE International Advance Computing Conference (IACC'09), pg. 462- 466 , Patiala, India, March 2009

Implementing Fault-Tolerance in Real-Time Systems by Automatic Program Transformations
Ayav T., Fradet P., Girault A.
International Conference on Embedded Software, EMSOFT'06, Seoul, South Korea, October 2006, ACM
INRIA Research Report Nr:5915

Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems
Ayav T., Sorel Y.
Proceedings of the 11th IEEE International Conference on Embedded and RealTime Computing Systems and Applications (RTCSA), pages 173-176, Hong Kong, China, August 2005

Stability Properties of Adaptive Real-Time Feedback Scheduling: A Statistical Approach
Ayav T, Ferrari-Trecate G. and Yilmaz S.
12th Real-Time Embedded Systems Conference, pages 259-277, Paris, March 2004

Neuro-Fuzzy Controller in Real-Time Feedback Schedulers
Ayav T., Yilmaz S.
10th 2002 Workshop on Nonlinear Dynamics of Electronic Systems, pages 3.37-3.40, Izmir, Turkey, June 2002

A New Embedded Controller for Data Acquisition and Control Applications
Ayav T., Aytac S.
Proceedings of the 14th International Symposium on Computer and Information Sciences, pages 997-999, Kusadasi, 18-20 October 1999

National Journals and Conferences

A Lightweight Self-Organized Friendly Jamming
Yaman O., Ayav T., Erten Y.M.
International Journal of Information Security Science. (12)1:13-20. 2023. https://doi.org/10.55859/ijiss.1194643

A Metric for Measuring Test Input Generation Effectiveness of Test Generation Methods for Boolean Expressions
Ufuktepe D.K., Ufuktepe E., Ayav T.
2021 15th Turkish National Software Engineering Symposium (UYMS), 2021, pp. 1-6, doi: 10.1109/UYMS54260.2021.9659647.

Otomotiv Endüstrisinde Zamanlama Mimarilerinin Değerlendirilmesi
Saydam B., Ayav T.
EMO Bilimsel Dergi. Year 2021, Volume 12, Issue 22, 55 - 65, 30.12.2021.

OSEK/VDX Uyumlu Katı Gerçek Zamanlı İşletim Sistemleri için Zamanlama Mimarilerinin Değerlendirilmesi
Saydam B., Ayav T.
Ulusal Yazılım Mühendisliği Sempozyumu UYMS 7-9 Ekim 2020 Okan Üniversitesi, İstanbul.

Fourier Analizi Yöntemiyle Mutant Seçimi
Takan S., Ayav T.
Ulusal Yazılım Mühendisliği Sempozyumu UYMS 23-25 Eylül 2019 IYTE, İzmir.

Sonlu Durum Makinelerinin Fourier Analizi Tabanlı Sınanması - Fourier analysis based testing of finite state machines
Takan S., Ayav T.
Ulusal Yazılım Mühendisliği Sempozyumu UYMS 10-12 Eylül 2018 Sabancı Üniversitesi, İstanbul.

Cerrahın anlık yönlendirilebildiği robot yardımlı endoskop kontrol sistemi mimarisi - NeuRoboScope
Dede, Kiper, Ayav, Tatlıcıoğlu, Özdemirel v.d.
ToRK 2018 Türkiye Robot Bilim Konferansı, 12-14 Nisan 2018, Boğaziçi Üniversitesi, İstanbul.

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
Ayav T.
DEÜ Fen ve Mühendislik Dergisi Cilt 19 (55): 1-15, Ocak 2017. DOI: 10.21205/deufmd.2017195501.

Neden Sonuç Çizgelerinden Test Girişlerinin Oluşturulması
Kavzak D., Ayav T., Belli F.

UYMS'16 10. Ulusal Yazılım Sempozyumu, Sayfa 142-153. 24-26 Ekim 2016, Çanakkale, Turkiye.
http://ceur-ws.org/Vol-1721/UYMS-YTM_2016_paper_12.pdf

Neuroboscope Sisteminin Model Tabanlı Sınaması
Uzun B., Ayav T., Dede M.İ., v.d.
Otomatik Kontrol Ulusal Toplantısı, TOK'2016. 29 Eylül-1 Ekim 2016, Eskişehir.

Yazılım Yapısal Kapsama Analizinde Testlerin Önceliklendirilmesi
Ayav T.
UYMS'15 9. Ulusal Yazılım Sempozyumu, 9-11 Eylül, İzmir, Turkiye.

Birleşimsel Devreler için Otomatik Test Örüntüsü Oluşturma
Ayav T.
IEEE 23. Sinyal İşleme ve İletişim Uygulamaları Kurultayı. 16-19 Mayıs 2015, Malatya, Turkiye.

Television Rating Measurement System Design
Ozbek B., Ayav T., Yatir M.N., Kirisken B.
EMO The Journal of Electrical, Electronics, Computer and Biomedical Engineering, 1(02):89- 94, December 2011

Fault-Tolerance in FPGA Implementations (In Turkish)
Toker A., Ayav T.
Proceedings of 2008 Automatic Control National Meeting, pages 269-274, Istanbul, 13-15 November 2008.

CryptOdin:16-bit Secure Microprocessor
Ayav T., Harsa N., Toker K.A., Aksakalli G.
Proceedings of 2008 Embedded Systems and Applications, Istanbul, page 13 .3-5 Kasým 2008

Implementation of Real-Time Adaptive Scheduling technique on RTLinux
Ayav T., Yilmaz S.
Turkish Informatics Foundation Journal of Computer Sciences and Engineering, 1(01):81- 89, 2005

Bir Að Yönetim Sistemi: Guardilan (A Network Management system: Guardilan)
Altýntaþ E., Özardýç O., Talay S. and Ayav T
Proceedings of TBD 20th Informatics Workshop, pages 31-44, Istanbul, Eylul 2003.

IYTE Yerel Aðý için bir QoS Uygulamasý (A QOS Application for IZTECH LAN)
Cagrici G., Ayav T.
Proceedings of TBD 19th Informatics Workshop, pages 239-243, stanbul, 3-6 September 2002

Books

book
Concepts of Computer Architecture - Hands-on Design Principles with VHDL
Ayav T.
October, 2022. ISBN:978-625-427-263-9, Nobel Akademik Yayıncılık

Patents

MC/DC testlerinin önceliklendirilmesine ilişkin bir yöntem
Ayav T.
TPE, 21 May 2021.

Technical Reports

Design Notes of Microprocessor µ311.1 (LECTURE NOTES)
Ayav T.
Technical report no: IYTE-COMPENG-2017-001, 15 October 2017.

Transforming VHDL to Timed Automata
Ayav T., Tuglular T., Belli F.
Technical report no: IYTE-COMPENG-2015-001, 07 May 2015.

Theses Supervised

Testing Microservice Applicaations
Özgür Öztürk (Co-advisor: Prof. Onur Demirors)
M.Sc. Thesis, Dept.of Computer Engineering, 2023.

Location privacy in cellular networks
Okan Yaman (Co-advisor: Prof. Murat Erten)
Ph.D. Thesis, Dept.of Computer Engineering, 2022.

A blockchain application for payment and traffic management in smart vehicles
Boğaçhan Yiğitbaşı
M.Sc. Thesis, Dept.of Computer Engineering, 2022.

Blackhole attacks in IoT networks
Barış Sokat (Co-advisor: Prof. Murat Erten)
M.Sc. Thesis, Dept.of Computer Engineering, 2020.

Predictive maintenance for smart industry
Asad Asadzade
M.Sc. Thesis, Dept.of Computer Engineering, 2020.

Evaluation of scheduling architectures for OSEK/VDX compliant hard real-time operating systems
Berkay Saydam
M.Sc. Thesis, Dept.of Computer Engineering, 2020.

Internet of things simulation using cisco packet tracer
David Thera (Co-advisor: Prof. Murat Erten)
M.Sc. Thesis, Dept.of Computer Engineering, 2019.

Blockchain application on loyalty card
Osman Sönmeztürk (Co-advisor: Prof. Murat Erten)
M.Sc. Thesis, Dept.of Computer Engineering, 2020.

Density grid based stream clustering algorithm
Ahmed, Rowanda Daoud (Co-advisor: Prof. Murat Erten)
Ph.D. Thesis, Dept.of Computer Engineering, 2019.

Implementation and performance analysis of contex-aware role-based access controls for cloud-based IoT platform
Döşemeci, Mete Merthan (Co-advisor: Prof. Murat Erten)
M.Sc. Thesis, Dept.of Computer Engineering, 2019.

Block-chain based remote update for embedded devices
Melike Kaptan (Co-advisor: Prof. Murat Erten)
M.Sc. Thesis, Dept.of Computer Engineering, 2019.

Fourier Analysis-Based Testing of Finite State Machines
Savas, Takan
Ph.D. Thesis, Dept.of Computer Engineering, 2019.

A learning-based demand classification service with using XGBoost in institutional area
Gürakin, Cagri
M.Sc. Thesis, Dept.of Computer Engineering, 2019.

A dedicated server design for physical web applications
Abdennebi, Anes
M.Sc. Thesis, Dept.of Computer Engineering, 2019.

Effectiveness of using clustering for test case prioritization
Günel, Can
M.Sc. Thesis, Dept.of Computer Engineering, 2019.

Assessment and certification of safety critical software
Bengisu Uzun
M.Sc. Thesis, Dept.of Computer Engineering, 2018.

Data replication in large-scale data management systems
Uras Tos
Ph.D. Thesis, Dept.of Computer Engineering, 2017.

Test case generation from cause effect graphs
Deniz Kavzak Ufuktepe
M.Sc. Thesis, Dept.of Computer Engineering, 2016.

Parallelization of a novel frequent itemset hiding algorithm on a CPU-GPU platform
Samuel Bacha Heye
M.Sc. Thesis, Dept.of Computer Engineering, 2014.

An exact approach with minimum side-effects for association rule hiding
Engin Leloğlu
M.Sc. Thesis, Dept.of Computer Engineering, 2014.

Quality-adaptive media streaming
Uras Tos
M.Sc. Thesis, Dept.of Computer Engineering, 2012.

Performance enhancement of real-time protocol
Çağan Yücel
M.Sc. Thesis, Dept.of Computer Engineering, 2010.

Designing Programmable Logic Controller for Data Acquisition and Control
Emre Gözütok
M.Sc. Thesis, Dept.of Computer Engineering, 2010.

Solving the course scheduling problem by constraint programming and simulated annealing
Esra Aycan
M.Sc. Thesis, Dept.of Computer Engineering, 2008.