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
|
Verification of the Existence of Recently Published New Energy Levels of Atomic Holmium
Istanbul University, Vol. 1, Aralık 2023, ISSN: 2980-3012
BİNGÖL DOĞUKAN, BAŞAR GÖNÜL, BAŞAR GÜNAY, KANAT ÖZTÜRK İPEK, GÜZELÇİMEN FEYZA, KIN BARKA SEDA, KRÖGER SOPHİE
|
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 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
|
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
|
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
|
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
|
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
|
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
|
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 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 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
|