Publication

Books:

  • حسن حقیقی، هادي شهريار شاه‌حسيني، مازيار مباشري، نرم‌افزارهاي برنامه‌ريزي منابع سازماني ERP: ارزيابي‏، انتخاب و استقرار، نشر تحسين، 1388.

  • حسن حقیقی، هادي شهريار شاه‌حسيني، مازيار مباشري، سي و هفت پيشنهاد كليدي براي توليد‏‏، ارزيابي، انتخاب و پياده‌سازي نرم‌افزارهاي برنامه‌ريزي منابع سازماني (ERP)، نشر تحسين، 1388.

Papers:

  • H. Haghighi, S. H. Mirian Hosseinabadi, “An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf’s Theory of Types”, In: Proc. IPM International Workshop on Foundation of Software Engineering (FSEN 2005), Tehran, Iran, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 159, 2006.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Making Nondeterminism Explicit in Constructive Z”, In: Proc. 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao SAR, China, 2006.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Nondeterminism in Formal Specification and Development of Concurrent Programs: A Constructive Approach”, 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR2006), short paper, Phnom Penh, Cambodia, 2006.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Formal Development of Two Player Games: A Constructive Approach”, In: Proc. 12th International CSI Computer Conference (CSICC07), Tehran, Iran, 2007.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Nondeterminism in Constructive Z”, Fundamenta Informaticae, vol. 88, no. 1-2, pp. 109-134, 2008.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Towards a Constructive Framework for Developing Concurrent Programs”, 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR2008), Doha, Qatar, 2008.

  • H. Haghighi, S. H. Mirian Hosseinabadi, and H. R. Anvari, “Specifying Randomized Programs Using Constructive Z”, 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR2008), short paper, Doha, Qatar, 2008.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Formal Development of Probabilistic Programs: A Refinement Approach”, 3rd International Conference on Fundamentals of Software Engineering (FSEN09), poster presentation, Kish Island, Iran, 2008.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Towards a Constructive Approach for Developing Concurrent Programs”, Submitted to 33rd Annual IEEE International Computer Software and Applications Conference, (COMPSAC 2009), Fast Abstract, Seattle, Washington, 2009.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “A Refinement Approach for Developing Probabilistic Programs”, 14th International CSI Computer Conference (CSICC’09), Tehran, Iran, 2009.

  • H. Haghighi, “PZ: A Z-based Formalism for Modeling Probabilistic Behavior”, Proc. International Conference on Information and Systems Engineering, Cape Town, South Africa, 2010.

  • H. Haghighi and O. Mafi “Towards a Systematic, Cost-Effective Approach for ERP Selection”, ICISE 2010 – International Conference on Information and Systems Engineering, Cape Town, South Africa, 2010.

  • H. Haghighi, “Towards a Formal Framework for Developing Concurrent Programs: Modeling Dynamic Behavior”, Proc. The eighth ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-10), Hammamet, Tunisia, 2010.

  • H. Haghighi, “A Constructive Approach for Developing Probabilistic Programs”, Proc. The 18th Iranian Conference on Electrical Engineering (ICEE2010), Isfahan, Iran, 2010.

  • H. Haghighi, S. Ghorbani, M. Mohebati and M. M. Javanmard, “An Agent Oriented Architecture to Supply Integration in ERP Systems”, ICISE 2011: “International Conference on Information and Systems Engineering, Dubai, UAE, 2011.

  • H. Haghighi and M. M. Javanmard, “Constructive Development of Probabilistic Programs”, Lecture Notes in Theoretical Computer Science, 7141, 2012.

  • H. Haghighi, “An Accelerated Methodology for Selecting Proper ERP Packages”, Journal of Communication and Computer, Vol. 8, No.3, March 2011.

  • M. Fahmideh, M. Sharifi, P. Jamshidi, F. Shams, H. Haghighi, “Process Patterns for Service-Oriented Software Development”, in Proc. Fifth IEEE International Conference on Research Challenges in Information Science (RCIS-2011), Guadeloupe – French West Indies, France, 2011.

  • A. Rostampour, A. Kazemi, A. Zamiri, H. Haghighi, F. Shams, “A Metric Suite for Measuring Service Alignment with Business Agility”, in Proc. Computer Science and Software Engineering (CSSE 2011), Iran, 2011.

  • A.Kazemi, A. Rostampour, A. Nasirzadeh Azizkandi, H. Haghighi, F. Shams, “A Metric Suite for Measuring Service Modularity”, in Proc. Computer Science and Software Engineering (CSSE 2011), Iran, 2011.

  • M. Najafi, H. Haghighi, “An Animation Approach to Develop C++ Code from Object-Z Specifications”, in Proc. Computer Science and Software Engineering (CSSE 2011), Iran, 2011.

  • A.Kazemi, A. Rostampour, A. Zamiri, P. Jamshidi, H. Haghighi, F. Shams, “An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion”, in Proc. 2011 11th International Conference On Quality Software (QSIC2011), Madrid, Spain, 2011.

  • A.Kazemi, A. Nasirzadeh Azizkandi, A. Rostampour, H. Haghighi, P. Jamshidi, F. Shams, “Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing”, in Proc. 2011 IEEE International Conference on Services Computing (SCC2011), Washington DC, USA, 2011.

  • S. Sayari, H. Haghighi, A. Faraahi, M. M. Javanmard, “An Agent Oriented Architecture to Supply Flexibility in ERP Systems”, Journal of Information and Communication Technologies, Vol. 2, No. 1, January 2012.

  • H. Haghighi, M. Mahmoudianfard, M. M. Javanmard, “A Flexible Agent Oriented Architecture for Business Automation”, International Journal of Applied Science and Technology, To be published.

  • H. Haghighi, A. Khormaee, M. Shirmohammadi, “Incorporating CMMI with Agile Methods : Using Change Management”, International Journal of Emerging Technology and Advanced Engineering, Vol. 2, No. 1, 2012.

  • H. Haghighi, S. H. Mirian Hosseinabadi, “Towards a Calculus for Nondeterministic Schemas in Z”, International Journal of Software Engineering and Knowledge Engineering, Vol. 22, No. 6, 2012.

  • H. Haghighi, S. Z. Hosseini, S. E. Jalambadani, “An Agent Oriented Architecture to Supply Multilanguage in EPR Systems”, International Conference on Software Engineering and Technology, Venice, Italy, 2011.

  • H. Haghighi, S. Z. Hosseini, S. E. Jalambadani, “An Agent Oriented Architecture to Supply Dynamic Document Generation in ERP Systems”, International Conference on Software Engineering and Technology, Venice, Italy, 2011.

  • M. Najafi, H. Haghighi, “Refinement of Object-Z Specifications Using Morgan’s Refinement Calculus”, International Conference on Software Engineering and Technology, Venice, Italy, 2011.

  • S. Sharifirad, H. Haghighi, “A Comprehensive and Integrated Framework for Formal Specification of Concurrent Systems”, International Conference on Software Engineering and Technology, Venice, Italy, 2011.

  • M. Najafi, H. Haghighi, “An Integration of UML-B and Object-Z in Software Development Process”, International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2011), 2012.

  • M. Najafi, H. Haghighi, “An Approach to Animate Object-Z Specifications Using C++”, Scientia Iranica, Vol. 19, No. 6, 2012.

  • S. Ghorbani, H. Haghighi, H. H. Rashidy Kanan, “A Formal Presentation of an Agent Oriented Architecture to Supply Intelligent Notification in ERP Systems”, International workshop on Information Science and Education Technology (WISET2012), 2012.

  • M. GolshaniNasab, H. Haghighi, “Translating WADL into Z Specification Language”, 2nd World Conference on Information Technology, November 2011.

  • M. Najafi, H. Haghighi, “An Approach to Develop C++ Code from Object-Z Specifications”, 2nd World Conference on Information Technology, November 2011.

  • H. Haghighi. R. Rashidpour, “Two Approaches for Evaluating the Degree of Agility in Agile Methodologies”, 2nd World Conference on Information Technology, November 2011.

  • M. Torkashvan, H. Haghighi, “A Service Oriented Framework for Cloud Computing”, in Proc. The third International Conference on Information and Communication Systems (ICICS 2012), Jordan, 2012.

  • H. Haghighi, M. Afshar, “A Z-Based Formalism to Specify Markov Chains”, Computer Science and Engineering, Vol.2, No.3, 2012.

  • S. Farokhi, A. Ghafari, H. Haghighi, F. Shams, “MDCHeS: Model-Driven Dynamic Composition of Heterogeneous Service”, International Journal on Communications, Network and System Sciences, Vol. 5, No. 1, 2012.

  • M. Najafi, H. Haghighi, “An Integration of UML-B and Object-Z in Software Development Process”, Lecture Notes in Electrical Engineering, Vol. 152, 2013.

  • M. Torkashvan, H. Haghighi, “CSLAM: A Framework for Cloud Service Level Agreement Management Based on WSLA”, in Proc. 6’th International Symposium on Telecommunications (IST’2012), Iran, November 2012.

  • M. Torkashvan, H. Haghighi, “A Greedy Approach for Service Composition”, in Proc. 6’th International Symposium on Telecommunications (IST’2012), Iran, November 2012.

  • M. Ghafari, P. Jamshidi, S. Shahbazi, H. Haghighi, “Safe Stopping of Running Component-based Distributed Systems: Challenges and Research Gaps”, Adaptive and Reconfigurable Service Oriented and Component-based Applications and Architectures (AROSA 2012)”, France, 2012.

  • M. Ghafari, P. Jamshidi, S. Shahbazi, H. Haghighi, “An Architectural Approach to Ensure Globally Consistent Dynamic Reconfiguration of Component-Based Systems”, 15th ACM Sigsoft Symposium on Component Based Software Engineering (CBSE 2012), Italy, 2012.

  • H. Sadeghian , A. Samadi , H. Haghighi, “Formal Analysis of Pure-join Model of Chord Using Alloy”, IEEE International Conference on Software Engineering and Service Sciences, China, 2013.

  • N. Kord, H. Haghighi, “An Energy-Efficient Approach for Virtual Machine Placement in Cloud Based Data Centers”, The 5th Conference on Information and Knowledge Technology, Iran, 2013.

  • A. Akhavan, H. Haghighi, “An Approach to Classify Existing Constraints as Inputs for Web Service Composition”, International Journal of Computer Applications, Vol. 69, No. 12, 2013.

  • S. Sharifirad, H. Haghighi, “A Formal Framework for Specifying Concurrent Systems”, International Journal of Computer Applications, Vol. 68, No. 3, 2013.

  • M. Najafi, H. Haghighi, “A formal mapping from Object-Z specification to C++code”, Scientia Iranica, Vol. 20, No. 6, 2013.

  • A. Kazemi, H. Haghighi, F. Shams, “ABSIM: An Automated Business Service Identification Method”, International Journal of Software Engineering and Knowledge Engineering, Vol. 23, No. 9, 2013.

  • A. Kazemi, A. Rostampour, H. Haghighi, S. Abbasi, “A Conceptual Cohesion Metric for Service Oriented Systems”, Journal of Web Engineering, Vol. 13, No. 3, 2014.

  • A. Tarihi, H. Haghighi, F. Shams, “An Improved Architectural Pattern for Organic Resource-Flow Systems”, The 2013 CSI International symposium on Computer Science and Software Engineering (CSSE), Iran, 2013.

  • M. Samadi, H. Haghighi, “An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems”, Journal of Information Systems and Telecommunication, Vol. 2, No. 1, 2014.

  • M. Ghafari, A. Heydarnoori, H. Haghighi, “A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems”, 6rd International Conference on Fundamentals of Software Engineering (FSEN15), Iran, 2015.

  • F. Bahrpeyma, A. Zakerolhoseini, H. Haghighi, “Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud’s virtualized environment”, Applied Soft Computing, Vol. 26, 2015.

  • F. Bahrpeyma, H. Haghighi, A. Zakerolhoseini, “An adaptive RL based approach for dynamic resource provisioning in cloud virtualized data centers”, Computing, Vol. 97 No. 12, 2015.
  • M. Najafi, H. Haghighi, T. Zohdinasab, “A survey on formal, object-oriented program development approaches”, Scientia Iranica, Vol. 22, No. 3, 2015.
  • . Najafi, H. Haghighi, T. Zohdinasab, “A set of refactoring rules for UML-B specifications”, Computing and Informatics, Vol. 35 No. 2, 2016.
  • M. Torkashvan, H. Haghighi, “SCW+: A Service Oriented Framework for Cloud Workflow Systems”, Scientia Iranica, Vol. 23 No. 3, 2016.
  • F. Gohari, H. Haghighi, F. Shams, “A semantic enhanced trust based recommender system using ant colony optimization”, To be published in Applied Intelligence.
  • A. Bozorgi, H. Haghighi, M. Zahedi, M. Rezvani, “INCIM: A Community-Based Algorithm for Influence Maximization Problem under Linear Threshold Model”, To be published in Information Processing and Management.
  • M. Ghoreshi, H. Haghighi, “An incremental method for extracting tests from object-oriented specification”, Information and Software Technology, Vol. 78, 2016.
  •  F. Bahrpeyma, H. Haghighi, A. Zakerolhoseini, “A bipolar resource management framework for resource provisioning in Cloud’s virtualized  environment”, Applied Soft Computing, Vol. 46, 2016.
  •  A. Tarihi, H. Haghighi, F. Shams, “A Bio-Inspired Self-Configuring Observer/Controller for Organic Computing Systems”, To be published in Journal of Information Systems and Telecommunication.
  • S. Amiri, H. Haghighi, M. Vahidiasl, F. Gholami, K. Ghajar, “RINGS: A Game With A Purpose for Test Data Generation”, To be published in Interacting with Computers.
  • M. Alemi, H. Haghighi, S. Shahrivari, “CCFinder: using Spark to find clustering coefficient in big graphs”, To be published in Journal of Supercomputing.

  • سید حسن میریان حسین آبادی، حسن حقیقی، ترجمه خودکار یک زبان پرس و جوی شیءگرا به یک زبان پرس و جوی رابطه‌ای، نهمین کنفرانس سالانه انجمن کامپیوتر ایران، تهران، ایران، 1382.

  • حسن حقیقی، سید حسن میریان حسین آبادی، رهیافتی به مساله عدم‌قطعیت در تئوری انواع مارتین‌لوف، دهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1383.

  • حسن حقیقی، سید حسن میریان حسین آبادی، بررسی نحوه بیان گونه‌های مختلف عدم‌قطعیت در تئوری انواع مارتین‌لوف، دهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1383.

  • حسن حقيقي، محمد مهدی جوانمرد، سلیمه جوادیان، رهیافتی نظام‌مند برای انتخاب نرم‌افزار برنامه‌ریزی منابع سازمانی در سازمان‌های ایرانی، پانزدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1388.

  • حسن حقيقي، سلیمه جوادیان، محمد مهدی جوانمرد، توصيف صوري رفتار پوياي سیستم‌های هم‌روند به كمك يك زبان شبه Z، پانزدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1388.

  • حسن حقيقي، سجاد قرباني، مريم محبتي، ارائه یک معماری عامل­گرا برای تامین یکپارچگی در سیستم­های ERP، ششمين كنفرانس بين المللي مديريت فناوري اطلاعات و ارتباطات، تهران، ایران، 1388.

  • حسن حقيقي، امير حجتي، انتخاب معماري مناسب براي نرم­افزارهاي برنامه­ريزي منابع سازماني، دومين كنفرانس سيستم‌هاي برنامه‌ريزي منابع سازماني، تهران، ایران، 1388.

  • حسن حقيقي، سجاد قرباني، ارائه یک معماری عامل­گرا برای تامین اعلان هشدار هوشمند در سیستم­های ERP ، شانزدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1389.

  • امینه اخوان صراف، حسن حقیقی، ارائه رهیافتی برای طبقه­بندی محدودیت­های موجود به عنوان ورودی برای توسعه ترکیب سرویس­های وب، هفدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1390.

  • مهسا گلشنی نسب، حسن حقیقی، استفاده از روش­هاي صوري براي بررسي تركيب­پذيري سرويس­هاي وب، هفدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1390.

  • محبوبه صمدی، حسن حقیقی، ارائه­ی روشی صوری برای ترکیب دیدگاه ذی­نفعان مختلف در توصیف سیستم­های احتمالاتی، هفدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1390.

  • ریحانه رشیدپور، حسن حقیقی، ارائه یک مجموعه متریک نرم افزاری جهت ارزیابی میزان چابکی، مقاله پوستری، هفدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1390.

  • سجاد قربانی، حسن حقیقی، حمیدرضا رشیدی کنعان، ارائه صوری یک معماری عامل‌گرا برای تامین اعلان هشدار هوشمند در سیستم‌های ERP، مقاله پوستری، هفدهمين كنفرانس سالانه انجمن كامپيوتر ايران، تهران، ایران، 1390.

  • حسن حقیقی، منا محمودیان فرد، سمیه سیاری، معرفی یک معماری عامل­گرا انعطاف­پذیر برای اتوماسیون کارخانه، اولین همایش تخصصی سيستهای هوشمند کامپيوتری و کاربردهای آنها، ایران، 1390.

  • حسن حقیقی، سیده سارا شریفی راد، به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهای همروند، اولین همایش منطقه ای رویکردهای نوین در مهندسی نرم افزار و فناوری اطلاعات، ایران، 1390.

  • شهرزاد ریاحی چاشتری، حسن حقیقی، “تولید صوری برنامه های همروند ایمن“، ششمین کنفرانس ملی فرماندهی و کنترل ایران، تهران، ایران، 1391.

  • مهسا افشار فرنیا، حسن حقیقی، “فرماليسمی مبتنی برZ برای توصيف سامانه­های C4I احتمالاتی“، ششمین کنفرانس ملی فرماندهی و کنترل ایران، تهران، ایران، 1391.

  • میلاد محمدی، سید محمد قرشی، حسن حقیقی، “راهبرد‌های بهبودی برای توصیف صوری جهت جلوگیری از خطاهای سیستم‌های C4I با دیدگاه تحلیل SWOT“، ششمین کنفرانس ملی فرماندهی و کنترل ایران، تهران، ایران، 1391.

  • نگین کرد، حسن حقیقی، “ارائه روشی مبتنی بر ضريب همبستگی به منظور افزايش بهره­وری انرژی در محيط­های ابری“، هجدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران، تهران، ایران، 1391.

  • عباد کریمی، حسن حقیقی، “ارائه روشی کیفی برای ترکیب سرویس های وب با استفاده از الگوریتم بهینه سازی جمعی ذرات“، کنگره ملی مهندسی برق، کامپیوتر و فناوری اطلاعات، مشهد، ایران، 1391.

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

  • الهه جلمبادانی، حسن حقیقی، “ارائه یک معماری عامل­گرا برای مستندسازی در سامانه­های ERP“، نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران، تهران، ایران، 1392.

  • سرور سعادت، صدیقه خوشنویس، حسن حقیقی، ” استخراج مدل خانواده فرایندهای حرفه در خط محصول نرم افزار مبتنی بر نمودارهای فرایند حرفه“، نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران، تهران، ایران، 1392.

  • محبوبه فلاح­طلب، حسن حقیقی، “ارائه روشی برای تبدیل مدل­های UML-B به توصیف­های Object-Z“، نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران، تهران، ایران، 1392.

  • وهاب قاسمی، حسن حقیقی، “ارائه روشی آگاه از زمینه جهت اکتشاف سرویسها“، نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران، تهران، ایران، 1392.

  • سمیه سیاری، حسن حقیقی، “ارائه یک معماری عامل­گرا برای تامین انعطاف پذیری در ERP“، نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران، تهران، ایران، 1392.

  • حسن حقیقی، علی محمد زارع بیدکی، زهره درهمی، “رتبه بندی کارای صفحات وب با استفاده از ترکیب ویژگیهای مناسب“، پنجمین کنفرانس ملی مهندسی برق و الکترونیک ایران، 1392.

  • زینب مجدی، حسن حقیقی، “ارائه روشی برای صحت سنجی توصیف های Z از سیستمهای همروند با درنظر گرفتن اعمال غیرقطعی“، اولین کنفرانس ملی رویکردهای نوین در مهندسی کامپیوتر و بازیابی اطلاعات، ایران، 1392.

  • حسن حقیقی، مژگان روشن فرزاد، “روشی برای تزریق جنبه­گرایی در معماری سرویس­گرا با هدف بهبود امنیت نرم­افزار“، کنفرانس کامپیوتر، فناوری اطلاعات و رسانه های دیجیتال، 1392.

  • ارسطو بزرگی، حسن حقیقی، مسعود اسدپور، محمد صادق زاهدی، الگوریتمی کارا برای بیشینه­سازی تاثیر در جوامع موجود در شبکه­های اجتماعی تحت مدل آستانه­ای خطی، ششمین كنفرانس فناوري اطلاعات و دانش، 1392.

  • محدثه فدائیان، حسن حقیقی، ارائه یک معماری مبتنی بر پیشکار برای مستندسازی پویا در سیستم­های ERP، پذیرفته شده در مجله علمی پژوهشی صنایع الکترونیک، چاپ در بهار 1393.

  • فاطمه شکرآرا، آراز ساعی ارسی، حسن حقیقی، روح الله شکرآرا، تبیین و تحلیل مفاهیم بنیادی توسعه نرم افزار ناب: پژوهشی تطبیقی با رویکردهای چابک، دومین همایش ملی علوم و مهندسی کامپیوتر، 1393.

  • نیما رشادی، حسن حقیقی، ارزیابی میزان بهره گیری چارچوبهای سرویس گرای زکمن از مفاهیم سرویس گرایی به کمک معماری سرویس مولفه ای، ، نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران، تهران، ایران، 1393.

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

  • سیده زهرا سجادی، حسن حقیقی، ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z، IKT2015، 1394.

  • علی طریحی، حسن حقیقی، فریدون شمس، ارائه رویکردی صوری جهت مدلسازی و درستی یابی ویژگی خودسازی در سامانه های نهفته، IKT2015، 1394.