| Issue Date | Title | Author(s) |
| Sep-2003 | Bir ağ yönetim sistemi: GuardiLAN | Talay, Salih; Ayav, Tolga ; Özardıç, Onur; Altıntaş, Erhan |
| 2005 | Gerçek-zamanlı uyarlamacı görev planlaması tekniğinin RT-Linux’ta uygulanması | Ayav, Tolga ; Yılmaz, Sinan |
| 2008 | FPGA ile gerçeklenen devrelerde hataya dayanıklılık | Ayav, Tolga ; Toker, Kadir Atilla |
| Dec-2011 | Televizyon izleme ölçüm sistemi tasarımı | Özbek, Berna ; Ayav, Tolga ; Yatır, Mustafa Nevzat; Kirişken, Barbaros |
| 22-Jun-2015 | Birleşimsel devreler için otomatik test örüntüsü oluşturma | Ayav, Tolga |
| Oct-2016 | Neden-sonuç çizgelerinden test girişlerinin oluşturulması | Kavzak, Deniz; Ayav, Tolga ; Belli, Fevzi |
| 1999 | A new embedded controller for data acquisition and control applications | Ayav, Tolga ; Aytaç, İsmail Sıtkı |
| Jun-2002 | Neuro-fuzzy controller in real-time feedback schedulers | Ayav, Tolga ; Yılmaz, Sinan |
| Mar-2004 | Stability properties of adaptive real-time feedback scheduling: A statistical approach | Ayav, Tolga ; Ferrari-Trecate, Giancarlo; Yılmaz, Sinan |
| 21-Nov-2005 | Feedback control static scheduling for real-time distributed embedded systems | Ayav, Tolga ; Sorel, Yves |
| May-2006 | Implementing fault-tolerance in real-time systems by automatic program transformations | Ayav, Tolga ; Fradet, Pascal; Girault, Alain |
| May-2010 | Design of a secure microprocessor | Toker, Kadir Atilla; Ayav, Tolga |
| Jul-2010 | Towards test case generation for synthesizable VHDL programs using model checker | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| Oct-2011 | Adaptive RTP rate control method | Tos, Uras; Ayav, Tolga |
| Aug-2013 | A review of cloud deployment models for e-learning systems | Leloğlu, Engin; Ayav, Tolga ; Aslan, Burak Galip |
| 2014 | Coefficient-based exact approach for frequent itemset hiding | Leloğlu, Engin; Ayav, Tolga ; Ergenç, Belgin |
| May-2015 | Model checker-based delay fault testing of sequential circuits | Takan, Savaş ; Güler, Berkin; Ayav, Tolga |
| Sep-2015 | Model based testing of VHDL programs | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| Nov-2015 | Boolean differentiation for formalizing myers' cause-effect graph testing technique | Ayav, Tolga ; Belli, Fevzi |
| 22-Sep-2016 | Moving switching functions to continuous domain | Ayav, Tolga ; Sözer, Hasan |
