Fatemeh Ghassemi Esfahani

Assistant Professor

Update: 2024-12-04

Fatemeh Ghassemi Esfahani

College of Engineering / Electrical and Computer ENG

Master Theses

  1. استفاده از روش های رسمی برای ارزیابی ایمنی نرم افزارهای نهفته
    پیمان شعبانی 2024
  2. تشخیص رفتار ناهنجار در داده های سری زمانی شاخص های کارایی
    سیدمصطفی جلالی ضیابری 2024
  3. ارائه روش آزمون کارا برای سیستم های مبتنی بر شبکه های عصبی
    پارسا کرباسی زاده اصفهانی 2024
  4. وارسي مدل هاي شبكه هاي اقتضايي با استفاده از قيود شبكه
    سعیده احمدی 2023
  5. خود وفقي سازي الگوريتمهاي شبكه حسگر با استفاده از روشهاي صوري
    غزاله جهاندوست مرغوب 2023
  6. ارزيابي فرايند توزيع كليد در شبكه هاي بيسيم حسگر
    پیام موسوی 2023
  7. مدل سازی و آنالیز الگوریتم های زمان بندی در سیستم های سایبر فیزیکی
    مهدی گلپایگانی 2023
  8. استخراج مدل صوری رفتار کاربران در شبکه های اجتماعی با استفاده از روش یادگیری ماشین و خودکاره
    نگار کاشف 2023
  9. مدل سازی و درستی سنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
    نازنین ترابی گودرزی 2023
  10. شناسایی اثر انگشت برنامه‌های تحت شبکه با ادغام روش‌های یادگیری ماشین و خودکاره
    فاطمه مرزانی 2022
  11. یادگیری فعال برنامه های تحت شبکه
    علی محمدی 2021
  12. تحلیل صوری سیستم های سایبر-فیزیکی بر پایه ی هیبرید ربکا
    سعید ژیانی قوشخانه 2020
  13. مدلسازی و تحلیل صوری سیستم ها با توجه به الگوهای ارتباطی
    سیده مهسا زرنشان 2020
  14. درستي يابي سيستمهاي توزيع شده شامل مولفه هاي نامشخص
    رزا عباسی بروجنی 2018
  15. تحليل و مدل سازي جبري خدمات وب
    محمد اصغریان سالکویه 2018
  16. تحليل جبري معماري خط توليد نرم افزار
    وحید یاری زاده 2018
  17. پالايش صوري كدهاي مبهم
    حمیدرضا ابتهاج 2018
  18. مدل سازي پيمانه اي و تحليل صوري سيستم هاي سايبر فيزيكي
    ایمان جهاندیده 2018
  19. طرح سيستم فايل مشتري براي شبكه هاي ابري
    سیدمجید رضویان 2018
  20. اثبات ويژگي هاي شبكه اقتضايي برروي معادلات خطي جبر پردازه
    ریحانه امیرابادی فراهانی 2018
  21. مدل سازي و تحليل اكتورها با قابليت همه پخشي
    بهناز یوسفی 2018
  22. ارزيابي روشهاي تامين حريم خصوصي در شبكه هاي حسگر بيسيم
    هژیر درخشی 2018