Journal Articles

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. (2016), 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

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.

Conference and Workshop Papers

Cerrahın anlık yönlendirilebildiği robot yardımlı endoskop kontrol sistemi mimarisi - NeuRoboScope
Dede M.İ., Kiper G., Ayav T., Tatlicioglu E., Özdemirel B., v.d.

4. Türkiye Robotbilim Konferansı (ToRK 2018), 12-14 Nisan 2018, Boğaziçi Üniversitesi

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.

Moving Switching Functions to Continuous Domain
Ayav T., Sözer 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

Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique
Ayav T., Belli F.
The 5th IEEE International Workshop on Model-Based Verification & Validation (in conjunction with QRS 2015), Vancouver, Canada, August 3-5, 20155

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

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.

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

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

FPGA ile Gerçeklenen Devrelerde Hataya Dayanıklılık (Fault-Tolerance in FPGA Implementations)
Toker A., Ayav T.
Proceedings of 2008 Automatic Control National Meeting, pages 269-274, Istanbul, 13-15 November 2008.

Technical Reports

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

Theses

Data replication in large-scale data management systems
Uras Tos
Ph.D. Thesis, Joint Program of IZTECH and Univ. of Paul Sabatier, 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, July 2010.