menu
Ramtin Khosravi

Assistant Professor

Update: 2024-12-04

Ramtin Khosravi

College of Engineering / Electrical and Computer ENG

P.H.D dissertations

  1. درستی‌یابی ویژگی‌های مبتنی بر قابلیت‌دید برای ربات‌های متحرک
    علی نارنجی ششکلانی 2020
  2. مدل‌سازي، درستي‌يابي و تحليل سيستم‌هاي مبتني بر مدل اكتور زماني
    احسان خامس پناه 2018
  3. مدلسازي صوري و وارسي خطوط محصول نرم افزار
    حمیده صبوری قمی 2018

Master Theses

  1. تولید خودکار آزمایه برای سامانه های پردازش تراکنش های مالی بر مبنای روش آزمون تصادفی تطبیقی
    مهدی خرسنداسیابری 2024
  2. بررسی رابطه مهارت های آموخته شده مهندسی فناوری شبکه های رایانه ای در دانشگاه علمی و کاربردی با نیازهای بازار کار
    الهام پیری 2024
  3. اعتبارسنجي مدل هاي شبيه سازي با استفاده از روشهاي آزمون
    عباس محمودی مرکید 2023
  4. نگاشت پوياي اكتور به ريسمان
    فهیمه راحمی 2023
  5. تحليل درشت دانگي در وارسي مدل برنامه هاي مبتني بر اكتور
    محسن فضائلی 2023
  6. يكپارچه سازي روشهاي كاركردي و ساختاري در آزمون مبتني برمدل
    حمیدرضا اسعدی 2023
  7. استفاده از زبانهاي خاص دامنه در مدلسازي معماري نرم افزار
    امیررضا یزدان شناس 2023
  8. معماري نرم افزار در متدولوژي هاي چابك توسعه نرم افزار
    عاطفه موفقی 2023
  9. آزمون مبتني بر مدل با استفاده از توصيف هاي ربكا
    علیرضا طالبی پورآقاباقر 2023
  10. معنا شناسي و تحليل زبان ريو با منطق رابطه اي
    مصطفی زالی 2023
  11. به كارگيري محتواي وب در سيستمهاي پيشنهادگر وب
    شقایق صاحبی 2023
  12. ارائه يك چار چوب براي يك سيستم تعاملي مبتني بر مدل سازي براي توسعه سريع برنامه هاي كاربردي
    مصطفی توکلی نیا 2023
  13. مدل سازي و تحليل اكتورهاي زمان دار مبتني بر منطق بازنويسي
    زینب صباحی کاویانی 2023
  14. بررسي روشهاي تجريد مدلهاي ربكا به منظور درستي يابي صوري
    حمیده صبوری قمی 2023
  15. به كارگيري زبان مدلسازي Alloy در روش طراحي مبتني بر دامنه
    سیده حوری نسا اسوده خلجانی 2023
  16. نگاشت كاربردهاي مبتني بر اكتور بر شبكه هاي روي تراشه
    طیبه صادقی 2023
  17. طراحي منطق دامنه بر اساس تبادل ناهمگام پيغام
    وحید ذوقی شال 2023
  18. روشي براي بيشينه سازي انتشار تاثير در شبكه هاي اجتماعي
    مهدی حیدری 2023
  19. اجراي پيش بيني پذير برنامه هاي اكتور در جاوا
    آروین ذاکریان 2023
  20. مدلسازي تغيير پذيري در خط توليد سيستمهاي اطلاعاتي
    مریم رضویان 2023
  21. مدل‌سازی و درستی‌سنجی سازوکارهای ترمیم در سیستم‌های توزیع شده
    محمدحسین عبدی زرویجانی 2023
  22. بررسی تاثیر به کارگیری مدل اکتور بر کارایی هسته معاملات
    سارا کریمی 2022
  23. ارائه يك مدل مبتني بر اكتور براي مدلسازي و درستي يابي سيستمهاي بلادرنگ
    محمدجواد ایزدی نجف آبادی 2022
  24. مدل‌سازی منطق پردازش تراکنش با زبان‌های تابعی
    هادی صفری 2022
  25. تولید خودکار داده های آزمون برای منطق دامنه ی شی گرا
    مریم عزتی 2022
  26. آزمون مبتنی بر مدل نرم‌افزارهای نهفته‌ی صنعتی بر اساس توصیف مبتنی بر قاعده
    علی حبیبی 2021
  27. بررسي ويژگي اتصال در سيستم هاي چند رباتي با شعاع ارتباطي محدود
    سیدمرتضی معنوی 2019
  28. تحليل سيستم‌هاي توزيع شده در زمان اجرا با استفاده از خصوصيات زمان دار
    محمدعلی درستی مطلق 2019
  29. مدل سازي و درستي يابي سيستم هاي اكتور زمان دار با بازه هاي زماني
    شقایق توسلی 2019
  30. ارزيابي كاربردپذيري زبان مدل سازي ربكا
    جمال اخگری 2019
  31. درستي يابي سيستمهاي توزيع شده شامل مولفه هاي نامشخص
    رزا عباسی بروجنی 2018
  32. مدلسازي و وارسي مدل سيستمهاي احتمالي مبتني بر اكتور
    مهسا ورشوساز 2018
  33. بهينه سازي آزمونگر ربكا
    هومن بنده مقدم 2018
  34. طراحي معماري نرم افزارهاي سازماني با كاربردپذيري بالا
    پرستو دیداری 2018
  35. آزمون مبتني بر مدل خط محصول نرم افزار
    آیرین غفاری 2018
  36. پروژه تخصصي
    محمودرضا فتحی خلف بادام 2018
  37. مدل سازي و تحليل اكتورها با قابليت همه پخشي
    بهناز یوسفی 2018
  38. مديريت تغيير پذيري در لايه واسط كاربر خطوط محصول نرم افزارهاي مبتني بر وب
    سجاد بهمنی 2018
  39. مدل سازي و درستي يابي سيستم هاي اكتور با توپولوژي پويا
    پوریا ملتی 2018
  40. بررسي انطباق معماري با كد نرم افزار
    راضیه رحیمی 2018