سرپرست گروه

بهمن زمانی

سرپرست گروه

98-31-37934537+

بهمن زمانی مدرک کارشناسی خود را از دانشگاه اصفهان (اصفهان - ايران) در سال 1369 و مدرک کارشناسی‌ارشد خود را از دانشگاه صنعتی شريف (تهران - ايران) در سال 1375 در رشته‌ی مهندسی کامپيوتر (نرم‌افزار) دريافت نموده است. او موفق به اخذ درجه‌ی دکتري در رشته‌ی علوم کامپيوتر از دانشگاه کنکورديا (مونترال - کانادا) در سال 1388 شده است. وی از سال 1376 تا 1382 به‌عنوان عضو هیات علمی پژوهشی در سازمان پژوهش‌های علمی و صنعتی ایران (پژوهشکده اصفهان) مشغول به‌کار بوده است. دکتر زمانی در سال ۱۳۸۸ به‌عنوان استادیار به دانشکده مهندسی کامپیوتر دانشگاه اصفهان پیوست و در سال 1397 به مرتبه دانشیار ارتقاء یافت. زمینه تحقیقاتی دکتر زمانی مهندسی نرم‌افزار مدل‌رانده بوده و وی مؤسس و مدیر گروه پژوهشی به همین نام در دانشگاه اصفهان می‌باشد.
بیشتر

همکاران

شکوفه کلاه‌دوز رحیمی

همکار

98-31-37935641+

شکوفه کلاه‌دوز رحیمی استادیار دانشکده‌ی مهندسی کامپیوتر در دانشگاه اصفهان است. او به عنوان یک عضو فعال در گروه پژوهشی مهندسی نرم‌افزار مدل‌رانده این دانشگاه فعالیت دارد. وی مدرک دکترای خود را در سال 1392 در رشته‌ی علوم کامپیوتر از دانشگاه کینگز کالج لندن دریافت نموده است. زمینه‌های تحقیقاتی مورد علاقه‌ی او طراحی الگوها برای تبدیل مدل، تبیین و اعتبارسنجی تبدیل‌های مدل، تبدیل‌های مدل دوسویه، زبان‌های مدل‌سازی خاص دامنه و مهندسی نرم‌افزار مبتنی بر جستجو می‌باشد.
بیشتر

افسانه فاطمی خوراسگانی

همکار

98-31-37934528+

افسانه فاطمی دارای مدرک کارشناسی مهندسی کامپبوتر- نرم افزار از دانشگاه صنعتی اصفهان در سال 1374، و مدرک کارشناسی ارشد و دکترا از دانشگاه اصفهان در سال‌های 1380 و 1390 می‌باشد. دکتر فاطمی از سال 1391 به عنوان استادیار در دانشکده‌ی مهندسی کامیپوتر دانشگاه اصفهان مشغول به کار است. زمینه‌های تحقیقاتی مورد علاقه‌ی او، شبکه‌های پیچیده، سیستم‌های چندعاملی و مدل‌سازی سیستم‌های واکنش اضطراری می‌باشد. او از سال 1392 با گروه پژوهشی مهندسی نرم‌افزار مدل‌رانده همکاری دارد.
بیشتر

بهروز ترک لادانی

98-31-37934069+

بهروز ترک لادانی دارای مدرک کارشناسی مهندسی کامپیوتر از دانشگاه اصفهان، مدرک کارشناسی ارشد مهندسی نرم‌افزار از دانشگاه صنعتی امیرکبیر و مدرک دکترای مهندسی نرم‌افزار از دانشگاه تربیت مدرس تهران است. او از سال 1384 عضو هیئت علمی دانشگاه اصفهان است و هم‌اکنون به‌عنوان استاد و رئیس دانشکده مهندسی کامپیوتر در این دانشگاه فعالیت می‌کند. زمینه‌ی تحقیقاتی مورد علاقه‌ی او پیرامون مدل‌سازی، تحلیل و وارسی امنیت در سیستم‌های اطلاعاتی شامل امنیت نرم‌افزار (شناسایی آسیب‌پذیری‌ها و تحلیل بدافزار)، و امنیت نرم (اعتماد محاسباتی و کنترل شایعه در شبکه های اجتماعی) می‌باشد.
بیشتر

همکاران بین‌المللی

کِوین لانو

همکار بین‌المللی

کوین لانو استاد دانشگاه کینگز کالج لندن در رشته‌ی مهندسی نرم‌افزار است. تخصص او توسعه‌ی مبتنی بر مدل و تبدیل مدل می‌باشد. او بیش از 150 مقاله و 9 کتاب نوشته است.
بیشتر

وهاب هم‌الحاج

همکار بین‌المللی

وهاب هم‌الحاج استاد مهندسی کامپیوتر و نرم‌افزار در گروه مهندسی برق و کامپیوتر مدرسه جینا کودی در دانشگاه کنکوردیا (کانادا) است.
بیشتر

