سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
سمتهای علمی و اجرایی در مجلات و ژورنالهای معتبر ایران
ISI Papers
Conference Papers
- بهبود پیچیدگی زمانی محاسبه معیار پوشش حالت برنامه ارائه شده در Sixteenth International Conference on Information Technology, Computers and Telecommunications (1401)
- یک روش تولید آزمون رانه بهبود یافته ارائه شده در کنفرانس ملی فناوری های نوین در مهندسی برق و کامپیوتر (1396)
- از توصیف به زبان Z تا برنامه نمونه ارائه شده در 15th Iranian Conference on Electric Engineering (1386)
- ارائه یک زبان توصیف معماری جدید برای استفاده در روشهای ارزیابی معماری نرم افزار ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- روشی برای مقایسه معماریهای نرمافزار ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- ترجمه حلقه های تودرتو در پرس و جوهای Xquery به عبارت های SQL ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- افزودن ویژگی های امنیتی به فرآیند های چابک ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- مدلی برای ارزیابی قابلیت اطمینان سیستمهای چند لایه تحت وب ارائه شده در 03rd International Conference on Information and Knowledge Technology (1386)
- یک زبان توصیف معماری برای سیستم های قابل بازپیکربندی پویا ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- Process Agent: A Solution for Workflow Automation ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- استخراج جنبه از مدل طراحی نرمافزار ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- مجتمع سازی داده ها در محیط p2p ارائه شده در 14th Iranian Conference on Electric Engineering (1385)
- الگوریتم حافظ وابستگی های تابعی برای تبدیل شمای اکس.ام.ال* به شمای رابطه ای ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- چهارچوبی برای مدلسازی و ارزیابی صوری ویژگیهای معماری نرمافزاربا تاکید بر ویژگیهای کیفیتی ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- یک مدل معماری برای سیستمهای قابل باز پیکربندی با استفاده از مولفه های پوشش دار ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- طراحی تکاملی شمای پایگاه داده رابطه ای با استفادها ز ارزیابی کیفیت ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- معرفی سیستمهای ایی - آر - پی و روش ارزیابی و انتخاب آن برای سازمان ها ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- بررسی نحوه بیان گونه های مختلف عدم قطعیت در تئوری انواع مارتین لوف ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- روشی برای ارزیابی کیفیت شمای پایگاه داده رابطه ای ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- زبان مدلسازی گردش کار ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- خط تطبیق: خط تولیدی برای نرم افزارهای تطبیق پذیر در زمان اجرا ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- تبدیل خودکار یک زبان پرس وجوی شی گرا به یک زبان پرس وجوی رابطه ای ارائه شده در 9th Annual Conference of Computer Society of Iran (1382)
- توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z ارائه شده در 8th Annual Conference of Computer Society of Iran (1381)
- توصیف صوری سیستم های احتمالاتی در Z ارائه شده در 8th Annual Conference of Computer Society of Iran (1381)