Shahid Beheshti University
Today   Login  Farsi
Last Update: 2018/10/02
Hasan Haghighi
Associate professor

Faculty: Computer Engineering and Science
Department: Software and Information Systems
Phone: +98 (21) 4190
Email: h_haghighi@sbu.ac.ir
Personal website: http://facultymembers.sbu.ac.ir/haghighi/

Academic Degrees

PhD, , Sharif University of Technology, Tehran.


Journal Articles
1. A. Khalilian, A. Nourazar, M. Vahidi asl, H. Haghighi, "G3MD Mining frequent opcode sub-graphs for metamorphic malware detection of existing families" , EXPERT SYSTEMS WITH APPLICATIONS, Vol.112, pp.15-33, 2018.
2. S. Amiri chimeh, H. Haghighi, M. Vahidi asl, K. Setayesh ghajar, F. Gholami ghavam abad, "Rings A Game with a Purpose for Test Data Generation" , INTERACTING WITH COMPUTERS, Vol.30, pp.1-30, 2018.
3. F. Gohari, F. Shams aliee, H. Haghighi, "A new confidence-based recommendation approach Combining trust and certainty" , INFORMATION SCIENCES, Vol.422, pp.21-50, 2017.
4. H. Sharifipour, M. Shakeri, H. Haghighi, "Structural test data generation using a memetic ant colony optimization based on evolution strategies" , Swarm and Evolutionary Computation, Vol.40, pp.76-91, 2017.
5. M. Alemi, H. Haghighi, S. Shahrivari, "CCFinder using Spark to find clustering coefficient in big graphs" , JOURNAL OF SUPERCOMPUTING, Vol.73, pp.4683-4710, 2017.
6. A. Bozorgi, H. Haghighi, M. Zahedi, M. Rezvani, "INCIM A community-based algorithm for influence maximization problem under the linear threshold model" , INFORMATION PROCESSING and MANAGEMENT, Vol.52, pp.1188-1199, 2016.
7. A. Tarihi, H. Haghighi, F. Shams aliee, "A Bio-Inspired Self-configuring Observer/ Controller for Organic Computing Systems" , Journal of Information Systems and Telecommunication, Vol.4, pp.134-144, 2016.
8. F. Bahrpeyma, H. Haghighi, A. Zakerolhosayni, "A bipolar resource management framework for resource provisioning in Cloud s virtualized environment" , APPLIED SOFT COMPUTING, Vol.46, pp.487-500, 2016.
9. F. Gohari, H. Haghighi, F. Shams aliee, "A semantic-enhanced trust based recommender system using ant colony optimization" , APPLIED INTELLIGENCE, Vol.45, pp.1-37, 2016.
10. M. Ghoreshi, H. Haghighi, "An incremental method for extracting tests from object-oriented specification" , INFORMATION AND SOFTWARE TECHNOLOGY, Vol.78, pp.1-26, 2016.
11. M. Najafi, H. Haghighi, T. Zohdi nasab, "A SET OF REFACTORING RULES FOR UML-B SPECIFICATIONS" , COMPUTING AND INFORMATICS, Vol.35, pp.1001-1030, 2016.
12. M. Torkashvan, H. Haghighi, "SCW A service-oriented framework for cloud workflow systems" , Scientia Iranica, Vol.23, pp.1195-1216, 2016.
13. F. Bahrpeyma, H. Haghighi, A. Zakerolhosayni, "An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers" , COMPUTING, Vol.1, pp.1-26, 2015.
14. M. Najafi, H. Haghighi, T. Zohdi nasab, "A survey on formal object-oriented program development approaches" , Scientia Iranica, Vol.22, pp.1001-1017, 2015.
15. M. Torkashvan, H. Haghighi, "CBC2 A Cloud-based Botnet Command and Control" , INDIAN JOURNAL OF SCIENCE AND TECHNOLOGY, Vol.8, pp.1-15, 2015.
16. F. Bahrpeyma, A. Zakerolhosayni, 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, pp.285-298, 2015.
17. A. Kazemi, A. Rostampour, H. Haghighi, S. Abbasi, "A CONCEPTUAL COHESION METRIC FOR SERVICE ORIENTED SYSTEMS" , Journal of Web Engineering, Vol.13, pp.302-332, 2014.
18. 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, pp.15-22, 2014.
19. A. Akhavan saraf, H. Haghighi, "An Approach to Classify Existing Constraints as Inputs for Web Service Composition" , International Journal of Computer Applications, Vol.69, pp.23-31, 2013.
20. A. Kazemi, H. Haghighi, F. Shams aliee, "ABSIM AN AUTOMATED BUSINESS SERVICE IDENTIFICATION METHOD" , INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Vol.9, pp.1303-1342, 2013.
21. M. Najafi, H. Haghighi, "A Formal Mapping from Object-Z Specification to C Code" , Scientia Iranica, Vol.20, pp.1953-1977, 2013.
22. S. SH., H. Haghighi, "A Formal Framework for Specifying Concurrent Systems" , International Journal of Computer Applications, Vol.68, pp.17-25, 2013.
23. M. Najafi, H. Haghighi, "An Integration of UML-B and Object-Z in Software Development Process" , Lecture Notes in Electrical Engineering, Vol.152, pp.633-648, 2013.
24. H. Haghighi, A. Khormaee, M. Shirmohammadi, "Incorporating CMMI with Agile Method Using Change Management" , International Journal of Emerging Technology and Advanced Engineering, Vol.2, 2012.
25. H. Haghighi, M. Afsharfarnia, "A Z-Based Formalism to Specify Markov Chains" , Computer Science and Engineering, Vol.2, pp.24-31, 2012.
26. H. Haghighi, S. Mirian, "Towards a Calculus for Nondeterministic Schemas in Z" , INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Vol.22, pp.839-865, 2012.
27. M. Golshani nasab, H. Haghighi, "A translation from web application description language into Z notation" , Journal of Global Information Management, Vol.1, 2012.
28. M. Najafi, H. Haghighi, "An Approach to Animate Object-Z Specifications Using C" , Scientia Iranica, Vol.19, pp.1699-1721, 2012.
29. M. Najafi, H. Haghighi, "An approach to develop C Code from object-Z specifications" , Journal of Global Information Management, Vol.1, 2012.
30. S. Sayyari, H. Haghighi, A. F., M. Javanmard, "An agent oriented Architecture to Supply Flexibility in ERP Systems" , Journal of Information and communication Technologies, Vol.2, 2012.
31. S. Farrokhi, A. Ghaffari, H. Haghighi, F. Shams aliee, "MDCHeS Model-Driven Dynamic Composition of Heterogeneous Service" , International Journal on Communications Network and System Science, Vol.5, pp.644-660, 2012.
32. CH. SH., H. Haghighi, "A Comprehensive and Integrated Framework for Formal Specification of Concurrent Systems" , World Academy of Science, Engineering and Technology, Vol.59, 2011.
33. H. Haghighi, M. Javanmard, "Constructive Development of Probabilistic Programs" , Springer, Vol.0, 2011.
34. H. Haghighi, S. Ghorbani, M. Mohebati, "An Agent Oriented Architecture to Supply Integration in ERP Systems" , World acedemy engineering and technology, Vol.73, 2011.
35. H. Haghighi, Z. Hosseini, S. J., "An Agent Oriented Architecture to Supply Dynamic Document Generation in ERP Systems" , World Academy of Science, Engineering and Technology, Vol.59, 2011.
36. H. Haghighi, Z. Hosseini, S. Jalambadani, "An Agent Oriented Architecture to Supply Multilanguage in EPR Systems" , World Academy of Science, Engineering and Technology, Vol.59, 2011.
37. M. Najafi, H. Haghighi, "Refinement of Object-Z Specifications Using Morgan s Refinement Calculus" , World Academy of Science, Engineering and Technology, Vol.59, 2011.
38. H. Haghighi, "An Accelerated Methodology for Selecting Proper ERP Packages" , Journal of communication and computer, Vol.8, 2011.
39. H. Haghighi, "Pz az - based formalism for modeling probabilistic behavior" , World acedemy engineering and technology, Vol.61, 2009.
40. H. Haghighi, "Towards a systematic cost - effective approach for erp selection" , World acedemy engineering and technology, Vol.61, 2009.
41. H. Haghighi, "AaaaZZZZZZZZZZZZZZZZZZZZZEEEEEEEEEEEEEEEE" , International Journal of Research in Engineering and Technology(IJRET).
42. H. Haghighi, "ZZZZZZZZZZZXXXXXXXXXXXXXXXXXX" , International Journal of Research in Engineering and Technology(IJRET).
43. M. Mahmoudian fard, H. Haghighi, M. Javanmard, "A Flexible Agent Oriented Architecture for Business Automation" , International journal of applied science and technology.
44. M. Mahmoudian fard, H. Haghighi, S. Ghorbani, "An Agent Oriented Architecture to Support Flexibility of Manufacturing" , Journal of basic and applied scientific research ().
45. ع. طريحي, ح. حقيقي, ف. شمس‌عليئي, "خود-ترميمي در سازوكار كنترلي سامانه هاي تطبيق پذير" , علوم رايانشي, صفحات:2-17, 1397.
46. ن. كريمي رزوه, ح. حقيقي, "مدلي براي پشتيباني از تصميم گيري در سيستمهاي خودتطبيق" , صنايع الكترونيك, نسخه 6, صفحات:87-95, 1394.
47. م. فدائيان, ح. حقيقي, "ارائه يك معماري مبتني بر پيشكار براي مستندسازي پويا در سيستمهاي ERP" , صنايع الكترونيك, نسخه 4, صفحات:69-87, 1393.