ژقسون سونیه

همکار بین‌المللی

ژقسون سونیه دانشیار دانشگاه نانت (فرانسه) و سرپرست گروه پژوهشی Naomod در آزمایشگاه علوم دیجیتال نانت (LS2N) می‌باشد.
بیشتر

اِروان باوس

همکار بین‌المللی

اروان باوس دانشیار دانشگاه نانت (فرانسه) در رشته‌ی مهندسی نرم‌افزار است. او عضو گروه تحقیقاتی NaoMod در آزمایشگاه علوم دیجیتال نانت (LS2N) می‌باشد.
بیشتر

محمد حَمدَکا

همکار بین‌المللی

محمد حمدکا استادیار مهمان در دانشگاه واترلو (گروه پژوهشی STAR) کانادا در رشته‌ی مهندسی نرم‌افزار است. او مدرک دکتری خود را از دانشگاه واترلو دریافت نموده است. زمینه‌های تحقیقاتی مورد علاقه‌ی او رایانش ابری، مهندسی مدل‌رانده، زبان‌های مدل‌سازی خاص دامنه، کیفیت نرم‌افزار، امنیت نرم‌افزار، تحلیل شبکه‌های اجتماعی و وب معنایی می‌باشد.
بیشتر

تانیا مایرهافر

همکار بین‌المللی

تانیا مایرهافر محقق پست داک در گروه BIG (Business Informatics Group) است. او دارای مدرک دکترای انفورماتیک کسب و کار از دانشگاه صنعتی وین (اتریش) می‌باشد. تز دکترای او در مورد توسعه‌ی زبان مدل‌سازی قابل اجرا بود. زمینه‌های تحقیقاتی مورد علاقه‌ی تانیا مهندسی نرم‌افزار مدل‌رانده، مهندسی زبان، اجرا، تحلیل و مقایسه‌ی مدل و مهندسی معکوس مدل‌رانده است. او در پروژه‌های تحقیقاتی ملی و بین‌المللی فعالیت داشته است.
بیشتر

دانشجویان دکترا

حامد برنگی

دانشجوی دکترا

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر شکوفه کلاهدوز رحیمی     استاد راهنمای دوم: دکتر بهمن زمانی
بیشتر

زهرا رجایی

دانشجوی دکترا

شروع دوره: مهر 1397
عنوان پايان‌نامه: --
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

عاطفه نیرومند

دانشجوی دکترا

98-31-37934539+

شروع دوره: مهرماه 1397
عنوان پايان‌نامه: --
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر بهروز ترک لادانی
بیشتر

میثم کریمی

دانشجوی دکترا

شروع دوره: مهرماه 1396
عنوان پايان‌نامه: چارچوبی جهت توليد مدل در آزمون تبديل مدل با استفاده از الگوريتم‌های فراابتكاری
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر خاویر ترویا
بیشتر

سمانه حسین دوست

دانشجوی دکترا

98-31-37934539+

شروع دوره: مهرماه 1396
عنوان پايان‌نامه: رویکردی مدل‌رانده برای مدل‌سازی و ارزیابی استراتژی‌های هماهنگی برای واکنش به بحران
استاد راهنما: دکتر بهمن زمانی     استاد راهنمای دوم: دکتر افسانه فاطمی
بیشتر

حیان سلمان-حسن

دانشجوی دکترا

98-31-37934539+

شروع دوره: بهمن‌ماه 1395
عنوان پايان‌نامه: مترجمی برای غلبه بر روش‌های ضد تحليل در بدافزارهای اندرويدی
استاد راهنما: دکتر بهروز ترک لادانی     استاد راهنمای دوم: دکتر بهمن زمانی
بیشتر

محمدرضا شعرباف

دانشجوی دکترا

98-31-37934539+

شروع دوره: مهرماه 1395
عنوان پايان‌نامه: چارچوبی جهت مدیریت نیمه خودکار تداخل‌ در مدل‌سازی همکارانه برخط و برون خط
استاد راهنما: دکتر بهمن زمانی     استاد راهنمای دوم: دکتر ژقسون سونیه
بیشتر

حسین مرادی

دانشجوی دکترا

شروع دوره: مهرماه 1392
عنوان پايان‌نامه: توسعه مدل‌رانده ترکيب آگاه به زمينه سرويس
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر کامران زمانی‌فر
بیشتر

دانشجویان کارشناسی ارشد

عباس رحیمی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

محمدرضا اسدی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

کیمیا کلاهدوز

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

محمدرضا طالبی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

فاطمه علی‌پناه

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر بهمن زمانی
بیشتر

شایان بدیعی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر بهمن زمانی
بیشتر

