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

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

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

استادیار

تاریخ به‌روزرسانی: 1403/02/21

رامتین خسروی

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

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

درستی‌یابی ویژگی‌های مبتنی بر قابلیت‌دید برای ربات‌های متحرک
علی نارنجی ششکلانی 1399
مدلسازی صوری و وارسی خطوط محصول نرم افزار
حمیده صبوری قمی 1396
مدل‌سازی، درستی‌یابی و تحلیل سیستم‌های مبتنی بر مدل اکتور زمانی
احسان خامس پناه 1396

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

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