پروفایل اساتید - ece- دانشکده مهندسی برق و کامپیوتر
Associate Professor
Update: 2026-09-23
Ramtin Khosravi
دانشکده مهندسی برق و کامپیوتر / گروه آموزشی مهندسی کامپیوتر- نرم افزار
P.H.D dissertations
-
تحلیل ایستای سیاستهای حریم خصوصی مبتنی بر مقصود در سیستم های اکتور
شهرزاد ریاحی چالشتری 2026 -
یادگیری تطبیقی مدل برای خط محصول های نرم افزار
شقایق توسلی 2025 -
درستی‌یابی ویژگی‌های مبتنی بر قابلیت‌دید برای ربات‌های متحرک
علی نارنجی ششکلانی 2020 -
مدلسازي صوري و وارسي خطوط محصول نرم افزار
حمیده صبوری قمی 2018 -
مدلسازي، درستي‌يابي و تحليل سيستمهاي مبتني بر مدل اكتور زماني
احسان خامس پناه 2018
Master Theses
-
به کارگیری فنون آزمون رگرسیون در آزمون خطوط محصول نرم افزار
شهریار پیرعلیلو 2025 -
مطالعه اثر بخشی آزمون مبتنی بر ویژگی سرویس های نرم افزاری سازمانی
پویا فکری 2025 -
تولید خودکار آزمایه برای سامانه های پردازش تراکنش های مالی بر مبنای روش آزمون تصادفی تطبیقی
مهدی خرسندآسیابری 2024 -
بررسی رابطه مهارت های آموخته شده مهندسی فناوری شبکه های رایانه ای در دانشگاه علمی و کاربردی با نیازهای بازار کار
الهام پیری 2024 -
مديريت تغيير پذيري در لايه واسط كاربر خطوط محصول نرم افزارهاي مبتني بر وب
سجاد بهمنی 2023 -
آزمون مبتني بر مدل خط محصول نرم افزار
آیرین غفاری 2023 -
بررسي انطباق معماري با كد نرم افزار
راضیه رحیمی 2023 -
يكپارچه سازي روشهاي كاركردي و ساختاري در آزمون مبتني برمدل
حمیدرضا اسعدی 2023 -
معماري نرم افزار در متدولوژي هاي چابك توسعه نرم افزار
عاطفه موفقی 2023 -
مدلسازي و وارسي مدل سيستمهاي احتمالي مبتني بر اكتور
مهسا ورشوساز 2023 -
تحليل درشت دانگي در وارسي مدل برنامه هاي مبتني بر اكتور
محسن فضائلی 2023 -
روشي براي بيشينه سازي انتشار تاثير در شبكه هاي اجتماعي
مهدی حیدری 2023 -
طراحي منطق دامنه بر اساس تبادل ناهمگام پيغام
وحید ذوقی شال 2023 -
ارزيابي كاربردپذيري زبان مدل سازي ربكا
جمال اخگری 2023 -
مدل سازي و تحليل اكتورهاي زمان دار مبتني بر منطق بازنويسي
زینب صباحی کاویانی 2023 -
درستي يابي سيستمهاي توزيع شده شامل مولفه هاي نامشخص
رزا عباسی بروجنی 2023 -
مدلسازي تغيير پذيري در خط توليد سيستمهاي اطلاعاتي
مریم رضویان 2023 -
به كارگيري محتواي وب در سيستمهاي پيشنهادگر وب
شقایق صاحبی 2023 -
بهينه سازي آزمونگر ربكا
هومن بنده مقدم 2023 -
معنا شناسي و تحليل زبان ريو با منطق رابطه اي
مصطفی زالی 2023 -
مدل‌سازی و درستی‌سنجی سازوکارهای ترمیم در سیستم‌های توزیع شده
محمدحسین عبدی زرویجانی 2023 -
بررسی تاثیر به کارگیری مدل اکتور بر کارایی هسته معاملات
سارا کریمی 2022 -
ارائه يك مدل مبتني بر اكتور براي مدلسازي و درستي يابي سيستمهاي بلادرنگ
محمدجواد ایزدی نجف آبادی 2022 -
مدل‌سازی منطق پردازش تراکنش با زبان‌های تابعی
هادی صفری 2022 -
تولید خودکار داده های آزمون برای منطق دامنه ی شی گرا
مریم عزتی 2022 -
آزمون مبتنی بر مدل نرم‌افزارهای نهفته‌ی صنعتی بر اساس توصیف مبتنی بر قاعده
علی حبیبی 2021 -
بررسي ويژگي اتصال در سيستم هاي چند رباتي با شعاع ارتباطي محدود
سیدمرتضی معنوی 2019 -
تحليل سيستمهاي توزيع شده در زمان اجرا با استفاده از خصوصيات زمان دار
محمدعلی درستی مطلق 2019 -
مدل سازي و درستي يابي سيستم هاي اكتور زمان دار با بازه هاي زماني
شقایق توسلی 2019 -
طراحي معماري نرم افزارهاي سازماني با كاربردپذيري بالا
پرستو دیداری 2018 -
بررسي روشهاي تجريد مدلهاي ربكا به منظور درستي يابي صوري
حمیده صبوری قمی 2018 -
به كارگيري زبان مدلسازي Alloy در روش طراحي مبتني بر دامنه
سیده حوری نسا اسوده خلجانی 2018 -
ارائه يك چار چوب براي يك سيستم تعاملي مبتني بر مدل سازي براي توسعه سريع برنامه هاي كاربردي
مصطفی توکلی نیا 2018 -
پروژه تخصصي
محمودرضا فتحی خلف بادام 2018 -
مدل سازي و تحليل اكتورها با قابليت همه پخشي
بهناز یوسفی 2018 -
مدل سازي و درستي يابي سيستم هاي اكتور با توپولوژي پويا
پوریا ملتی 2018 -
نگاشت كاربردهاي مبتني بر اكتور بر شبكه هاي روي تراشه
طیبه صادقی 2018 -
اعتبارسنجي مدل هاي شبيه سازي با استفاده از روشهاي آزمون
عباس محمودی مرکید 2018 -
نگاشت پوياي اكتور به ريسمان
فهیمه راحمی 2018 -
اجراي پيش بيني پذير برنامه هاي اكتور در جاوا
اروین ذاکریان 2018 -
آزمون مبتني بر مدل با استفاده از توصيف هاي ربكا
علیرضا طالبی پورآقاباقر 2018 -
استفاده از زبانهاي خاص دامنه در مدلسازي معماري نرم افزار
امیررضا یزدان شناس 2018