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

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

مرتبه علمی : استادیار
دانشکدگان فنی / دانشکده مهندسی برق و کامپیوتر
نرم افزار
شماره تماس : ۸۲۰۸۴۹۹۵
اتاق : ۲-۶۱۱
Scopus
  • ۱۷۹ ارجاعات
  • ۷ h-Index
تا تاریخ : ۱۴۰۴/۰۱/۱۳
Google Scholar
  • ۳۵۶ ارجاعات
  • ۱۱ h-Index
تا تاریخ : ۱۴۰۳/۱۲/۱۳

پایان نامه ها و رساله ها

  • ۲۹ پایان نامه ها

تشخیص رفتار ناهنجار در داده های سری زمانی شاخص های کارایی

سیدمصطفی جلالی ضیابری (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۳/۶/۲۸) ، فاطمه قاسمی اصفهانی

استفاده از روش های رسمی برای ارزیابی ایمنی نرم افزارهای نهفته

پیمان شعبانی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۳/۶/۲۸) ، مهدی کارگهی، فاطمه قاسمی اصفهانی
model checking

شناسایی خودکار مدل رفتاری کاربردهای تحت شبکه

زینب صباحی کاویانی (دانشجو مقطع: دکتری. تاریخ دفاع: ۱۴۰۳/۶/۲۰) ، فاطمه قاسمی اصفهانی

راستی آزمایی غیرمتمرکز توالی پیام در سیستم های توزیع شده ناهمگام در زمان اجرا با تحمل پذیری خطا

حانیه ناصری (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۳/۱۱/۲۹) ، فاطمه قاسمی اصفهانی

مدل سازی و آنالیز الگوریتم های زمان بندی در سیستم های سایبر فیزیکی

مهدی گلپایگانی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۲/۷/۲۹) ، فاطمه قاسمی اصفهانی، مرجان سیرجانی
cyber
physical systems
زمان بندی
مدل اکتور
ربکا
scheduling
actor model
سیستم های سایبر فیزیکی
rebeca

استخراج مدل صوری رفتار کاربران در شبکه های اجتماعی با استفاده از روش یادگیری ماشین و خودکاره

نگار کاشف (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۲/۶/۲۰) ، فاطمه قاسمی اصفهانی
modeling

مدل سازی و درستی سنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها

نازنین ترابی گودرزی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۲/۶/۱۹) ، فاطمه قاسمی اصفهانی، حسین حجت
وارسی مدل
درستی سنجی
مدل سازی
modeling
زنجیره بلوکی
قراردادهای هوشمند
model checking
blockchain
smart contracts
زبان mcrl۲
آسیب پذیری ها و حملات
vulnerabilities and attacks
verification
mcrl۲ language

ارائه روش آزمون کارا برای سیستم های مبتنی بر شبکه های عصبی

پارسا کرباسی زاده اصفهانی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۲/۱۰/۱۲) ، فاطمه قاسمی اصفهانی، فتحیه فقیه خراسانی

شناسایی اثر انگشت برنامه‌های تحت شبکه با ادغام روش‌های یادگیری ماشین و خودکاره

فاطمه مرزانی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۱/۶/۲۲) ، فاطمه قاسمی اصفهانی

تحلیل صوری پدیده انتشار در شبکه های اجتماعی

زهرا معزکریمی (دانشجو مقطع: دکتری. تاریخ دفاع: ۱۴۰۱/۶/۲۰) ، فاطمه قاسمی اصفهانی