استاد

تاریخ به‌روزرسانی: 1403/09/29

حسن حقیقی

مهندسی و علوم کامپیوتر / نرم افزار و سامانه های اطلاعاتی

رساله های دکتری

رویکردی جهت استفاده از بازی های هدفمند در آزمون و اشکال زدایی برنامه ها
شرمین موسوی 1402
ارائه یک رهیافت مبتنی بر معماری برای مدلسازی سامانه‌های رایانش حیاتی
علی طریحی 1400
ارائه رویکردی جدید برای مکان یابی خطاهای نرم افزاری مبتنی بر تولید هدفمند داده های آزمون
محمد نصرتی مقدم طالمی 1399
تولید کارای داده های آزمون کارآمد با استفاده از اطلاعات ایستای برنامه
عطیه منعمی بیدگلی 1399
ارائه روشی کارا برای تولید موارد آزمون کارآمد در برنامه‌های همروند
سیدمحسن میرحسینی 1399
مدلی برای زیرگراف کاوی در گراف های حجیم
مهدی عالمی 1398
بهبود سیستم های توصیه گر پالایش همکارانه با بهره گیری از شبکه اعتماد ضمنی
فائزه سادات گوهری 1397

پایان‌نامه‌های کارشناسی‌ارشد

سفارشی سازی روش های تخمین هزینه برای نرم افزارها به منظور افزایش کاربردپذیری و انجام مطالعه موردی در سازمان بنادر و دریانوردی
سید حمید منتظری 1403
بهبود تولید داده آزمون مبتنی بر جستجو با استفاده از یادگیری تقویتی
نیلوفر وهنانی 1403
آزمون آ/ب در سیستمهای مبتنی بر هوش مصنوعی
علیرضا علیدوستی شهرکی 1403
رویکردی برای تولید داده‌های آزمون سیستم‌های مبتنی بر یادگیری ماشین با استفاده از شبکه‌های مولد
مهنوش شکری 1402
طراحی و پیاده سازی خدمات مصالحه در مدیریت کیفیت داده های کلیدی
ابوالفضل وایانی حسنو 1402
بهبود توصیه گری مبتنی بر مسیر های معنایی در شبکه های اطلاعات ناهمگن با استفاده از شبکه اعتماد ضمنی
رضا عبدالهی 1402
استفاده از سنجه‌های نرم‌افزاری برای پیش‌بینی آسیب‌پذیری‌های امنیتی نرم‌افزار
مهدیه مکتوبیان 1402
ارائه یک اوراکل خودکار مبتنی بر یادگیری ماشین برای آزمون کارایی نرم افزار
مجتبی مرادی 1402
بهبود کارایی جستجوی جامعه مکان محور در گراف های کلان
آذین نیلچی 1401
ارائه یک رویکرد ابراکتشافی جدید جهت تولید داده آزمون ساختاری
مهرناز صادقی 1400
تولید موارد آزمون از سناریوهای کارایی موجود در اسناد معماری نرم‌افزار
امیرحسین بیگدلی 1400
ارائه رویکردی کارآمد به منظور شناسایی بدافزارهای سیستم عامل اندروید
محمدمحسن حسام الحکماء 1400
رویکردی مبتنی بر یادگیری ماشین به منظور انجام ترمیم‌های چندعملگره
مریم قربان نژاداردهائی 1400
بهبود سیستم‌های توصیه‌گر آگاه از زمینه با استفاده از اطلاعات بین‌دامنه‌ای و اهمیت پارامتر‌های زمینه
شبنم حسنی اهری 1400
یک رویکرد توزیع شده برای تطابق الگوی زیر گراف در گراف های حجیم
شیما امیدواراوغانی 1400
انتخاب موارد آزمون در آزمون رگرسیون بر اساس سوابق آزمون های انجام شده
سیدمصطفی حسینی 1400
ارائه یک پیشگوی خودکار برای آزمون قابلیت استفاده سامانه های نرم افزاری
آرزو مرید 1399
تولید خودکار پیشگوی آزمون با استفاده از اطلاعات کد تحت آزمون
مهدی یوسفی 1399
ترکیب رویکردهای ایستا و پویا برای تشخیص خطاهای سامانه های سایبر فیزیکی
علی حاجی عابد 1399
ارائه یک رویکرد توافق عام بر اساس مدیریت اعتماد برای سیستم های مبتنی بر بلاک چین
شیوا حیدرزاده ملکی 1398
تولید داده آزمون با استفاده از الگوریتم های فرا ابتکاری کرم شب تاب، خفاش و فاخته
زهرا نمازی 1398
جستجوی ساختاری و محتوایی زیرگراف در شبکه‌های اجتماعی
پوریا شکری 1398
ارائه رویکردی کارا جهت تولید داده آزمون بر مبنای تحلیل ایستای برنامه
مائده قلیزاده 1398
ارایه‌ی راهکاری جهت مکانیابی خطاهای نرم افزاری مبتنی برساختار ایستای برنامه و ویژگی های برنامه نویسان
امیرعباس مجد 1397
بهبود کارایی موتورهای جست‌وجوی سازمانی با استفاده از جمع‌آوری داده‌های زمینه‌ای از محیط و دریافت بازخورد از کاربر
نریمان اسماعیلی فرد 1397
حفظ حریم خصوصی داده های بزرگ مشترک
فاطمه خداپرست 1397
رویکردی برای توسعه و ارائه نرم افزارهای تخصصی سازمان های دولتی
نجمه ملک ثابت 1397
ارائه رویکردی جهت تولید خودکار داده‌های آزمون نرم‌افزار با استفاده از یادگیری ماشین و ساختار ایستای برنامه
امین کریمی منصفی 1396
ارائه روشی مبتنی بر مدلسازی نرم جهت تولید داده آزمون نرم‌افزار
سعید امیری چیمه 1396
بهینه‌سازی پرسش در سیستم‌های پایگاه داده‌ای همتا به همتا با استفاده از الگوریتم‌های متاهیوریستیک
یاسینه پورابراهیم 1396
ارائه رویکردی نوین برای کشف بدافزارهای فرا ریخت
امیر نورآذر 1395
آزمون انرژی برنامه های کاربردی تلفن همراه برای سیستم عامل اندروید
زهرا رحیمی نسب 1395
ارائه روشی برای تولید خودکار داده ی آزمون برنامه های وب در سمت سرور
کیامرث میرزائی علیعربی 1395
رویکردی جهت افزایش کارآمدی ترمیم خودکار برنامه ها
محمد رضاعلی پور 1395
ارائه روشی به منظور بهبود شناسایی صفحات فریب آمیز وب
ماه نوش دادخواه امیدی 1395
جای‌گذاری ماشین‌های مجازی در رایانش ابری با استفاده از الگوریتم‌های فرااکتشافی
بهداد پرتوی 1395
استفاده از مهندسی خط محصول برای تولید سامانه های تطبیق پذیر مبتنی بر مدل خانواده ی فرایندهای حرفه
تهمورث ابراهیمی 1395
رویکردی نوین در جهت ساخت سیستم تشخیص نفوذ مبتنی بر ناهنجاری توسط شبکه های باور عمیق
محمد مجدفریدی 1395
ارائه رویکرد امنیتی جدید برای MapReduce
سمیه مرادی بنی 1394
ارائه روشی جهت پاسخ یابی پرسش های تقریبی در سیستم های پایگاه داده همتا به همتا
مصطفی حسینی 1394
توازن بار در رایانش ابری با استفاده از الگوریتم فرااکتشافی
شیما شهریور تهرانی 1394
ارائه روشی برای تولید موارد آزمون کارایی با استفاده از توصیف صوری نرم‌افزار
محمد جعفری منفرد 1394
ارائه زبانی صوری برای مدلسازی سرویس گرایی
نیما رشادی 1394
روشی مبتنی بر الگوریتم های فرااکتشافی جهت پردازش پرس وجوها در پایگاه داده توزیع شده
مریم مقبول القول 1394
ارائه روشی برای تولید برنامه صوری از توصیف های UML-B
طاهره زهدی نسب 1394
راهکاری برای توصیف و درستی یابی پایگاه داده ها با Object-Z
سیده زهرا سجادی 1393
توسعه یک فرمالیسم به‌منظور توصیف صوری SoS
اصف نیسی مینایی 1393
تکامل خط تولید نرم افزار سرویس گرا با استفاده از همانند سازی و ادغام
اسماعیل نصیریان 1393
ارائه یک چارچوب به منظور ارزیابی و انتخاب پایگاه داده های NoSQL
ناصح وطنی 1393
ارائه یک مدل برای کشف پولشویی
فریناز زرین مکان 1392
ارائه متریکی جدید برای سنجش دانه بندی سرویس های وب
حسام قدسی فر 1392
به حداکثررساندن تاثیر در شبکه های اجتماعی با در نظر گرفتن شرایط رقابتی
ارسطو بزرگی 1392
روشی جهت استخراج نیازمندی های آزمون از توصیف های صوری شی گرا
سیدمحمد قرشی 1392
توصیف و وارسی صوری سیستم های بر ژایه مولفه ی قابل اعتماد
فهیمه آقا بیگی آرانی 1392
رائه روشی برای تزریق جنبه گرایی در معماری سرویس گرا با هدف بهبودامنیت نرم افزار
مژگان روشن فرزاد 1392
ارائه معماری مبتنی بر عامل برای زیر سیستم مستند سازی در سیستم های ERP
سیده الهه جلمبادانی 1392
ارائه چارچوبی برای پردازش بلادرنگ جریان داده عظیم بر بستر ابر
حدیث صالحی کهریزسنگی 1392
توسعه احتمالاتی UML_B
محمد نصرتی مقدم طالمی 1392
ارائه مدل صوری برای توصیف ووارسی سیستم های خود تطبیق با استفاده از UML-B
منصوره حکیمیان 1392
ارائه چارچوبی برای اکتشاف آگاه از زمینه سرویس های وب
وهاب قاسمی 1392
همگام سازی مدلها با امکان تغییر همزمان و سربار کم در معماری مدل - رانه
سیده سمیه مصطفائی میلانی 1392
ارائه روشی جهت ترکیب سرویس های وب معنایی با استفاده از الگوریتم های فراابتکاری
مجتبی براری 1392
رتبه بندی کارای صفحات وب بااستفاده از ترکیب ویژگی های مناسب
زهره درهمی 1392
ارائه یک چارچوب جهت انتخاب سرویس ابری مبتنی بر QoS
معصومه تجویدی 1392
تجمیع و یکپارچه سازی UML_B و Object-z در فرایند توسعه نرم افزار
محبوبه فلاح طلب 1392
ارائه روشی مکاشفه ای برای انتقال پویای ماشین های مجازی به منظور افزایش بهره وری انرژی در مراکز داده ابری
نگین کرد 1392
ارائه مدلی برای پشتیبانی از تصمیم گیری در سیستم های تطبیق پذیر
ندا کریمی رزوه 1391
ارائه یک چارچوب برای هم نوایی سرویس ها بر مبنای سیستم های تصمیم یار
محمد غلامی نتاج 1391
توصیف و درستی یابی صوری سیستم های چند عاملی خود تطبیق
البرز صمدی 1391
توصیف و درستی یابی صوری سرویس وب ترکیبی
حسین آذر پناه 1391
ارائه چارچوبی برای آزمون خودکار کاربردهای سرویس گرا
فریبرز سیدلو 1391
ارائه یک چارچوب سرویس گرا برای محاسبات ابری
میلاد ترکاشون 1391
تولید صوری برنامه های همروند از توصیف z آن ها
شهرزاد ریاحی چالشتری 1391
توصیف صوری سیستم های احتمالاتی زمان پیوسته
مهسا افشارفرنیا 1391
ارائه ی روشی صوری برای ترکیب دیدگاه های ذینفعان مختلف در توصیف سیستم های احتمالاتی
محبوبه صمدی 1391
ارائه روشی صوری جهت تولید برنامه از توصیف Object-z
مهرناز نجفی 1391
ارائه یک معماری عامل گرا برای تامین انعطاف پذیری در سیستم های ERP
منا محمودیان فرد 1390
ارائه رهیافتی برای طبقه بندی محدودیت های موجود به عنوان ورودی برای توسعه ترکیب سرویس های وب
امینه اخوان صراف 1390
رویکردی جهت تلفیق مدل یکپارچه بلوغ قابلیت وچابکی
افروز خرمائی 1390
ارائه الگوهای طراحی برای ایجاد سیستم های نرم افزاری خود انطباق
فاطمه تقی نیای کینچاه 1390
ارائه روشی جهت ارزیابی میزان پایداری در معماری نرم افزارهای جنبه گرا
شیرین صابری کهن 1390
رهیافتی برای دفاع در برابر حملات کد مخرب در سیستم های مبتنی بر مولفه
سامره بشاورد 1390
ارزیابی میزان چابکی روش های توسعه نرم افزار چابک
ریحانه رشیدپور 1390
ترجمه زبان توصیف سرویس های وب(WSDL) به زبان توصیف Z
مهسا گلشنی نسب 1390

اینستاگرام شبکه آپارات تلگرام کلاب هاوس یوتیوب

عضویت در خبرنامه