منو
فاطمه قاسمی اصفهانی

استادیار

تاریخ به‌روزرسانی: 1403/09/14

فاطمه قاسمی اصفهانی

دانشکدگان ‌فنی / دانشکده مهندسی‌ برق‌ و کامپیوتر

رساله های دکتری

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

پایان‌نامه‌های کارشناسی‌ارشد

  1. استفاده از روش های رسمی برای ارزیابی ایمنی نرم افزارهای نهفته
    پیمان شعبانی 1403
  2. تشخیص رفتار ناهنجار در داده های سری زمانی شاخص های کارایی
    سیدمصطفی جلالی ضیابری 1403
  3. ارائه روش آزمون کارا برای سیستم های مبتنی بر شبکه های عصبی
    پارسا کرباسی زاده اصفهانی 1402
  4. وارسی مدل های شبکه های اقتضایی با استفاده از قیود شبکه
    سعیده احمدی 1402
  5. خود وفقی سازی الگوریتمهای شبکه حسگر با استفاده از روشهای صوری
    غزاله جهاندوست مرغوب 1402
  6. ارزیابی فرایند توزیع کلید در شبکه های بیسیم حسگر
    پیام موسوی 1402
  7. مدل سازی و آنالیز الگوریتم های زمان بندی در سیستم های سایبر فیزیکی
    مهدی گلپایگانی 1402
  8. استخراج مدل صوری رفتار کاربران در شبکه های اجتماعی با استفاده از روش یادگیری ماشین و خودکاره
    نگار کاشف 1402
  9. مدل سازی و درستی سنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
    نازنین ترابی گودرزی 1402
  10. شناسایی اثر انگشت برنامه‌های تحت شبکه با ادغام روش‌های یادگیری ماشین و خودکاره
    فاطمه مرزانی 1401
  11. یادگیری فعال برنامه های تحت شبکه
    علی محمدی 1400
  12. تحلیل صوری سیستم های سایبر-فیزیکی بر پایه ی هیبرید ربکا
    سعید ژیانی قوشخانه 1399
  13. مدلسازی و تحلیل صوری سیستم ها با توجه به الگوهای ارتباطی
    سیده مهسا زرنشان 1399
  14. درستی یابی سیستمهای توزیع شده شامل مولفه های نامشخص
    رزا عباسی بروجنی 1397
  15. تحلیل و مدل سازی جبری خدمات وب
    محمد اصغریان سالکویه 1397
  16. تحلیل جبری معماری خط تولید نرم افزار
    وحید یاری زاده 1397
  17. پالایش صوری کدهای مبهم
    حمیدرضا ابتهاج 1397
  18. مدل سازی پیمانه ای و تحلیل صوری سیستم های سایبر فیزیکی
    ایمان جهاندیده 1397
  19. طرح سیستم فایل مشتری برای شبکه های ابری
    سیدمجید رضویان 1396
  20. اثبات ویژگی های شبکه اقتضایی برروی معادلات خطی جبر پردازه
    ریحانه امیرابادی فراهانی 1396
  21. مدل سازی و تحلیل اکتورها با قابلیت همه پخشی
    بهناز یوسفی 1396
  22. ارزیابی روشهای تامین حریم خصوصی در شبکه های حسگر بیسیم
    هژیر درخشی 1396