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

استادیار

تاریخ به‌روزرسانی: 1404/02/25

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

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

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

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