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
|
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
|
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
|
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
|
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
|
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
|
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
|
Analysis of a Novel 3D Hybrid Woven Knitted Structures Part I Geometric Model and Verification
Textile Research Journal, Vol. 74, No. 9, 2004, s. 827-832
ÖNAL LEVENT,ADANUR SABİT
|
Closed-Form Demonstration and Shake Table Verification of Damping Effect on the Seismic Energy
International Journal of Structural Stability and Dynamics, Vol. 22, No. 12, Şubat 2022, ISSN: 0219-4554
GÜLLÜ AHMET, YÜKSEL ERCAN, ALTINTAŞ KAHRİMAN ELİF
|