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

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

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

دانشیار

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

رامتین خسروی

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

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

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

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

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