سید محمدسجاد کسایی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1398
عنوان پايان‌نامه: --
استاد راهنما: دکتر بهمن زمانی
بیشتر

سیده هستی موسوی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1397
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای بازی‌وارسازی آموزش برنامه‌نویسی مقدماتی
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر لیلا صمیمی دهکردی
بیشتر

محمد هادی دهقانی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1397
عنوان پايان‌نامه: استخراج میکروسرویس‌ها از معماری‌های نرم‌افزار یکپارچه از طریق مهندسی معکوس مدل‌رانده
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

مهدی ضیایی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1397
عنوان پايان‌نامه: چارچوبی مدل رانده جهت تولید کد برای سیستم های نظارت مبتنی بر بستر FPGA در صنعت نسل ۴.۰
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر علی بهلولی
بیشتر

حنان یوسف-ضاهر

دانشجوی کارشناسی ارشد

شروع دوره: بهمن‌ماه 1396
عنوان پايان‌نامه: يک زبان مدل‌سازی خاص دامنه برای مدل‌سازی برنامه‌های تخليه‌ی اضطراری
استاد راهنما: دکتر بهمن زمانی
بیشتر

مریم مهرابی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1396
عنوان پايان‌نامه: یک زبان مدل‌سازی خاص دامنه برای برنامه‌های کاربردی نظارت بر سلامت مبتنی بر اینترنت اشیاء
استاد راهنما: دکتر بهمن زمانی
بیشتر

دانش‌آموختگان

سارا ادیب

کارشناسی ارشد

شروع دوره: مهر 1396
پایان دوره: خرداد 1399
عنوان پايان‌نامه: چارچوبی برای توسعه‌ی مدل‌رانده‌ی برنامه‌های کاربردی موبايل پيشنهاددهنده آگاه به زمينه
استاد راهنما: دکتر بهمن زمانی
بیشتر

محمد درخشندی

کارشناسی ارشد

شروع دوره: مهرماه 1395
پایان دوره: شهریورماه 1398
عنوان پايان‌نامه: استفاده از نگرش مدل‌رانده جهت توسعه‌ی بازی‌های دوبعدی چندنفره‌ی مبتنی بر اندروید
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

فضیلت حججی نجف آبادی

دکترا

شروع دوره: مهرماه 1392
پايان دوره: تیرماه 1398
عنوان پايان‌نامه: يک چارچوب ردگيری مدل برای تحليل رفتار نرم‌­افزار
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر عبدالوهاب هم‌الحاج
موقعیت فعلی: پژوهشگر پسادکتری در دانشگاه لیمِریک، ایرلند
بیشتر

مرضیه قربانی

کارشناسی ارشد

شروع دوره: مهرماه 1395
پایان دوره: تیرماه 1398
عنوان پايان‌نامه: ارائه‌ی راهکاری جدید جهت انجام تبدیل‌های ETL به صورت افزایشی
استاد راهنما: دکتر بهمن زمانی
بیشتر

لیلا صمیمی دهکردی

دکترا

شروع دوره: مهرماه 1391
پايان دوره: فروردین‌ماه 1398
عنوان پايان‌نامه: توسعه‌ی مدل‌رانده‌ی تبديل مدل دوسويه
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر شکوفه کلاه‌دوز رحیمی
موقعیت فعلی: استادیار دانشگاه شهرکرد
بیشتر

سرور جهان‌بین

کارشناسی ارشد

شروع دوره: مهرماه 1395
پایان دوره: اسفندماه 1397
عنوان پايان‌نامه: رویکردی جدید برای تولید مدل‌های آزمون در آزمون تبدیل مدل
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: دانشجوی دکتری در دانشگاه یورک و عضو تیم تحقیقاتی پروژه Lowcomote
بیشتر

ندا کارشناس

کارشناسی ارشد

شروع دوره: مهرماه 1394
پایان دوره: شهریورماه 1397
عنوان پايان‌نامه: راهکاری جدید جهت بهبود اعمال الگوهای تبدیل در زبان تبدیل مدل با بکارگیری تبدیل‌های مرتبه بالاتر
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد راهنمای دوم: دکتر بهمن زمانی
بیشتر

سوگل فرید معیر

کارشناسی ارشد

شروع دوره: مهرماه 1394
پایان دوره: شهریورماه 1397
عنوان پايان‌نامه: بهبود بهینه‌سازی مبتنی بر جستجو در تبدیل مدل برای مسئله‌ی تخصیص مسئولیت به کلاس‌ها
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

بنفشه عزیزی

کارشناسی ارشد

شروع دوره: مهرماه 1394
پايان دوره: بهمن‌ماه 1396
عنوان پايان‌نامه: روشی نوین برای وارسی تبدیل‌های اپسیلون
استاد راهنما: دکتر بهمن زمانی       استاد راهنمای دوم: دکتر شکوفه کلاه‌دوز رحیمی
موقعیت فعلی: برنامه‌نویس PHP در شرکت مبنا تلکام
بیشتر

