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

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

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

پروفایل

  • همکاری در برنامه اراسموس پالس در پروژه "Things of Internet in Engineering of Master " ۱۴۰۰←۱۴۰۰

تحصیلات / تحصیلات تکمیلی

Ph.D ، صنعتی شریف ، مهندسی کامپیوتر

۱۳۸۴ ← ۱۳۹۰

M.S ، دانشگاه اصفهان ، مهندسی کامپیوتر

۱۳۸۳ ← ۱۳۸۴

کارشناسی ، دانشگاه تهران ، مهندسی کامپیوتر

۱۳۷۹ ← ۱۳۸۳

کلمات کلیدی


Chart
وارسی مدلتحلیل پروتکلخودکاره ی ترکیبییادگیری مدلphysical systemsهیبرید ربکاتحلیل دسترس پذیریسیستم گذار زمانیسیستم های سایبرفیزیکیcyberهمارزی برنامهمشکل vendor lockربکامدل سازیفایل سیستمتضمینschedulingreachability analysismodel checkingprotocol analysishybrid rebecahybrid automatonprogram equivalenceآسیب پذیری ها و حملاتverificationهمه پخشیسیستم های سایبر فیزیکیsmart contractsمدل اکتورactor modelmcrl۲ languageشبکه ابریوازگان کلیدی : ذخیره ساز ابریدرستی یابی صوریخاصیت های ایمنیمدل سازی اکتورهادرستی یابی سیستم های درحال تحولزنجیره بلوکیسیستم های توزیع شده ی ناهمگامvulnerabilities and attacksblockchainاستدلال فرضکلید واژه ها:و تحلیل اکتورهاچند ابریmodel learningزمان بندیinformal methodstime transition systemmodelingrebecaقراردادهای هوشمنددرستی سنجیزبان mcrl۲سیستم های گذار برچسب دارHighcharts.com
End of interactive chart.