رامتین خسروی

رامتین خسروی

مرتبه علمی : استادیار
دانشکدگان فنی / دانشکده مهندسی برق و کامپیوتر
نرم افزار
شماره تماس : ۸۲۰۸۴۹۱۸
اتاق : ۲-۵۰۸
Scopus
  • ۴۱۸ ارجاعات
  • ۱۲ h-Index
تا تاریخ : ۱۴۰۴/۰۳/۱۲
Google Scholar
  • ۷۶۸ ارجاعات
  • ۱۵ h-Index
تا تاریخ : ۱۴۰۴/۰۲/۲۲

پایان نامه ها و رساله ها

  • ۷۱ پایان نامه ها

بررسی رابطه مهارت های آموخته شده مهندسی فناوری شبکه های رایانه ای در دانشگاه علمی و کاربردی با نیازهای بازار کار

الهام پیری (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۳/۷/۲۴) ، رامتین خسروی، روح اله عابدیان، محمد دادرس

تولید خودکار آزمایه برای سامانه های پردازش تراکنش های مالی بر مبنای روش آزمون تصادفی تطبیقی

مهدی خرسنداسیابری (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۳/۶/۲۸) ، رامتین خسروی
آزمون نرم افزار
software testing

یادگیری تطبیقی مدل برای خط محصول های نرم افزار

شقایق توسلی (دانشجو مقطع: دکتری. تاریخ دفاع: ۱۴۰۳/۱۱/۱۰) ، رامتین خسروی

مدل‌سازی و درستی‌سنجی سازوکارهای ترمیم در سیستم‌های توزیع شده

محمدحسین عبدی زرویجانی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۲/۶/۲۷) ، رامتین خسروی
مدل اکتور
وارسی مدل
درستی یابی صوری
سیستم های توزیع شده
model checking
formal verification
actor model
distributed systems

مدل‌سازی منطق پردازش تراکنش با زبان‌های تابعی

هادی صفری (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۱/۶/۹) ، رامتین خسروی
آزمون مبتنی بر مدل
model
based testing
آزمون نرم افزار
برنامه نویسی تابعی
توصیف رسمی
هسکل
formal specification
functional programming
haskell
software testing

بررسی تاثیر به کارگیری مدل اکتور بر کارایی هسته معاملات

سارا کریمی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۱/۶/۲۷) ، رامتین خسروی
مدل اکتور
محاسبات با کارایی بالا
سیستم معاملاتی
سیستم تطبیق
high performance computing
model actor
order matching system
trading systems

تولید خودکار داده های آزمون برای منطق دامنه ی شی گرا

مریم عزتی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۰/۷/۶) ، رامتین خسروی

آزمون مبتنی بر مدل نرم‌افزارهای نهفته‌ی صنعتی بر اساس توصیف مبتنی بر قاعده

علی حبیبی (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۴۰۰/۶/۳۰) ، رامتین خسروی
آزمون مبتنی بر مدل
آزمون مبتنی بر توصیف
آزمون مبتنی بر جستجو
تولید خودکار آزمایه
model
based testing
automatic test case generation
search
specification

درستی‌یابی ویژگی‌های مبتنی بر قابلیت‌دید برای ربات‌های متحرک

علی نارنجی ششکلانی (دانشجو مقطع: دکتری. تاریخ دفاع: ۱۳۹۹/۳/۲۶) ، رامتین خسروی

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

محمدعلی درستی مطلق (دانشجو مقطع: کارشناسی ارشد. تاریخ دفاع: ۱۳۹۸/۶/۲۵) ، فتحیه فقیه خراسانی، رامتین خسروی