Conference Articles
1. F. Gholami ghavam abad, N. Attar, H. Haghighi, M. Vahidi asl, M. Valuyan, S. Mohamadyari nigjeh, "A Classifier-based Test Oracle for Embedded" , In The CSI International Symposium on Real-Time and Embedded Systems and Technologies, 2018.
2. A. Monemi bidgoli, H. Haghighi, T. Zohdi nasab, H. S., "Using Swarm Intelligence to Generate Test Data for Covering Prime Paths" , In 7th IPM International Conference on Fundamentals of Software Engineering (FSEN 2017), 2017.
3. F. Gohari, F. Shams aliee, H. Haghighi, "A trust-aware group recommender system using particle swarm optimization" , In 2017 International Symposium on Computer Science and Software Engineering Conference (CSSE), 2017.
4. A. Khalilian, H. Golbaghi, A. Nourazar, H. Haghighi, M. Vahidi asl, "MetaSPD Metamorphic Analysis for Automatic Software Piracy Detection" , In International Conference on Computer and Knowledge Engineering (ICCKE 2016), 2016.
5. M. Ghaffari, A. H., H. Haghighi, "A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems" , In Sixth IPM International Conference on Fundamentals of Software Engineering (FSEN), 2015.
6. SH. B., H. Rashidi, H. Haghighi, "An approach to reduce QoS monitoring overhead in ESB" , In 8th International Conference on e-Commerce in Developing Counties With Focus on e-Trust (ECDC), 2014.
7. A. Tarihi, H. Haghighi, F. Shams aliee, "An Improved Architectural Pattern for Organic Resource-Flow Systems" , In The 2013 CSI International Symposium on Computer Science and Software Engineering (CSSE), 2013.
8. H. Sadeghian, A. Samadi, H. Haghighi, "Formal Analysis of Pure-join Model of Chord Using Alloy" , In 4th IEEE International Conference on Software Engineering and Service Sciences (ICSESS 2013), 2013.
9. N. Kord, H. Haghighi, "An Energy-Efficient Approach for Virtual Machine Placement in Cloud Based Data Centers" , In 5-th conference on Information Knowledge Technology (IKT), 2013.
10. M. Ghaffari, P. Djamshidi, S. Shahbazi, H. Haghighi, "An Architectural Approach to Ensure Globally Consistent Dynamic Reconfiguration of Component-Based Systems" , In 15th ACM Sigsoft Symposium on Component Based Software Engineering (CBSE 2012), 2012.
11. M. Ghaffari, P. Djamshidi, S. Shahbazi, H. Haghighi, "Safe Stopping of Running Component-based Distributed Systems Challenges and Research Gaps" , In Adaptive and Reconfigurable Service Oriented and Component-based Applications and Architectures (AROSA 2012), 2012.
12. M. Torkashvan, H. Haghighi, "A Greedy Approach for Service Composition" , In Sixth International Symposium on Telecommunications with emphasis on Information and Communication Technology (IST 2012), 2012.
13. M. Torkashvan, H. Haghighi, "A Service Oriented Framework for Cloud Computing" , In The third International Conference on Information and Communication Systems (ICICS 2012), 2012.
14. M. Torkashvan, H. Haghighi, "CSLAM A Framework for Cloud Service Level Agreement Management Based on WSLA" , In Sixth International Symposium on Telecommunications with emphasis on Information and Communication Technology (IST 2012), 2012.
15. S. Ghorbani, H. Haghighi, H. R., "A Formal Presentation of an Agent Oriented Architecture to Supply Intelligent Notification in ERP Systems" , In International workshop on Information Science and Education Technology (WISET2012), 2012.
16. S. Riahi chalshotori, H. Haghighi, "توليد صوري برنامه هاي همروند ايمن" , 2012.
17. A. Kazemi, A. Rostampoor, A. N., H. Haghighi, F. Shams aliee, "A Metric Suite for Measuring Service Modularity" , In Computer Science and Software Engineering (CSSE 2011), 2011.
18. A. Kazemi, A. Rostampoor, A. Zamiri, P. Djamshidi, H. Haghighi, F. Shams aliee, "An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion" , In 11th International Conference On Quality Software (QSIC2011), 2011.
19. A. Kazemi, N. Ali, A. Rostampoor, H. Haghighi, P. Djamshidi, F. Shams aliee, "Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing" , In 2011 IEEE International Conference on Services Computing (SCC2011), 2011.
20. A. Rostampoor, A. Kazemi, A. Zamiri, H. Haghighi, F. Shams aliee, "A Metric Suite for Measuring Service Alignment with Business Agility" , In Computer Science and Software Engineering (CSSE 2011), 2011.
21. H. Haghighi, M. Javanmard, "Constructive Development of Probabilistic Programs" , In 4th IPM international conference on Fundamentals of Software Engineering, 2011.
22. H. Haghighi, R. Rashidpour, "Two Approaches for Evaluating the Degree of Agility in Agile Methodologies" , In 2nd World Conference on Information Technology, 2011.
23. M. F., M. Sharifi, P. Djamshidi, F. Shams aliee, H. Haghighi, "Process Patterns for Service-Oriented Software Development" , In Fifth IEEE International Conference on Research Challenges in Information Science, 2011.
24. M. Golshani nasab, H. Haghighi, "Translating WADL into Z Specification Language" , In 2nd World Conference on Information Technology, 2011.
25. M. Najafi, H. Haghighi, "A Refactoring Rule for UML-B Specifications" , In 4th International Conference on Advanced Computer Theory and Engineering (ICACTE 2011), 2011.
26. M. Najafi, H. Haghighi, "An Animation Approach to Develop C Code from Object-Z Specifications" , In Computer Science and Software Engineering (CSSE 2011), 2011.
27. M. Najafi, H. Haghighi, "An Approach to Develop C Code from Object-Z Specifications" , In 2nd World Conference on Information Technology, 2011.
28. M. Najafi, H. Haghighi, "An Integration of UML-B and Object-Z in Software Development Process" , In Cisse2011 international joint conferences on cimputer information and systems siences and engineering, 2011.
29. H. Haghighi, "A Constructive Approach for Developing Probabilistic Programs Martin lof" , In 18th Iranian Conference on Electrical Engineering, 2010.
30. H. Haghighi, "Towards a Formal Framework for Developing Concurrent Programs Modeling Dynamic Behavior" , In The eighth ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-10), 2010.
31. H. Haghighi, M. Javanmard, S. J., "رهيافتي نظامند براي انتخاب نرم افزار برنامه ريزيمنابع سازماني در سازمان هاي ايراني" , 2010.
32. H. Haghighi, S. M., "A refinement approach for developing probabilistic programs" , In Proceeding of the 14th international csi computer conference (csicc2009), 2009.
33. H. Haghighi, "An agente oriented architecture to supply integration in ERP system" .
34. ف. گوهري, ف. شمس‌عليئي, ح. حقيقي, "سيستم توصيهگر مبتني بر اعتماد آگاه از زمينه" بيست و سومين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1396.
35. ح. حقيقي, ف. جعفري كليبر, م. عباسپور, ر. گرگاني, "ارائه برنامه عملياتي آموزش شهروندي بهمنظور بهرهبرداري مناسب از خدمات الكترونيك شهرداري تهران" سومين كنفرانس شهر سايبري (راياشهر), 1396.
36. س. ميرحسيني, ح. حقيقي, م. رضاعلي پور, "توليد داده آزمون ساختاري با استفاده از الگوريتم بهينه سازي غذايابي باكتري" دومين كنفرانس ملي محسبات نرم, 1396.
37. ع. منعمي بيدگلي, ح. حقيقي, ح. صبوري قمي, م. فتح قريب بيدگلي, "كلاسه بندي فضاي جستجو در روش مبتني بر جستجوي توليد داده آزمون" بيست و دومين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1395.
38. م. عالمي, ح. حقيقي, "الگوريتم چندهسته اي براي كاوش زيرگراف هاي k-truss" بيست و دومين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1395.
39. ا. رحمان زاده, آ. نيسي مينايي, ح. حقيقي, "به سوي هوشمند شدن شهر تهران محدوديت ها و چالش ها" هشتمين كنفرانس نظام اداري الكترونيكي, 1394.
40. ا. رحمان زاده, ح. حقيقي, س. سعدآباي, "شناسايي ذي نفعان در هوشمندسازي شهر تهران" هشتمين كنفرانس نظام اداري الكترونيكي, 1394.
41. س. سجادي, ح. حقيقي, "ارائه روشي براي توصيف و درستي يابي پايگاه داده ها با استفاده از Object-Z" هفتمين كنفرانس بين المللي فناوري اطلاعات و دانش, 1394.
42. ع. طريحي, ح. حقيقي, س. سعدآبادي, "ماده 128 برنامه پنج ساله دوم شهرداري تهران به دنبال چه آرمان شهري است" هشتمين كنفرانس نظام اداري الكترونيكي, 1394.
43. ع. طريحي, ح. حقيقي, ف. شمس‌عليئي, "ارائه رويكردي صوري جهت مدلسازي و درستي يابي ويژگي خودسازي در سامانه هاي نهفته" هفتمين كنفرانس بين المللي فناوري اطلاعات و دانش, 1394.
44. ي. رستگاري, ح. حقيقي, س. سجادي, "تحليل محتوا با هدف برنامه ريزي راهبردي تهران هوشمند" هشتمين كنفرانس نظام اداري الكترونيكي, 1394.
45. ن. رشادي, ح. حقيقي, "ارزيابي ميزان بهره گيري چارچوبهاي سرويس گراي زكمن از مفاهيم سرويس گرايي به كمك معماري سرويس مولفه اي" بيستمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1393.
46. ا. بزرگي, ح. حقيقي, م. اسدپور, م. زاهدي, "الگوريتمي كارا براي بيشينه سازي تاثير در جوامع موجود در شبكه هاي اجتماعي تحت مدل آستانه اي خطي" , 1393.
47. ا. فضلي, م. حبيبي, ح. حقيقي, ج. حبيبي, "بررسي رويكرد اتخاذ فناوريهاي تعاملي در پروژه برنامه ريزي منابع سازماني شركت ملي نفت ايران" سومين كنفرانس فناوري اطلاعات و ارتباطات در صنايع نفت، گاز، پالايش و پتروشيمي, 1393.
48. ر. رشيدپور, ح. حقيقي, ح. ابوالقاسمي, "ارزيابي ميزان چابكي متدلوژي XP" همايش ملي مهندسي رايانه و مديريت فناوري اطلاعات, 1393.
49. ف. شكراراء, آ. ساعي ارسي, ح. حقيقي, ر. شكرآرا, "تبيين و تحليل مفاهي بنيادي توسعه نرم افزار ناب پژوهشي تطبيقي با رويكردهاي چابك" دومين همايش علوم و مهندسي كامپيوتر, 1393.
50. م. براري, ح. حقيقي, ا. قاسمي كميشاني, "تركيب بهينه سرويس هاي وب با استفاده از الگوريتم درهم آميختن پرش قورباغه ها" همايش ملي مهندسي رايانه و مديريت فناوري اطلاعات, 1393.
51. م. حبيبي, ح. حقيقي, ح. جعفر, "بررسي چگونگي بهره گيري از رايانش ابري در سامانه ERP شركت ملي نفت ايران" سومين كنفرانس فناوري اطلاعات و ارتباطات در صنايع نفت، گاز، پالايش و پتروشيمي, 1393.
52. ح. حقيقي, س. جلمباداني, "ارائه يك معماري عامل گرا براي مستندسازي در سامانه هاي ERP" نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1392.
53. س. سرور, ح. حقيقي, ص. خوشنويس, "استخراج مدل خانواده فرآيندهاي حرفه در خط محصول نرم افزار مبتني بر نمودارهاي فرآيند حرفه" نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1392.
54. س. سياري, ح. حقيقي, م. محموديان فرد, "ارائه يك معماري عامل گرا براي تامين انعطاف پذيري در ERP" نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1392.
55. م. فلاح طلب, ح. حقيقي, "ارائه روشي براي تبديل مدلهاي UML-B به توصيفهاي Object-Z" نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1392.
56. و. قاسمي, ح. حقيقي, "ارائه روشي آگاه از زمينه جهت اكتشاف سرويسها" نوزدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1392.
57. ح. حقيقي, ع. زارع بيدكي, ز. درهمي, "رتبه بندي كاراي صفحات وب با استفاده از تركيب ويژگي هاي مناسب" پنجمين كنفرانس مهندسي برق و الكترونيك, 1392.
58. ح. حقيقي, م. روشن فرزاد, "روشي براي تزريق جنبه گرايي در معماري سرويس گرا با هدف بهبود امنيت نرم افزار" كنفرانس بين المللي ، فناوري اطلاعات و رسانه هاي ديجيتال, 1392.
59. ز. مجدي, ح. حقيقي, "ارائه روشي براي صحت سنجي توصيفهاي Z از سيستمهاي همروند با درنظر گرفتن اعمال غيرقطعي" اولين همايش ملي رويكردهاي نوين در مهندسي كامپيوتر و بازيابي اطلاعات, 1392.
60. م. براري, ح. حقيقي, ا. قاسمي كميشاني, "تركيب بهينه سرويسهاي وب با استفاده از الگوريتم درهم آميختن پرش قورباغه ها" كنفرانس بين المللي ، فناوري اطلاعات و رسانه هاي ديجيتال, 1392.
61. ن. كرد, ح. حقيقي, "ارائه روشي مبتني بر ضريب همبستگي به منظور افزايش بهره وري انرژي در محيط هاي ابري" هجدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1391.
62. ع. كريمي, ح. حقيقي, "ارائه روشي كيفي براي تركيب سرويس هاي وب با استفاده از الگوريتم بهينه سازي جمعي ذرات" كنگره ملي مهندسي برق، كامپيوتر و فناوري اطلاعات, 1391.
63. م. افشارفرنيا, ح. حقيقي, "فرماليسمي مبتني برZ براي توصيف سامانه هاي C4I احتمالاتي" ششمين كنفرانس ملي فرماندهي و كنترل ايران, 1391.
64. م. محمدي, س. قرشي, ح. حقيقي, "راهبرد هاي بهبودي براي توصيف صوري جهت جلوگيري از خطاهاي سيستم هاي C4I با ديدگاه تحليل SWOT" ششمين كنفرانس ملي فرماندهي و كنترل ايران, 1391.
65. ا. اخوان صراف, ح. حقيقي, "ارائه رهيافتي براي طبقه بندي محدوديت-هاي موجود به عنوان ورودي براي توسعه تركيب سرويس هاي وب" هفدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1390.
66. ر. رشيدپور, ح. حقيقي, "ارائه يك مجموعه متريك نرم افزاري جهت ارزيابي ميزان چابكي" هفدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1390.
67. س. قرباني, ح. حقيقي, ج. رشيدي كنعان, "ارائه صوري يك معماري عامل گرا براي تامين اعلان هشدار هوشمند در سيستم هاي ERP" هفدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1390.
68. م. صمدي, ح. حقيقي, "ارائه ي روشي صوري براي تركيب ديدگاه ذي نفعان مختلف در توصيف سيستم هاي احتمالاتي" هفدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1390.
69. م. گلشني نسب, ح. حقيقي, "استفاده از روش هاي صوري براي بررسي تركيب پذيري سرويس هاي وب" هفدهمين كنفرانس ملي سالانه انجمن كامپيوتر ايران, 1390.
70. ح. حقيقي, س. شريفي راد, "به سوي توسعه يك مدلسازي صوري از تمامي جنبه هاي اصلي سيستمهاي همروند" اولين همايش منطقه اي رويكردهاي نوين در مهندسي نرم افزار و فناوري اطلاعات, 1390.
71. ح. حقيقي, م. محموديان فرد, س. سياري, "معرفي يك معماري عامل گرا انعطاف پذير براي اتوماسيون كارخانه" اولين همايش تخصصي سيستهاي هوشمند كامپيوتري و كاربردهاي آنها, 1390.
72. ح. حقيقي, س. قرباني, "معرفي يك معماري عاملگرا براي تامين اعلان هشدار هوشمند در سيستمهاي ERP" شانزدهمين كنفرانس ملي انجمن كامپيوتر ايران, 1389.
73. ح. حقيقي, ا. حجتي, "انتخاب معماري مناسب براي نرم افزار هاي مديريت منابع سازماني" دومين كنفرانس منابع سازماني, 1388.
74. ح. حقيقي, س. جواديان, م. جوانمرد, "توصيف صوري رفتار پوياي سيستم هاي هم روند به كمك يك زبان شبه z" پانزدهمين كنفرانس سالانه انجمن كامپيوتر ايران, 1388.
75. ح. حقيقي, س. قرباني, م. محبتي, "معرفي يك معماري عامل گرا براي تامين يكپارچگي در سيستم هاي( erp(17545" ششمين كنفرانس بين المللي مديريت فناوري اطلاعات و ارتباطات, 1388.


Shahid Beheshti University

Shahid Beheshti University