Verification of Session Initiation Protocol Using Timed Colored Petri Net
International Journal of Communications, Network and System Sciences, Vol. 4, No. 03, Ocak 2011, s. 170-179, ISSN: 1913-3715
KIZMAZ SAFİYE,KIRCI MÜRVET
|
Design and formal verification of a cloud compliant secure logging mechanism
IET Information Security, Vol. 10, No. 4, Temmuz 2016, s. 203-214, ISSN: 1751-8709
SANDIKKAYA MEHMET TAHİR,OVATMAN TOLGA,HARMANCI ALİ EMRE
|
Experimental Demonstration and Flow Network Model Verification of Induced CRAH Bypass for Cooling Optimization of Enclosed-Aisle Data Centers
IEEE Transactions on Components, Packaging and Manufacturing Technology, Vol. 7, No. 11, Kasım 2017, s. 1795-1803, ISSN: 2156-3950
ERDEN HAMZA SALİH,KOZ MUSTAFA,YİLDİRİM MEHMET T.,KHALİFA H. EZZAT
|
Experimental verification of the elastic input energy spectrum and a suggestion
Interdiciplinary Perspectives for Future Building Envelopes, İSTANBUL/TÜRKİYE, 13 Mayıs 2017
GÜLLÜ AHMET,YÜKSEL ERCAN,YALÇIN MEHMET CEM,DİNDAR AHMET ANIL,ÖZKAYNAK HASAN
|
Experimental Verification of the Elastic Input Energy Spectrum and a Suggestion
Interdisciplinary Perspectives for Future Building Envelopes, 15 Mayıs 2017
GÜLLÜ AHMET,YÜKSEL ERCAN,YALÇIN MEHMET CEM,DİNDAR AHMET ANIL,ÖZKAYNAK HASAN
|
Design and Verification Method of Z Type Leaf Spring for Heavy Duty Vehicle Air Suspension Systems
AVTECH’ 14 Automotive Vehicle Technologies Conference, İstanbul/TÜRKİYE, 16 Ekim 2014
DURUŞ MAHMUT, KIRKAYAK LEVENT, YAY KUBİLAY, BULUT FERHAT
|
Fatigue life prediction of Z type leaf spring and new approach to verification method
3rd International Conference on Material and Component Performanceunder Variable Amplitude Loading,, prag/ÇEK CUMHURİYETİ, 23 Mart 2016
DURUŞ MAHMUT, YAY KUBİLAY, KIRKAYAK LEVENT, CEYHAN AYKUT, KOZAN KAĞAN
|
DC and AC Electric Field Analysis and Experimental Verification of a Silicone Rubber Insulator
ELECTRICAL ENGINEERING, Vol. 102, No. 1, Mart 2020, s. 503-514, ISSN: 0948-7921
ÜÇKOL HALİL İBRAHİM,KARACA BARIŞ,İLHAN SUAT
|
A Simulation-Based Development and Verification Architecture for Micro UAV Teams and Swarms
AIAA Scitech 2019 Forum, San Diego/AMERİKA BİRLEŞİK DEVLETLERİ, 7 Ocak 2019
AKÇAKOCA MEHMET,ATICI BİLGE MİRAÇ,GEVER BAŞAK,OĞUZ SİNAN,DEMİR MUSTAFA,SALDIRAN EMRE,YÜKSEK BURAK,KOYUNCU EMRE,YENİÇERİ RAMAZAN,İNALHAN GÖKHAN
|
Design and implementation of a custom verification environment for fault injection and analysis on an embedded microprocessor
2015 Third International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE), 29 Nisan 2015, s. 256-261
USTAOĞLU BUSE,ÖRS YALÇIN SIDDIKA BERNA
|
Verification of the Washing Algorithm Developed Specifically for Linen Fabrics
5th International Istanbul Textile Congress 2015: Innovative Technologies ”Inspire to Innovate”, İstanbul/TÜRKİYE, 11 Eylül 2015
AÇIKGÖZ HATİCE,ŞAHİN UMUT KIVANÇ,GÖCEK İKİLEM,ERDEM İLKAN
|
Experimental studies using a new portable linear rock cutting machine and verification for disc cutters
Tunnelling and Underground Space Technology, Vol. 108, Şubat 2021, s. 103702, ISSN: 0886-7798
ÇOMAKLI RAMAZAN,BALCI CEMAL,ÇOPUR HANİFİ,TUMAÇ DENİZ
|
Specification and formal verification of safety properties in a point automation system
TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, Vol. 24, No. 3, Mart 2016, s. 1384-1396, ISSN: 1300-0632
ŞENER İBRAHİM,KAYMAKÇI ÖZGÜR TURAY,ÜSTOĞLU İLKER,CANSEVER GALİP
|
Compilation of emissions inventory for the city of Istanbul and verification via air quality model
GEIA-ACCENT Open Conference, 2009, Oslo/NORVEÇ
AĞAÇAYAK TUĞBA,ÜNAL ALPER,KINDAP TAYFUN,IM ULAŞ,MARKAKİS KONSTANTİNOS,KHAN MAUDOOD
|
DESIGN, ANALYSIS AND EXPERIMENTAL VERIFICATION OF A NOVEL NONLINEAR PI CONTROLLER
Anadolu Üniversitesi Bilim ve Teknoloji Dergisi :A-Uygulamalı Bilimler ve Mühendislik, Vol. 18, No. 4, Ekim 2017, s. 876-896, ISSN: 1302-3160
AKKAYA ŞİRİN,NAK HANDAN,ERGENÇ ALİ FUAT
|
Near-Field Orthogonality Sampling Method for Microwave Imaging: Theory and Experimental Verification
IEEE Transactions on Microwave Theory and Techniques, Vol. 64, No. 8, Ağustos 2016, s. 2489-2501, ISSN: 0018-9480
AKINCI MEHMET NURİ,ÇAYÖREN MEHMET,AKDUMAN İBRAHİM
|
The verification of strains obtained by grid measurements using digital image processing for sheet metal formability
The Journal of Strain Analysis for Engineering Design, Vol. 52, No. 8, Ağustos 2017, s. 506-514, ISSN: 0309-3247
YILDIZ AHMED RAŞİD,YILMAZ ŞAFAK
|
Harmonizing Normative Organizational Structures and Verification & Validation Concepts for Safety Critical Generic Projects
European Safety and Reliability Conference, Trondheim/NORVEÇ, 17 Haziran 2018, s. 3181-3186
DOĞRUGÜVEN ERSİN HASAN,ÜSTOĞLU İLKER
|
Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets
IFAC 2014, 19th World Congress of the International Federation of Automatic Control, Cape Town/GÜNEY AFRİKA, Vol. 47, No. 3, 24 Ağustos 2014, s. 12140-12145
ŞENER İBRAHİM,KAYMAKÇI ÖZGÜR TURAY,ÜSTOĞLU İLKER,CANSEVER GALİP
|
A Simulation-Based Development and Verification Architecture for Micro UAV Teams and Swarms
AIAA Scitech 2019 Forum, San Diego/AMERİKA BİRLEŞİK DEVLETLERİ, 7 Ocak 2019
AKÇAKOCA MEHMET,ATICI BİLGE MİRAÇ,GEVER BAŞAK,OĞUZ SİNAN,DEMİR MUSTAFA,SALDIRAN EMRE,YÜKSEK BURAK,KOYUNCU EMRE,YENİÇERİ RAMAZAN,İNALHAN GÖKHAN
|