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

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

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

Assistant Professor

Update: 2024-11-21

Fatemeh Ghassemi Esfahani

College of Engineering / Electrical and Computer ENG

P.H.D dissertations

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

Master Theses

تشخیص رفتار ناهنجار در داده های سری زمانی شاخص های کارایی
سیدمصطفی جلالی ضیابری 2024
ارائه روش آزمون کارا برای سیستم های مبتنی بر شبکه های عصبی
پارسا کرباسی زاده اصفهانی 2024
ارزيابي فرايند توزيع كليد در شبكه هاي بيسيم حسگر
پیام موسوی 2023
پالايش صوري كدهاي مبهم
حمیدرضا ابتهاج 2023
طرح سيستم فايل مشتري براي شبكه هاي ابري
سیدمجید رضویان 2023
مدل سازی و آنالیز الگوریتم های زمان بندی در سیستم های سایبر فیزیکی
مهدی گلپایگانی 2023
استخراج مدل صوری رفتار کاربران در شبکه های اجتماعی با استفاده از روش یادگیری ماشین و خودکاره
نگار کاشف 2023
مدل سازی و درستی سنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نازنین ترابی گودرزی 2023
شناسایی اثر انگشت برنامه‌های تحت شبکه با ادغام روش‌های یادگیری ماشین و خودکاره
فاطمه مرزانی 2022
یادگیری فعال برنامه های تحت شبکه
علی محمدی 2021
تحلیل صوری سیستم های سایبر-فیزیکی بر پایه ی هیبرید ربکا
سعید ژیانی قوشخانه 2020
مدلسازی و تحلیل صوری سیستم ها با توجه به الگوهای ارتباطی
سیده مهسا زرنشان 2020
وارسي مدل هاي شبكه هاي اقتضايي با استفاده از قيود شبكه
سعیده احمدی 2018
تحليل جبري معماري خط توليد نرم افزار
وحید یاری زاده 2018
درستي يابي سيستمهاي توزيع شده شامل مولفه هاي نامشخص
رزا عباسی بروجنی 2018
تحليل و مدل سازي جبري خدمات وب
محمد اصغریان سالکویه 2018
مدل سازي پيمانه اي و تحليل صوري سيستم هاي سايبر فيزيكي
ایمان جهاندیده 2018
خود وفقي سازي الگوريتمهاي شبكه حسگر با استفاده از روشهاي صوري
غزاله جهاندوست مرغوب 2018
ارزيابي روشهاي تامين حريم خصوصي در شبكه هاي حسگر بيسيم
هژیر درخشی 2018
مدل سازي و تحليل اكتورها با قابليت همه پخشي
بهناز یوسفی 2018
اثبات ويژگي هاي شبكه اقتضايي برروي معادلات خطي جبر پردازه
ریحانه امیرابادی فراهانی 2018