پروفایل اساتید - ece- دانشکده مهندسی برق و کامپیوتر
Assistant Professor
Update: 2024-12-04
Fatemeh Ghassemi Esfahani
College of Engineering / Electrical and Computer ENG
Master Theses
-
استفاده از روش های رسمی برای ارزیابی ایمنی نرم افزارهای نهفته
پیمان شعبانی 2024 -
تشخیص رفتار ناهنجار در داده های سری زمانی شاخص های کارایی
سیدمصطفی جلالی ضیابری 2024 -
ارائه روش آزمون کارا برای سیستم های مبتنی بر شبکه های عصبی
پارسا کرباسی زاده اصفهانی 2024 -
وارسي مدل هاي شبكه هاي اقتضايي با استفاده از قيود شبكه
سعیده احمدی 2023 -
خود وفقي سازي الگوريتمهاي شبكه حسگر با استفاده از روشهاي صوري
غزاله جهاندوست مرغوب 2023 -
ارزيابي فرايند توزيع كليد در شبكه هاي بيسيم حسگر
پیام موسوی 2023 -
مدل سازی و آنالیز الگوریتم های زمان بندی در سیستم های سایبر فیزیکی
مهدی گلپایگانی 2023 -
استخراج مدل صوری رفتار کاربران در شبکه های اجتماعی با استفاده از روش یادگیری ماشین و خودکاره
نگار کاشف 2023 -
مدل سازی و درستی سنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نازنین ترابی گودرزی 2023 -
شناسایی اثر انگشت برنامههای تحت شبکه با ادغام روشهای یادگیری ماشین و خودکاره
فاطمه مرزانی 2022 -
یادگیری فعال برنامه های تحت شبکه
علی محمدی 2021 -
تحلیل صوری سیستم های سایبر-فیزیکی بر پایه ی هیبرید ربکا
سعید ژیانی قوشخانه 2020 -
مدلسازی و تحلیل صوری سیستم ها با توجه به الگوهای ارتباطی
سیده مهسا زرنشان 2020 -
درستي يابي سيستمهاي توزيع شده شامل مولفه هاي نامشخص
رزا عباسی بروجنی 2018 -
تحليل و مدل سازي جبري خدمات وب
محمد اصغریان سالکویه 2018 -
تحليل جبري معماري خط توليد نرم افزار
وحید یاری زاده 2018 -
پالايش صوري كدهاي مبهم
حمیدرضا ابتهاج 2018 -
مدل سازي پيمانه اي و تحليل صوري سيستم هاي سايبر فيزيكي
ایمان جهاندیده 2018 -
طرح سيستم فايل مشتري براي شبكه هاي ابري
سیدمجید رضویان 2018 -
اثبات ويژگي هاي شبكه اقتضايي برروي معادلات خطي جبر پردازه
ریحانه امیرابادی فراهانی 2018 -
مدل سازي و تحليل اكتورها با قابليت همه پخشي
بهناز یوسفی 2018 -
ارزيابي روشهاي تامين حريم خصوصي در شبكه هاي حسگر بيسيم
هژیر درخشی 2018