Browsing by Author Ayav, Tolga


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 28 to 47 of 47 < previous 
Issue DateTitleAuthor(s)
Sep-2015Model based testing of VHDL programsAyav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi
May-2015Model checker-based delay fault testing of sequential circuitsTakan, Savaş; Güler, Berkin; Ayav, Tolga 
22-Sep-2016Moving switching functions to continuous domainAyav, Tolga ; Sözer, Hasan
2020Mutant selection by using Fourier expansionTakan, Savaş; Ayav, Tolga 
Oct-2016Neden-sonuç çizgelerinden test girişlerinin oluşturulmasıKavzak, Deniz; Ayav, Tolga ; Belli, Fevzi
Jun-2002Neuro-fuzzy controller in real-time feedback schedulersAyav, Tolga ; Yılmaz, Sinan
2016Neuroboscope sisteminin model tabanlı sınamasıUzun, Bengisu; Ayav, Tolga ; Dede, Mehmet İsmet Can ; Berker, Mustafa; Işıkay, İlkay; Hanalioğlu, Şahin; Özdemirel, Barbaros; Kiper, Gökhan ; Tatlıcıoğlu, Enver ; Maaroof, Omar W.; Işıtman, Oğulcan; Ateş, Gizem; Yaşır, Abdullah
1999A new embedded controller for data acquisition and control applicationsAyav, Tolga ; Aytaç, İsmail Sıtkı
1999An operating system for data acquisition and control applicationsAyav, Tolga 
2005Optimal control for real-time feedback rate-monotonic schedulersAyav, Tolga ; Ferrari-Trecate, Giancarlo
Jan-2017A performance and profit oriented data replication strategy for cloud systemsTos, Uras; Mokadem, Riad; Hameurlain, Abdelkader; Ayav, Tolga ; Bora, Şebnem
Aug-2017Prioritizing MCDC test cases by spectral analysis of Boolean functionsAyav, Tolga 
Aug-2013A review of cloud deployment models for e-learning systemsLeloğlu, Engin; Ayav, Tolga ; Arslan, Burak Galip 
2009Solving the course scheduling problem using simulated annealingAycan, Esra; Ayav, Tolga 
2018Sonlu durum makinelerinin Fourier analizi tabanlı sınanmasıTakan, Savaş; Ayav, Tolga 
Mar-2004Stability properties of adaptive real-time feedback scheduling: A statistical approachAyav, Tolga ; Ferrari-Trecate, Giancarlo; Yılmaz, Sinan
Dec-2011Televizyon izleme ölçüm sistemi tasarımıÖzbek, Berna ; Ayav, Tolga ; Yatır, Mustafa Nevzat; Kirişken, Barbaros
Jul-2010Towards test case generation for synthesizable VHDL programs using model checkerAyav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi
2-Dec-2016Transforming VHDL to timed automataAyav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi
2015Yazılım yapısal kapsama analizinde testlerin önceliklendirilmesiAyav, Tolga