عاطفه نیرومند

کارشناسی ارشد

شروع دوره: مهرماه 1394
پايان دوره: دی‌ماه 1396
عنوان پايان‌نامه: راهکاری مبتنی بر مهندسی معکوس مدل‌رانده برای ارزیابی سیاست‌های کنترل دسترسی پیاده‌سازی شده
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر بهروز ترک لادانی
موقعیت فعلی: دانشجوی دکتری در دانشگاه اصفهان
بیشتر

علیرضا روحی

دکترا

شروع دوره: مهرماه 1390
پايان دوره: شهریورماه 1396
عنوان پايان‌نامه: ارائه‌ی فرایندی برای تولید وارس زبان الگو
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: استادیار دانشگاه شهید مدنی آذربایجان
بیشتر

سمانه حسین دوست

کارشناسی ارشد

شروع دوره: مهرماه 1393
پايان دوره: اردیبهشت‌ماه 1396
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای توسعه‌ی سیستم‌های چندعاملی در محیط‌های واکنش اضطراری
استاد راهنما: دکتر بهمن زمانی       استاد راهنمای دوم: دکتر افسانه فاطمی
موقعیت فعلی: دانشجوی دکتری در دانشگاه اصفهان
بیشتر

زهرا جعفری فشارکی

کارشناسی ارشد

شروع دوره: مهرماه 1393
پايان دوره: بهمن ماه 1395
عنوان پایان‌نامه: ارائه‌ی يک فرامدل گرافيکی برای مديريت بحران با استفاده از سيستم‌های چندعاملی
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر افسانه فاطمی
بیشتر

امیر سواری

کارشناسی ارشد

شروع دوره: مهرماه 1392
پايان دوره: دی‌ماه 1395
عنوان پايان‌نامه: ارائه‌ی یک رویکرد مدل‌رانده جهت تولید خودکار موارد آزمون
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: مهندس نرم‌افزار در هولدینگ فراکاو
بیشتر

محمدرضا شعرباف

کارشناسی ارشد

شروع دوره: مهرماه 1393
پايان دوره: شهریورماه 1395
عنوان پايان‌نامه: راهكاری جديد جهت کشف و رفع تداخل‌های معنايی در نسخه‌بندی مدل
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: دانشجوی دکترای مشترک در دانشگاه اصفهان و دانشگاه نانت
بیشتر

رحیم لطفی

کارشناسی ارشد

شروع دوره: مهرماه 1392
پايان دوره: مهرماه 1394
عنوان پايان‌نامه: الگويی جديد برای طراحی معماری سيستم‌های سازمانی با هدف تسهيل توليد خودکار کد
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: برنامه‌نویس در گروه نرم‌افزاری هیلتن
بیشتر

مهسا سادات پناهنده

کارشناسی ارشد

شروع دوره: مهرماه 1391
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: روشی جديد جهت بهبود چرخه‌ی حيات تبديل مدل
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: دانشجوی دکتری و پژوهشگر در دانشگاه آلبرتا
بیشتر

شیوا رسول‌زاده شیخ

کارشناسی ارشد

شروع دوره: مهرماه 1391
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: ارائه‌ی یک نمایه یوام‌ال برای الگوهای معماری سیستم‌های سازمانی
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: توسعه‌دهنده نرم‌افزار در شرکت موج شهر
بیشتر

طاهره آدم‌زاده

کارشناسی ارشد

شروع دوره: مهرماه 1391
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: یک زبان مدل‌سازی به‌منظور توسعه‌ی سیستم‌های چندعاملی برای محیط‌های واکنش اضطراری
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر افسانه فاطمی
بیشتر

محمدرضا عضدی

کارشناسی ارشد

شروع دوره: مهرماه 1390
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: مدل‌سازی سیستم‌های سرویس‌گرا با استفاده از روش‌های مدل‌رانده
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: سازمان فرهنگی تفریحی شهرداری اصفهان
بیشتر

امین رضایی

کارشناسی ارشد

شروع دوره: مهرماه 1390
پايان دوره: بهمن ماه 1392
عنوان پايان‌نامه: روشی جدید جهت انتخاب بهینه‌ی موارد آزمون بر اساس ماشین حالت UML
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: مدیر فنی در شرکت بین‌المللی مهندسی سیستم‌ها و اتوماسیون (ایریسا)
بیشتر

محبوبه تقی‌زاده

کارشناسی ارشد

شروع دوره: مهرماه 1390
پايان دوره: بهمن ماه 1392
عنوان پايان‌نامه: روشی جديد برای خودکارسازی آزمون کنترل دسترسی به شيوه‌ی مبتنی بر مدل
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر بهروز ترک لادانی
بیشتر