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
|
A testbed based verification of joint communication and computation systems
2017 25th Telecommunication Forum (TELFOR), 21 Kasım 2017
ALTUN UFUK,TEDİK SEMİHA,ALAKOCA HAKAN,KARABULUT KURT GÜNEŞ ZEYNEP
|
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
|
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
|
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
|
An Empirical Study on Object Oriented Metrics and Software Evolution in Order to Reduce Testing Costs by Predicting Change Prone Classes
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 21 Mart 2011
BUZLUCA FEZA,ESKİ SİNAN
|
A learning based method for detecting defective classes in object oriented systems
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 13 Nisan 2015
BİRAY ÇAĞIL,BUZLUCA FEZA
|
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
|
A Wide Range Model for Surge Arresters: Verification Analysis
4 th International Conference on Power and Energy Systems Engineering, 25 Eylül 2017
MOUSAVİ SADRA,FEİZİFAR BEHNAM,ÖNAL ŞÜKRAN EMEL
|
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
|
An overview of model checking practices on verification of PLC software
Software & Systems Modeling, Vol. 15, No. 4, Ekim 2016, s. 937-960, ISSN: 1619-1366
ARAL ATAKAN,OVATMAN TOLGA,DAVUT POLAT,ALİ OSMAN ÜNVER
|
Design and formal verification of a cloud compliant secure logging mechanism
IET Information Security, Stevenage/İNGİLTERE, Vol. 10, No. 4, Temmuz 2016, s. 203-214, ISSN: 1751-8709
SANDIKKAYA MEHMET TAHİR,OVATMAN TOLGA,HARMANCI ALİ EMRE
|
Experimental Verification of Analytical and Numerical Solutions of In Plane and Out of Plane Free Vibrations of Circular Arches
IMAC-XXII, 23 Eylül 2004
TÜFEKCİ EKREM,DOĞRUER OSMAN YAŞAR,ÖZDEMİRCİ ÖZNUR
|
Experimental Verification of Numerical and Analytical Solutions of Free Vibrations of Curved Beams
The Second International Conference on Structural Stability and Dynamics, 23 Ekim 2002
TÜFEKCİ EKREM,BOSTANCI TOLGA,ÖZDEMİRCİ ÖZNUR,OLDAÇ OLCAY
|
Experimental verification of rank 1 chaos in switch controlled Chua circuit
Chaos: An Interdisciplinary Journal of Nonlinear Science, Vol. 19, No. 1, Ocak 2009, s. 13116, ISSN: 10541500
OKŞAŞOĞLU ALİ,ÖZOĞUZ İSMAİL SERDAR,DEMİRKOL AHMET YAŞAR,AKGÜL TAYFUN,WANG QİUDONG
|