E-VCU Software Toolbox for ARM Cortex-R4 Processor based Electric Vehicle Control
29th International Conference on Information, Communication and Automation Technologies, SARAJEVO/BOSNA HERSEK, 11 Haziran 2023, ISSN: 2643-1858
ABDELKHALEK MOSTAFA, BAYEZİT AFŞİN BARAN, BAYEZİT İSMAİL, BIRCAN YASIN, CAKIR AYTUG, KURTOGLU FURKAN, MANDACI DENIZ, ERUNLU GOKHAN, FIDAN BARIS
|
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
|
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
|
A Fully Coupled Theoretical and Computational Model for Unsaturated Soils: Numerical Formulation and Experimental Verification
9th Int. Conf. Comp. Mthds for Coupled Problems in Sci. & Eng.-COUPLED PROBLEMS, South Sardinia/İTALYA, 13 Haziran 2021
EYÜPGİLLER MUSTAFA MERT, ÜLKER MEHMET BARIŞ CAN
|
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
|
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
|
Creating Verification Environment Using RISCV-DV With Open and Closed Source Tools
9th International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT), Ankara/TÜRKİYE, 13 Kasım 2025
EROĞLU DENİZ,ÖZDEN METE,ÖRS YALÇIN SIDDIKA BERNA
|
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
|
Dose mapping of a 252Cf based non-destructive on-line elemental analysis device using Monte Carlo simulation and verification with experimental results
Radiation Physics and Chemistry, Vol. 226, No. 112328, Ocak 2025, ISSN: 0969-806X
YILMAZ HANDAN,REYHANCAN İSKENDER ATİLLA
|
Design of a Mini Double-Discharge Centrifugal Pump under Multiphase Flow by CFD and Experimental Verification
Journal of Applied Fluid Mechanics, Vol. 11, No. 5, Eylül 2018, s. 1443-1454, ISSN: 1735-3572
PARLAK ZEKERİYA,KEMERLİ MUAZ,ENGİN TAHSİN,KOÇ YUSUF
|
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
|
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
|
Downscaling and Verification of Maximum Wind Speeds by Using Artificial Neural Networks for New European Wind Atlas and Wind Farm Data
The EMS Annual Meeting 2021, 3 Eylül 2021
AKIN MELEK, ÖZTOPAL AHMET, ŞAHİN AHMET DURAN
|
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
|
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
|
Design and Implementation of a Smart Medication Dispensing System with Visual and Weight-Based Verification for Patient Safety
2025 16th INTERNATIONAL CONFERENCE on ELECTRICAL and ELECTRONICS ENGINEERING (ELECO), BURSA/TÜRKİYE, 27 Kasım 2025
DADAK MUHAMMET TALHA,ŞAHİN BERKER,YILMAZ ATABERK,GÜNDÜZ ŞAHİN,KAĞIZMAN AHMET,SEZER VOLKAN
|
Experimental Verification of A Simulation Model for Jet UAV with Model Based Design
8th International Conference on Control, Decision and Information Technologies, İstanbul/TÜRKİYE, 17 Mayıs 2022
ALTAY HALUK, ÇALIŞKAN FİKRET
|
RF Chain-Free mmWave Transmission: Modeling and Experimental Verification
2024 IEEE 35th International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 10 Eylül 2024
YAĞAN MUHAMMET YASER,HÖKELEK İBRAHİM,PUSANE ALİ EMRE,GÖRÇİN ALİ
|
Verification of LDR brachytherapy dose distributions for different source geometries by Monte Carlo method
Turkish Journal of Oncology, İstanbul/TÜRKİYE, Vol. 27, No. 4, Ocak 2012, s. 181-188, ISSN: 1300-7467
ACUN HEDİYE,BOZKURT AHMET,KEMİKLER GÖNÜL,ÖZBAY İSMAİL,ASLAY IŞIK
|
Stopping power and dose calculations with analytical and Monte Carlo methods for protons and prompt gamma range verification
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Vol. 897, Temmuz 2018, s. 106-113, ISSN: 0168-9002
USTA METİN,TUFAN MUSTAFA ÇAĞATAY,AYDIN GÜRAL,BOZKURT AHMET
|