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

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

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

استادیار

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

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

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

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

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

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

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