رامتین خسروی

رامتین خسروی

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

پروفایل

  • عضو دوره پنجم هیئت مدیره انجمن آموزش مهندسی ۱۴۰۰←۱۴۰۳

تحصیلات / تحصیلات تکمیلی

Ph.D ، دانشگاه صنعتی شریف ، مهندسی کامپیوتر

۱۳۷۶ ← ۱۳۸۵

کارشناسی ارشد ، دانشگاه صنعتی شریف ، مهندسی کامپیوتر

۱۳۷۴ ← ۱۳۸۵

B.S ، دانشگاه صنعتی شریف ، مهندسی کامپیوتر

۱۳۷۰ ← ۱۳۸۵

کلمات کلیدی

Chart
آزمون مبتنی بر مدلمدل اکتوروارسی مدلآزمون مبتنی بر جستجوآزمون مبتنی بر توصیفbased testingسیستم معاملاتیmodelسیستم تطبیقدرستی یابی صوریتولید خودکار آزمایهمحاسبات با کارایی بالاtemporal logicfunctional programmingمورد آزمونتضمینتوسعه نرم افزار نابزبانهمنطق زمانیmodel checkingsearchچهارچوب آزمونسیستم های توزیع شدهمنطق محاسباتی درختیalgorithmsگراف حالتقواعد در عرض زبان هاتوسعه نرم افزار چابکمعماری نرم افزارtrading systemsmodel actorautomatic test case generationمهندسی متدولوژیتصدیق برنامه های رایانه ایارزیابی مبتنی بر معیارهسکلهمه پخشیformal specificationنگاشتخط محصول نرم افزارactor modelمدل فرآیندهای کسب و کارواژه¬های کلیدی: بررسی انطباقsoftware testingربکای زمان دارسیستم های بی درنگ(rebeca (computer program languageروش افراز رده ایآزمون نرم افزارformal verificationhigh performance computingخاصیت های ایمنیcomputational tree logicدرستی یابی سیستم های درحال تحولمدل سازی اکتورهاآزمون نرم افزار به همراه دادهطراحی مبتنی بر مدلسیستم های توزیع شده ی ناهمگاممنطق بازنویسیالگوریتم هاverification of computer programsمدل فرآیندبرنامه نویسی تابعیتوصیف رسمینماد گذاری مدل سازی فرآیند کسب و کاراستدلال فرضکلید واژه ها:و تحلیل اکتورهاکد چندشبکه های روی تراشهdistributed systemsربکا (زبان برنامه نویسی رایانه ای)مدل اکتور و خوشه بندیhaskellسیستم های همروندتولید خودکار آزمونorder matching systemspecificationسیستم های گذار برچسب دارطراحی واسط کاربر وبماد بی درنگHighcharts.com
End of interactive chart.