پروفایل اساتید - ece- دانشکده مهندسی برق و کامپیوتر
Associate Professor
Update: 2026-09-23
Fatemeh Ghassemi Esfahani
دانشکده مهندسی برق و کامپیوتر / گروه آموزشی مهندسی کامپیوتر- نرم افزار
Master Theses
-
پیش بینی منابع مورد نیاز برای سرویس های ابری
علی سلیمی 2026 -
مدل سازی تحلیل پذیر برنامه های کاربردی بی درنگ در حوزه خودرو بر اساس MARTE
سیدحسین شندآبادی 2025 -
مدل سازی تحلیل پذیر سکوی سیستم های بی درنگ بر اساس MARTE: یک مطالعه موردی در حوزه خودرو
حسین رحیمی 2025 -
راستی آزمایی غیرمتمرکز توالی پیام در سیستم های توزیع شده ناهمگام در زمان اجرا با تحمل پذیری خطا
حانیه ناصری 2025 -
استفاده از روش های رسمی برای ارزیابی ایمنی نرم افزارهای نهفته
پیمان شعبانی 2024 -
تشخیص رفتار ناهنجار در داده های سری زمانی شاخص های کارایی
سیدمصطفی جلالی ضیابری 2024 -
ارائه روش آزمون کارا برای سیستم های مبتنی بر شبکه های عصبی
پارسا کرباسی زاده اصفهانی 2024 -
وارسي مدل هاي شبكه هاي اقتضايي با استفاده از قيود شبكه
سعیده احمدی 2023 -
درستي يابي سيستمهاي توزيع شده شامل مولفه هاي نامشخص
رزا عباسی بروجنی 2023 -
طرح سيستم فايل مشتري براي شبكه هاي ابري
سیدمجید رضویان 2023 -
مدل سازي و تحليل اكتورها با قابليت همه پخشي
بهناز یوسفی 2023 -
پالايش صوري كدهاي مبهم
حمیدرضا ابتهاج 2023 -
مدل سازی و آنالیز الگوریتم های زمان بندی در سیستم های سایبر فیزیکی
مهدی گلپایگانی 2023 -
استخراج مدل صوری رفتار کاربران در شبکه های اجتماعی با استفاده از روش یادگیری ماشین و خودکاره
نگار کاشف 2023 -
مدل سازی و درستی سنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نازنین ترابی گودرزی 2023 -
شناسایی اثر انگشت برنامه‌های تحت شبکه با ادغام روش‌های یادگیری ماشین و خودکاره
فاطمه مرزانی 2022 -
یادگیری فعال برنامه های تحت شبکه
علی محمدی 2021 -
تحلیل صوری سیستم های سایبر-فیزیکی بر پایه ی هیبرید ربکا
سعید ژیانی قوشخانه 2020 -
مدلسازی و تحلیل صوری سیستم ها با توجه به الگوهای ارتباطی
سیده مهسا زرنشان 2020 -
تحليل و مدل سازي جبري خدمات وب
محمد اصغریان سالکویه 2018 -
ارزيابي فرايند توزيع كليد در شبكه هاي بيسيم حسگر
پیام موسوی 2018 -
تحليل جبري معماري خط توليد نرم افزار
وحید یاری زاده 2018 -
مدل سازي پيمانه اي و تحليل صوري سيستم هاي سايبر فيزيكي
ایمان جهاندیده 2018 -
ارزيابي روشهاي تامين حريم خصوصي در شبكه هاي حسگر بيسيم
هژیر درخشی 2018 -
اثبات ويژگي هاي شبكه اقتضايي برروي معادلات خطي جبر پردازه
ریحانه امیرابادی فراهانی 2018 -
خود وفقي سازي الگوريتمهاي شبكه حسگر با استفاده از روشهاي صوري
غزاله جهاندوست مرغوب 2018