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
|
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 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
|
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
|
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 highly resolved regional climate model IPRC RegCM and its simulation of the 1998 severe precipitation event over China Part I Model description and verification of simulation
Journal of Climate, Vol. 16, No. 11, Haziran 2003, s. 1721-1738
WANG YUQİNG,ŞEN ÖMER LÜTFİ,WANG BİN
|
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
|
The verification of strains obtained by grid measurements using digital image processing for sheet metal formability
JOURNAL OF STRAIN ANALYSIS FOR ENGINEERING DESIGN, Vol. 52, No. 8, Kasım 2017, s. 506-514, ISSN: 0309-3247
YILDIZ RAŞİD AHMED,YILMAZ ŞAFAK
|
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
|
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
|
Design of a Modified Concolic Testing Algorithm with Smaller Constraints
International workshop on Constraints in Software Testing, Verification and Analysis (CSTVA), Saarbrücken/ALMANYA, No. 1639, 17 Temmuz 2016, s. 3-14, ISSN: 1613-0073
KÖROĞLU YAVUZ,ŞEN MEHMET ALPER
|
A new URANS based approach on the prediction of vertical motions of a surface combatant in head waves
OCEAN ENGINEERING, Vol. 162, Ocak 2018, s. 21-33, ISSN: 0029-8018
ÇAKICI FERDİ, KAHRAMANOĞLU EMRE, DUMAN SÜLEYMAN, ALKAN AHMET DURSUN
|
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
|
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
|
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
|
Functional test generation from UI test scenarios using reinforcement learning for android applications
SOFTWARE TESTING VERIFICATION & RELIABILITY, Vol. 31, No. 3, Ocak 2021, s. 30, ISSN: 0960-0833
KÖROĞLU YAVUZ,ŞEN MEHMET ALPER
|
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
|
QBE: QLearning-Based Exploration of Android Applications
The 11th IEEE International Conference on Software Testing, Validation, and Verification, 9 Nisan 2018
KÖROĞLU YAVUZ,ŞEN MEHMET ALPER,MUSLU OZLEM,METE YUNUS,ULKER CEYDA,TANRIVERDI TOLGA,DÖNMEZ MEHMET YUNUS
|
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
|