menu
Fatemeh Ghassemi Esfahani

Assistant Professor

Update: 2025-03-26

Fatemeh Ghassemi Esfahani

College of Engineering / Electrical and Computer ENG

P.H.D dissertations

  1. شناسایی خودکار مدل رفتاری کاربردهای تحت شبکه
    زینب صباحی کاویانی 2024
  2. تحلیل صوری پدیده انتشار در شبکه های اجتماعی
    زهرا معزکریمی 2022

Master Theses

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