پروفایل اعضا - دانشکده فیزیک physics
Assistant Professor
Update: 2025-04-23
Ramtin Khosravi
College of Engineering / Electrical and Computer ENG
P.H.D dissertations
Master Theses
-
تولید خودکار آزمایه برای سامانه های پردازش تراکنش های مالی بر مبنای روش آزمون تصادفی تطبیقی
مهدی خرسندآسیابری 2024 -
بررسی رابطه مهارت های آموخته شده مهندسی فناوری شبکه های رایانه ای در دانشگاه علمی و کاربردی با نیازهای بازار کار
الهام پیری 2024 -
تحليل درشت دانگي در وارسي مدل برنامه هاي مبتني بر اكتور
محسن فضائلی 2023 -
آزمون مبتني بر مدل با استفاده از توصيف هاي ربكا
علیرضا طالبی پورآقاباقر 2023 -
آزمون مبتني بر مدل خط محصول نرم افزار
آیرین غفاری 2023 -
يكپارچه سازي روشهاي كاركردي و ساختاري در آزمون مبتني برمدل
حمیدرضا اسعدی 2023 -
مديريت تغيير پذيري در لايه واسط كاربر خطوط محصول نرم افزارهاي مبتني بر وب
سجاد بهمنی 2023 -
معماري نرم افزار در متدولوژي هاي چابك توسعه نرم افزار
عاطفه موفقی 2023 -
اعتبارسنجي مدل هاي شبيه سازي با استفاده از روشهاي آزمون
عباس محمودی مرکید 2023 -
مدلسازي و وارسي مدل سيستمهاي احتمالي مبتني بر اكتور
مهسا ورشوساز 2023 -
بررسي انطباق معماري با كد نرم افزار
راضیه رحیمی 2023 -
مدل سازي و تحليل اكتورها با قابليت همه پخشي
بهناز یوسفی 2023 -
بررسي روشهاي تجريد مدلهاي ربكا به منظور درستي يابي صوري
حمیده صبوری قمی 2023 -
بهينه سازي آزمونگر ربكا
هومن بنده مقدم 2023 -
ارزيابي كاربردپذيري زبان مدل سازي ربكا
جمال اخگری 2023 -
نگاشت كاربردهاي مبتني بر اكتور بر شبكه هاي روي تراشه
طیبه صادقی 2023 -
روشي براي بيشينه سازي انتشار تاثير در شبكه هاي اجتماعي
مهدی حیدری 2023 -
معنا شناسي و تحليل زبان ريو با منطق رابطه اي
مصطفی زالی 2023 -
طراحي منطق دامنه بر اساس تبادل ناهمگام پيغام
وحید ذوقی شال 2023 -
مدلسازی و درستی‌سنجی سازوکارهای ترمیم در سیستمهای توزیع شده
محمدحسین عبدی زرویجانی 2023 -
بررسی تاثیر به کارگیری مدل اکتور بر کارایی هسته معاملات
سارا کریمی 2022 -
مدلسازی منطق پردازش تراکنش با زبان‌های تابعی
هادی صفری 2022 -
تولید خودکار داده های آزمون برای منطق دامنه ی شی گرا
مریم عزتی 2022 -
آزمون مبتنی بر مدل نرم‌افزارهای نهفته‌ی صنعتی بر اساس توصیف مبتنی بر قاعده
علی حبیبی 2021 -
بررسي ويژگي اتصال در سيستم هاي چند رباتي با شعاع ارتباطي محدود
سیدمرتضی معنوی 2019 -
تحليل سيستمهاي توزيع شده در زمان اجرا با استفاده از خصوصيات زمان دار
محمدعلی درستی مطلق 2019 -
مدل سازي و درستي يابي سيستم هاي اكتور زمان دار با بازه هاي زماني
شقایق توسلی 2019 -
درستي يابي سيستمهاي توزيع شده شامل مولفه هاي نامشخص
رزا عباسی بروجنی 2018 -
طراحي معماري نرم افزارهاي سازماني با كاربردپذيري بالا
پرستو دیداری 2018 -
به كارگيري محتواي وب در سيستمهاي پيشنهادگر وب
شقایق صاحبی 2018 -
مدلسازي تغيير پذيري در خط توليد سيستمهاي اطلاعاتي
مریم رضویان 2018 -
ارائه یک مدل مبتنی بر اکتور برای مدلسازی و درستی یابی سیستمهای بلادرنگ
محمدجواد ایزدی نجف ابادی 2018 -
نگاشت پوياي اكتور به ريسمان
فهیمه راحمی 2018 -
ارائه يك چار چوب براي يك سيستم تعاملي مبتني بر مدل سازي براي توسعه سريع برنامه هاي كاربردي
مصطفی توکلی نیا 2018 -
اجراي پيش بيني پذير برنامه هاي اكتور در جاوا
اروین ذاکریان 2018 -
مدل سازي و درستي يابي سيستم هاي اكتور با توپولوژي پويا
پوریا ملتی 2018 -
به كارگيري زبان مدلسازي Alloy در روش طراحي مبتني بر دامنه
سیده حوری نسا اسوده خلجانی 2018 -
استفاده از زبانهاي خاص دامنه در مدلسازي معماري نرم افزار
امیررضا یزدان شناس 2018 -
مدل سازي و تحليل اكتورهاي زمان دار مبتني بر منطق بازنويسي
زینب صباحی کاویانی 2018 -
پروژه تخصصي
محمودرضا فتحی خلف بادام 2018