Ayav T., Sözer H.
Appl. Soft Comput. J. (2016), http://dx.doi.org/10.1016/j.asoc.2016.06.042

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

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

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

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

Ayav T.
IEEE 23. Sinyal İşleme ve İletişim Uygulamaları Kurultayı. 16-19 Mayıs 2015, Malatya, Turkiye.

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

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

Toker A., Ayav T.
Proceedings of 2008 Automatic Control National Meeting, pages 269-274, Istanbul, 13-15 November 2008.

Ayav T., Tuglular T., Belli F.
Technical report no: IYTE-COMPENG-2015-001, 07 May 2015.

Samuel Bacha Heye
M.Sc. Thesis, Dept.of Computer Engineering, 2014.

Engin Leloğlu
M.Sc. Thesis, Dept.of Computer Engineering, 2014.

Uras Tos
M.Sc. Thesis, Dept.of Computer Engineering, 2012.

Çağan Yücel
M.Sc. Thesis, Dept.of Computer Engineering, 2010.

Emre Gözütok
M.Sc. Thesis, Dept.of Computer Engineering, July 2010.