دانشکده مهندسی برق و کامپیوتر

دانشگاه تهران

پروفایل اساتید - ece- دانشکده مهندسی برق و کامپیوتر

دانشیار

تاریخ به‌روزرسانی: 1405/07/01

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

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

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

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

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

پیش بینی منابع مورد نیاز برای سرویس های ابری
علی سلیمی 1405
مدل سازی تحلیل پذیر برنامه های کاربردی بی درنگ در حوزه خودرو بر اساس MARTE
سیدحسین شندآبادی 1404
مدل سازی تحلیل پذیر سکوی سیستم های بی درنگ بر اساس MARTE: یک مطالعه موردی در حوزه خودرو
حسین رحیمی 1404
راستی آزمایی غیرمتمرکز توالی پیام در سیستم های توزیع شده ناهمگام در زمان اجرا با تحمل پذیری خطا
حانیه ناصری 1403
استفاده از روش های رسمی برای ارزیابی ایمنی نرم افزارهای نهفته
پیمان شعبانی 1403
تشخیص رفتار ناهنجار در داده های سری زمانی شاخص های کارایی
سیدمصطفی جلالی ضیابری 1403
ارائه روش آزمون کارا برای سیستم های مبتنی بر شبکه های عصبی
پارسا کرباسی زاده اصفهانی 1402
وارسی مدل های شبکه های اقتضایی با استفاده از قیود شبکه
سعیده احمدی 1402
درستی یابی سیستمهای توزیع شده شامل مولفه های نامشخص
رزا عباسی بروجنی 1402
طرح سیستم فایل مشتری برای شبکه های ابری
سیدمجید رضویان 1402
مدل سازی و تحلیل اکتورها با قابلیت همه پخشی
بهناز یوسفی 1402
پالایش صوری کدهای مبهم
حمیدرضا ابتهاج 1402
مدل سازی و آنالیز الگوریتم های زمان بندی در سیستم های سایبر فیزیکی
مهدی گلپایگانی 1402
استخراج مدل صوری رفتار کاربران در شبکه های اجتماعی با استفاده از روش یادگیری ماشین و خودکاره
نگار کاشف 1402
مدل سازی و درستی سنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نازنین ترابی گودرزی 1402
شناسایی اثر انگشت برنامه‌های تحت شبکه با ادغام روش‌های یادگیری ماشین و خودکاره
فاطمه مرزانی 1401
یادگیری فعال برنامه های تحت شبکه
علی محمدی 1400
تحلیل صوری سیستم های سایبر-فیزیکی بر پایه ی هیبرید ربکا
سعید ژیانی قوشخانه 1399
مدلسازی و تحلیل صوری سیستم ها با توجه به الگوهای ارتباطی
سیده مهسا زرنشان 1399
تحلیل و مدل سازی جبری خدمات وب
محمد اصغریان سالکویه 1397
ارزیابی فرایند توزیع کلید در شبکه های بیسیم حسگر
پیام موسوی 1397
تحلیل جبری معماری خط تولید نرم افزار
وحید یاری زاده 1397
مدل سازی پیمانه ای و تحلیل صوری سیستم های سایبر فیزیکی
ایمان جهاندیده 1397
ارزیابی روشهای تامین حریم خصوصی در شبکه های حسگر بیسیم
هژیر درخشی 1396
اثبات ویژگی های شبکه اقتضایی برروی معادلات خطی جبر پردازه
ریحانه امیرابادی فراهانی 1396
خود وفقی سازی الگوریتمهای شبکه حسگر با استفاده از روشهای صوری
غزاله جهاندوست مرغوب 1396