Browsing by Author Ayav, Tolga

Showing results 65 to 78 of 78 < previous 
Issue DateTitleAuthor(s)
2021Secure Iot Update Using BlockchainKaptan, Melike; Tomur, Emrah ; Ayav, Tolga ; Erten, Yusuf Murat 
2013Service-Oriented Integration of Information Systemsfor Logistics ManagementÇetin, Şevket
2008Solving the Course Scheduling Problem by Constraint Programming and Simulated AnnealingAycan, Esra 
2009Solving the Course Scheduling Problem Using Simulated AnnealingAycan, Esra ; Ayav, Tolga 
2018Sonlu Durum Makinelerinin Fourier Analizi Tabanlı SınanmasıTakan, Savaş ; Ayav, Tolga 
2023Spectral Test Generation for Boolean ExpressionsAyav, Tolga 
Mar-2004Stability Properties of Adaptive Real-Time Feedback Scheduling: a Statistical ApproachAyav, Tolga ; Ferrari-Trecate, Giancarlo; Yılmaz, Sinan
Dec-2011Televizyon İzleme Ölçüm Sistemi TasarımıÖzbek, Berna ; Ayav, Tolga ; Yatır, Mustafa Nevzat; Kirişken, Barbaros
Dec-2016Test Case Generation From Cause Effect GraphsKavzak Ufuktepe, Deniz
2021Test Input Generation From Cause-Effect GraphsKavzak Ufuktepe, Deniz; Ayav, Tolga ; Belli, Fevzi 
2023Testing Microservice ApplicationsÖztürk, Özgür
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