رزومه علمی سیدحسن میریان حسین آبادی

دکتر سیدحسن میریان حسین آبادی

گروه مهندسی کامپیوتر، دانشگاه صنعتی شریف، ایران

چاپ

معرفی

استان

تهران

شهر

تهران

عضویت سیدحسن میریان حسین آبادی در مجامع و انجمنهای علمی

سمتهای علمی و اجرایی سیدحسن میریان حسین آبادی در مجلات و ژورنال‌های معتبر ایران

مجله مهندسی کامپیوتر و دانش (هیات تحریریه)

سمتهای علمی و اجرایی سیدحسن میریان حسین آبادی در کنفرانس ها و نشستهای معتبر ایران

دانشگاه صنعتی شریف (عضو هیات علمی)

مقالات بین المللی سیدحسن میریان حسین آبادی

"Test case prioritization using test case diversification and fault-proneness estimations", Springer Science and Business Media LLC, (2022), Vol 29, No 2:

"An ensemble‐based predictive mutation testing approach that considers impact of unreached mutants", Wiley, (2021), Vol 31, No 7:

مقالات سیدحسن میریان حسین آبادی در کنفرانس های داخلی

از توصیف به زبان Z تا برنامه نمونه

سال 1386

ارائه شده در پانزدهیمن کنفرانس مهندسی برق ایران

ارائه یک زبان توصیف معماری جدید برای استفاده در روشهای ارزیابی معماری نرم افزار

سال 1386

ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران

روشی برای مقایسه معماریهای نرمافزار

سال 1386

ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران

ترجمه حلقه های تودرتو در پرس و جوهای Xquery به عبارت های SQL

سال 1386

ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران

افزودن ویژگی های امنیتی به فرآیند های چابک

سال 1386

ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران

یک زبان توصیف معماری برای سیستم های قابل بازپیکربندی پویا

سال 1385

ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران

Process Agent: A Solution for Workflow Automation

سال 1385

ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران

استخراج جنبه از مدل طراحی نرمافزار

سال 1385

ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران

تبدیل خودکار یک زبان پرس وجوی شی گرا به یک زبان پرس وجوی رابطه ای

سال 1382

ارائه شده در نهمین کنفرانس سالانه انجمن کامپیوتر ایران

توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z

سال 1381

ارائه شده در هشتمین کنفرانس سالانه انجمن کامپیوتر ایران

توصیف صوری سیستم های احتمالاتی در Z

سال 1381

ارائه شده در هشتمین کنفرانس سالانه انجمن کامپیوتر ایران

مدلی برای ارزیابی قابلیت اطمینان سیستمهای چند لایه تحت وب

سال 1386

ارائه شده در سومین کنفرانس بین المللی فناوری اطلاعات و دانش

مجتمع سازی داده ها در محیط p2p

سال 1385

ارائه شده در چهاردهمین کنفرانس مهندسی برق ایران

الگوریتم حافظ وابستگی های تابعی برای تبدیل شمای اکس.ام.ال* به شمای رابطه ای

سال 1384

ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران

چهارچوبی برای مدلسازی و ارزیابی صوری ویژگیهای معماری نرمافزاربا تاکید بر ویژگیهای کیفیتی

سال 1384

ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران

یک مدل معماری برای سیستمهای قابل باز پیکربندی با استفاده از مولفه های پوشش دار

سال 1384

ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران

طراحی تکاملی شمای پایگاه داده رابطه ای با استفادها ز ارزیابی کیفیت

سال 1383