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

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

مرتبه علمی : استادیار
دانشکدگان فنی / دانشکده مهندسی برق و کامپیوتر
نرم افزار
شماره تماس : ۸۲۰۸۴۹۹۵
اتاق : ۲-۶۱۱
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

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

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

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

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

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

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