مقالات علمی چاپ شده در مجلات

1. "A Flexible Agent Oriented Architecture for Business Automation"
   Mona Mahmoudian Fard, Hassan Haghighi, Mohammadmahdi Javanmard
   international journal of applied science and technology,
2. "An Agent Oriented Architecture to Support Flexibility of Manufacturing"
   Mona Mahmoudian Fard, Hassan Haghighi,
   journal of basic and applied scientific research (MSRT BLACKLIST),
3. "Doctor Code: A Machine Learning-Based Approach to Program Repair"
   Sharmin Moosavi, Mojtaba Vahidi Asl, Hassan Haghighi, Mohammad Rezaalipour
   Scientia Iranica, Vol. 31, pp.83-102, 2024
4. "Object coverage criteria for supporting object-oriented testing"
   Mohammad Ghoreshi, Hassan Haghighi
   SOFTWARE QUALITY JOURNAL, Vol. 31, pp.1369-1414, 2023
5. "Application of ICT in effective crisis management: A systematic review"
   Mohammad Ali Fazeli, Hamid Moghaddasi, Azamossadat Hosseini, Farkhondeh Asadi, Hassan Haghighi
   Journal of Emergency Management, Vol. 19, pp.591-606, 2021
6. "Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation"
   Atieh Monemi Bidgoli, Hassan Haghighi
   Journal of Information Systems and Telecommunication, Vol. 8, pp.238-248, 2021
7. "Test Data Generation Using Genetic Programming"
   Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi Asl
   INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 130, 2021
8. "Macrophage+: a Game With a Purpose for Applying Human Intelligence in Control Mechanisms"
   Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee, Amirmehdi Setarenejad
   Scientia Iranica, Vol. 27, pp.2985-3004, 2020
9. "A Search-Based Test Data Generation Method for Concurrent Programs"
   Seyed Mohsen Mirhosseini, Hassan Haghighi
   International Journal of Computational Intelligence Systems, Vol. 13, pp.1161-1175, 2020
10. "Using Likely Invariants for Test Data Generation"
    Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi Asl
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 164, 2020
11. "SLDeep Statement-level software defect prediction using deep-learning model on static code features"
    Amirabbas Majd, Mojtaba Vahidi Asl, Alireza Khalilian, Pooria Poorsarvi Tehrani, Hassan Haghighi
    EXPERT SYSTEMS WITH APPLICATIONS, Vol. 147, 2020
12. "Constructing automated test oracle for low observablesoftware"
    Meysam Valuyan, Niousha Attar, Hassan Haghighi, Mojtaba Vahidi Asl
    Scientia Iranica, Vol. 27, pp.1333-1351, 2020
13. "Designing an architectural model of crisis management information system for natural disasters in Iran"
    Mohamnadali Fazeli, Azamosadat Hosseini, Hamid Moghadasi, Farkhondeh Asadi, Hassan Haghighi
    Archives of Advances in Biosciences, Vol. 11, pp.1-14, 2020
14. "A significance-based trust-aware recommendation approach"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    INFORMATION SYSTEMS, Vol. 87, 2020
15. "Application of the Shuffled Frog Leaping Algorithm(SFLA) in Constructing Fuzzy Classification Systems"
    Seyed Mohsen Mirhosseini, Hassan Haghighi
    International Journal of Computational Intelligence and Applications, Vol. 18, 2019
16. "An approach to solving non-linear real constraints for symbolic execution"
    Saeed Amiri Chimeh, Hassan Haghighi
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 157, 2019
17. "Augmenting ant colony optimization with adaptive random testing to cover prime paths"
    Atieh Monemi Bidgoli, Hassan Haghighi
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 161, 2019
18. "KTMiner: Distributed k-truss detection in big graphs"
    Mehdi Alemi, Hassan Haghighi
    INFORMATION SYSTEMS, Vol. 83, pp.195-216, 2019
19. "A PROBABILISTIC EXTENSION OF UML-B"
    Mohammad Nosrati, Hassan Haghighi
    COMPUTING AND INFORMATICS, Vol. 38, pp.85-114, 2019
20. "A Dynamic Local-Global Trust-aware Recommendation approach"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    Electronic Commerce Research and Applications, Vol. 34, pp.1-23, 2019
21. "Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures"
    Alireza Khalilian, Alireza Mirzaeiyan, Mojtaba Vahidi Asl, Hassan Haghighi
    JOURNAL OF EXPERIMENTAL and THEORETICAL ARTIFICIAL INTELLIGENCE, Vol. 31, pp.267-289, 2019
22. "G3MD Mining frequent opcode sub-graphs for metamorphic malware detection of existing families"
    Alireza Khalilian, Amir Nourazar, Mojtaba Vahidi Asl, Hassan Haghighi
    EXPERT SYSTEMS WITH APPLICATIONS, Vol. 112, pp.15-33, 2018
23. "From Object-Z speci cation to Groovy implementation"
    Farzin Zaker, Hassan Haghighi, Eslam Nazemi
    Scientia Iranica, Vol. 25, pp.3415-3441, 2018
24. "Extracting the main characteristics of a city to be smart"
    Amin Rahmanzadeh, Hassan Haghighi, Ali Tarihi
    International Journal of Architectural Engineering and Urban Planning, Vol. 28, pp.187-201, 2018
25. "Improving Recommender Systems Using Context-Dependent Trust Relationships"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    Journal on Computer Science and Engineering, Vol. 16, pp.10-19, 2018
26. "Rings A Game with a Purpose for Test Data Generation"
    Saeed Amiri Chimeh, Hassan Haghighi, Mojtaba Vahidi Asl, Kamyar Setayesh Ghajar, Farshad Gholami Ghavam Abad
    INTERACTING WITH COMPUTERS, Vol. 30, pp.1-30, 2018
27. "Difficulties of diagnosing alzheimer's disease: The application of clinical decision support systems"
    Masoud Amanzadeh, Hamid Moghadasi, Reza Rabiei, Ali Amini Harandi, Hassan Haghighi
    Journal of Paramedical Sciences, Vol. 9, pp.47-54, 2018
28. "The Construction of Fuzzy Classification Systems Using the Shuffled Frog Leaping Algorithm"
    Seyed Mohsen Mirhosseini, Hassan Haghighi, Bahrami Jamshid
    Journal on Computer Science and Engineering, Vol. 15, pp.18-30, 2018
29. "A new confidence-based recommendation approach Combining trust and certainty"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    INFORMATION SCIENCES, Vol. 422, pp.21-50, 2017
30. "Structural test data generation using a memetic ant colony optimization based on evolution strategies"
    Hossein Sharifipour, Mojtaba Shakeri, Hassan Haghighi
    Swarm and Evolutionary Computation, Vol. 40, pp.76-91, 2017
31. "CCFinder using Spark to find clustering coefficient in big graphs"
    Mehdi Alemi, Hassan Haghighi, Saeed Shahrivari
    JOURNAL OF SUPERCOMPUTING, Vol. 73, pp.4683-4710, 2017
32. "A semantic-enhanced trust based recommender system using ant colony optimization"
    Faezeh Gohari, Hassan Haghighi, Fereidoon Shams Aliee
    APPLIED INTELLIGENCE, Vol. 45, pp.1-37, 2016
33. "A Bio-Inspired Self-configuring Observer/ Controller for Organic Computing Systems"
    Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee
    Journal of Information Systems and Telecommunication, Vol. 4, pp.134-144, 2016
34. "INCIM A community-based algorithm for influence maximization problem under the linear threshold model"
    Arastoo Bozorgi, Hassan Haghighi, ,
    INFORMATION PROCESSING and MANAGEMENT, Vol. 52, pp.1188-1199, 2016
35. "SCW A service-oriented framework for cloud workflow systems"
    Milad Torkashvan, Hassan Haghighi
    Scientia Iranica, Vol. 23, pp.1195-1216, 2016
36. "A bipolar resource management framework for resource provisioning in Cloud s virtualized environment"
    Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosayni
    APPLIED SOFT COMPUTING, Vol. 46, pp.487-500, 2016
37. "A SET OF REFACTORING RULES FOR UML-B SPECIFICATIONS"
    Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
    COMPUTING AND INFORMATICS, Vol. 35, pp.1001-1030, 2016
38. "An incremental method for extracting tests from object-oriented specification"
    Mohammad Ghoreshi, Hassan Haghighi
    INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 78, pp.1-26, 2016
39. "A survey on formal object-oriented program development approaches"
    Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
    Scientia Iranica, Vol. 22, pp.1001-1017, 2015
40. "CBC2 A Cloud-based Botnet Command and Control"
    Milad Torkashvan, Hassan Haghighi
    INDIAN JOURNAL OF SCIENCE AND TECHNOLOGY, Vol. 8, pp.1-15, 2015
41. "An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers"
    Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosayni
    COMPUTING, Vol. 1, pp.1-26, 2015
42. "Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud s virtualized environment"
    Fouad Bahrpeyma, Ali Zakerolhosayni, Hassan Haghighi
    APPLIED SOFT COMPUTING, Vol. 26, pp.285-298, 2015
43. "An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems"
    Mahboobeh Samadi, Hassan Haghighi
    Journal of Information Systems and Telecommunication, Vol. 2, pp.15-22, 2014
44. "A CONCEPTUAL COHESION METRIC FOR SERVICE ORIENTED SYSTEMS"
    Ali KAZEMI, , Hassan Haghighi,
    Journal of Web Engineering, Vol. 13, pp.302-332, 2014
45. "ABSIM AN AUTOMATED BUSINESS SERVICE IDENTIFICATION METHOD"
    Ali KAZEMI, Hassan Haghighi, Fereidoon Shams Aliee
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Vol. 9, pp.1303-1342, 2013
46. "A Formal Framework for Specifying Concurrent Systems"
    , Hassan Haghighi
    International Journal of Computer Applications, Vol. 68, pp.17-25, 2013
47. "An Approach to Classify Existing Constraints as Inputs for Web Service Composition"
    Amine Akhavan Saraf, Hassan Haghighi
    International Journal of Computer Applications, Vol. 69, pp.23-31, 2013
48. "A Formal Mapping from Object-Z Specification to C Code"
    Mehrnaz Najafi, Hassan Haghighi
    Scientia Iranica, Vol. 20, pp.1953-1977, 2013
49. "An Integration of UML-B and Object-Z in Software Development Process"
    Mehrnaz Najafi, Hassan Haghighi
    Lecture Notes in Electrical Engineering, Vol. 152, pp.633-648, 2013
50. "A translation from web application description language into Z notation"
    Mahsa Golshani Nasab, Hassan Haghighi
    Journal of Global Information Management, Vol. 1, 2012
51. "Towards a Calculus for Nondeterministic Schemas in Z"
    Hassan Haghighi,
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Vol. 22, pp.839-865, 2012
52. "An approach to develop C Code from object-Z specifications"
    Mehrnaz Najafi, Hassan Haghighi
    Journal of Global Information Management, Vol. 1, 2012
53. "An Approach to Animate Object-Z Specifications Using C"
    Mehrnaz Najafi, Hassan Haghighi
    Scientia Iranica, Vol. 19, pp.1699-1721, 2012
54. "Incorporating CMMI with Agile Method Using Change Management"
    Hassan Haghighi, Afrooz Khormaee,
    International Journal of Emerging Technology and Advanced Engineering, Vol. 2, 2012
55. "An agent oriented Architecture to Supply Flexibility in ERP Systems"
    , Hassan Haghighi, , Mohammadmahdi Javanmard
    Journal of Information and communication Technologies, Vol. 2, 2012
56. "A Z-Based Formalism to Specify Markov Chains"
    Hassan Haghighi, Mahsa Afsharfarnia
    Computer Science and Engineering, Vol. 2, pp.24-31, 2012
57. "MDCHeS Model-Driven Dynamic Composition of Heterogeneous Service"
    Soodeh Farrokhi, Amirreza Ghaffari, Hassan Haghighi, Fereidoon Shams Aliee
    International Journal on Communications Network and System Science, Vol. 5, pp.644-660, 2012
58. "An Agent Oriented Architecture to Supply Integration in ERP Systems"
    Hassan Haghighi, Sajad Ghorbani, Maryam Mohebati
    world acedemy engineering and technology, Vol. 73, 2011
59. "Constructive Development of Probabilistic Programs"
    Hassan Haghighi, Mohammadmahdi Javanmard
    Springer, 2011
60. "An Accelerated Methodology for Selecting Proper ERP Packages"
    Hassan Haghighi
    journal of communication and computer, Vol. 8, 2011
61. "towards a systematic cost - effective approach for erp selection"
    Hassan Haghighi
    world acedemy engineering and technology, Vol. 61, 2009
62. "pz az - based formalism for modeling probabilistic behavior"
    Hassan Haghighi
    world acedemy engineering and technology, Vol. 61, 2009
63. "ارائه یک سیستم توصیه گر اثربخش با به کارگیری روابط اعتماد محلی و سراسری آگاه از زمینه"
    فائزه سادات گوهری، فریدون شمس‌علیئی، حسن حقیقی
    علوم رایانشی، صفحات:3-14، 1398
64. "خود-ترمیمی در سازوکار کنترلی سامانه های تطبیق پذیر"
    علی طریحی، حسن حقیقی، فریدون شمس‌علیئی
    علوم رایانشی، صفحات:2-17، 1397
65. "الگوریتم موازی برای کاوش زیرگرافهای منسجم در گرافهای حجیم"
    مهدی عالمی، حسن حقیقی
    نشریه علوم رایانش و فناوری اطلاعات، نسخه 16، صفحات:47-58، 1397
66. "مدلی برای پشتیبانی از تصمیم گیری در سیستمهای خودتطبیق"
    ندا کریمی رزوه، حسن حقیقی
    صنایع الکترونیک، نسخه 6، صفحات:87-95، 1394
67. "ارائه یک معماری مبتنی بر پیشکار برای مستندسازی پویا در سیستمهای ERP"
    محدثه فدائیان، حسن حقیقی
    صنایع الکترونیک، نسخه 4، صفحات:69-87، 1393

مقالات علمی ارائه شده در همایش‌ها

1. "Use Cases of the Application Reference Model in IRAN"
   Hassan Haghighi, Mobasheri Maziar, Farhoud Jafari Kaleibar, Faezeh Hoseini
   21st International Conference on Enterprise Information Systems (ICEIS 2019), pp.674-681, 2019
2. "Greenify: A Game with the Purpose of TestData Generation for Unit Testing"
   Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzadeh, Mojtaba Vahidi Asl
   8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019), pp.77-92, 2019
3. "A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses"
   Atieh Monemi Bidgoli, Hassan Haghighi
   10th Symposium on Search-Based Software Engineering, pp.343-348, 2018
4. "Privacy Preserving Random Decision Tree Classification over Horizontally and Vertically Partitioned Data"
   Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
   The 16th IEEE International Conference on Dependable Autonomic and Secure Computing (DASC 2018), pp.600-607, 2018
5. "A Classifier-based Test Oracle for Embedded Software"
   Farshad Gholami Ghavam Abad, Niousha Attar, Hassan Haghighi, Mojtaba Vahidi Asl, Meysam Valuyan, Saina Mohamadyari Nigjeh
   The CSI International Symposium on Real-Time and Embedded Systems and Technologies, 2018
6. "A trust-aware group recommender system using particle swarm optimization"
   Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
   2017 International Symposium on Computer Science and Software Engineering Conference (CSSE), pp.1-6, 2017
7. "Using Swarm Intelligence to Generate Test Data for Covering Prime Paths"
   Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab,
   7th IPM International Conference on Fundamentals of Software Engineering (FSEN 2017), pp.132-147, 2017
8. "MetaSPD Metamorphic Analysis for Automatic Software Piracy Detection"
   Alireza Khalilian, Hadi Golbaghi, Amir Nourazar, Hassan Haghighi, Mojtaba Vahidi Asl
   International Conference on Computer and Knowledge Engineering (ICCKE 2016), 2016
9. "A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems"
   Hassan Haghighi
   sixth IPM International Conference on Fundamentals of Software Engineering (FSEN), pp.80-89, 2015
10. ""
    Arastoo Bozorgi, Hassan Haghighi,
    The 6th Conference on Information and Knowledge Technology, pp.1019-1026, 2014
11. "An approach to reduce QoS monitoring overhead in ESB"
    Hassan Haghighi
    8th International Conference on e-Commerce in Developing Counties With Focus on e-Trust (ECDC), 2014
12. "An Improved Architectural Pattern for Organic Resource-Flow Systems"
    Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee
    The 2013 CSI International Symposium on Computer Science and Software Engineering (CSSE), pp.1-11, 2013
13. "An Energy-Efficient Approach for Virtual Machine Placement in Cloud Based Data Centers"
    Negin Kord, Hassan Haghighi
    5-th conference on Information Knowledge Technology (IKT), pp.241-246, 2013
14. "Formal Analysis of Pure-join Model of Chord Using Alloy"
    Hooman Sadeghian, Alborz Samadi, Hassan Haghighi
    4th IEEE International Conference on Software Engineering and Service Sciences (ICSESS 2013), pp.102-106, 2013
15. "A Greedy Approach for Service Composition"
    Milad Torkashvan, Hassan Haghighi
    Sixth International Symposium on Telecommunications with emphasis on Information and Communication Technology (IST 2012), 2012
16. "CSLAM A Framework for Cloud Service Level Agreement Management Based on WSLA"
    Milad Torkashvan, Hassan Haghighi
    Sixth International Symposium on Telecommunications with emphasis on Information and Communication Technology (IST 2012), 2012
17. "An Architectural Approach to Ensure Globally Consistent Dynamic Reconfiguration of Component-Based Systems"
    Hassan Haghighi
    15th ACM Sigsoft Symposium on Component Based Software Engineering (CBSE 2012), 2012
18. "Safe Stopping of Running Component-based Distributed Systems Challenges and Research Gaps"
    Hassan Haghighi
    Adaptive and Reconfigurable Service Oriented and Component-based Applications and Architectures (AROSA 2012), 2012
19. "A Service Oriented Framework for Cloud Computing"
    Milad Torkashvan, Hassan Haghighi
    The third International Conference on Information and Communication Systems (ICICS 2012), pp.1-5, 2012
20. "A Formal Presentation of an Agent Oriented Architecture to Supply Intelligent Notification in ERP Systems"
    Hassan Haghighi,
    International workshop on Information Science and Education Technology (WISET2012), pp.417-421, 2012
21. "A Refactoring Rule for UML-B Specifications"
    Mehrnaz Najafi, Hassan Haghighi
    4th International Conference on Advanced Computer Theory and Engineering (ICACTE 2011), 2011
22. "An Approach to Develop C Code from Object-Z Specifications"
    Mehrnaz Najafi, Hassan Haghighi
    2nd World Conference on Information Technology, 2011
23. "Two Approaches for Evaluating the Degree of Agility in Agile Methodologies"
    Hassan Haghighi, Reihaneh Rashidpour
    2nd World Conference on Information Technology, 2011
24. "Translating WADL into Z Specification Language"
    Mahsa Golshani Nasab, Hassan Haghighi
    2nd World Conference on Information Technology, 2011
25. "An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion"
    Ali KAZEMI, Ali Rostampoor, Amin Zamiri, Hassan Haghighi, Fereidoon Shams Aliee
    11th International Conference On Quality Software (QSIC2011), pp.102-111, 2011
26. "Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing"
    Ali KAZEMI, Ali Rostampoor, Hassan Haghighi, Fereidoon Shams Aliee
    2011 IEEE International Conference on Services Computing (SCC2011), pp.504-511, 2011
27. "A Metric Suite for Measuring Service Modularity"
    Ali KAZEMI, Ali Rostampoor, Hassan Haghighi, Fereidoon Shams Aliee
    Computer Science and Software Engineering (CSSE 2011), pp.95-102, 2011
28. "A Metric Suite for Measuring Service Alignment with Business Agility"
    Ali Rostampoor, Ali KAZEMI, Amin Zamiri, Hassan Haghighi, Fereidoon Shams Aliee
    Computer Science and Software Engineering (CSSE 2011), pp.121-128, 2011
29. "An Animation Approach to Develop C Code from Object-Z Specifications"
    Mehrnaz Najafi, Hassan Haghighi
    Computer Science and Software Engineering (CSSE 2011), 2011
30. "Process Patterns for Service-Oriented Software Development"
    Fereidoon Shams Aliee, Hassan Haghighi
    Fifth IEEE International Conference on Research Challenges in Information Science, pp.1-9, 2011
31. "An Integration of UML-B and Object-Z in Software Development Process"
    Mehrnaz Najafi, Hassan Haghighi
    cisse2011 international joint conferences on cimputer information and systems siences and engineering, 2011
32. "Constructive Development of Probabilistic Programs"
    Hassan Haghighi, Mohammadmahdi Javanmard
    4th IPM international conference on Fundamentals of Software Engineering, 2011
33. "An agente oriented architecture to supply integration in ERP system"
    Hassan Haghighi
    ICISE 2011, 2011
34. "Towards a Formal Framework for Developing Concurrent Programs Modeling Dynamic Behavior"
    Hassan Haghighi
    The eighth ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-10), 2010
35. ""
    Hassan Haghighi,
    , 2010
36. ""
    Hassan Haghighi,
    , 2010
37. "a refinement approach for developing probabilistic programs"
    Hassan Haghighi,
    proceeding of the 14th international csi computer conference (csicc2009), 2009
38. "مکانیابی خطاهای کاربردها و خدمات نرم افزاری با کمک تولید داده آزمون با نامتغیرهای محتمل"
    محمد نصرتی مقدم طالمی، حسن حقیقی، مجتبی وحیدی اصل
    یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش، صفحات:8-13، 1399
39. "Challenges of Specification Mining-Based Test Oracle for Cyber-Physical Systems"
    مریم رعیت علی آبادی، حسن حقیقی، مجتبی وحیدی اصل، رامک قوامی زاده میبدی
    یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش، صفحات:1-7، 1399
40. "استخراج موارد آزمون سطح برون متد و درون کلاس از برنامه های شی گرا"
    سیدمحمد قرشی، حسن حقیقی
    یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش، صفحات:93-100، 1399
41. "مدل مرجع نرم افزار ایران"
    فرهود جعفری کلیبر، حسن حقیقی، مازیار مباشری، فائزه حسینی
    سومین همایش ملی پیشرفتهای معماری سازمانی، صفحات:108-115، 1398
42. "مدل بلوغ تعامل پذیری کشور"
    هانیه کشفی، حسن حقیقی، مازیار مباشری، امیرحسین محیط
    سومین همایش ملی پیشرفتهای معماری سازمانی، صفحات:92-99، 1398
43. "سیستم توصیه گر مبتنی بر اعتماد آگاه از زمینه"
    فائزه سادات گوهری، فریدون شمس‌علیئی، حسن حقیقی
    بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران، 1396
44. "ارائه برنامه عملیاتی آموزش شهروندی بهمنظور بهرهبرداری مناسب از خدمات الکترونیک شهرداری تهران"
    حسن حقیقی، فرهود جعفری کلیبر، مقصود عباسپور، روح الله گرگانی
    سومین کنفرانس شهر سایبری (رایاشهر)، صفحات:1-11، 1396
45. "تولید داده آزمون ساختاری با استفاده از الگوریتم بهینه سازی غذایابی باکتری"
    سیدمحسن میرحسینی، حسن حقیقی، محمد رضاعلی پور
    دومین کنفرانس ملی محسبات نرم، صفحات:1-8، 1396
46. "کلاسه بندی فضای جستجو در روش مبتنی بر جستجوی تولید داده آزمون"
    عطیه منعمی بیدگلی، حسن حقیقی، حمیده صبوری قمی، محمدجواد فتح قریب بیدگلی
    بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:220-226، 1395
47. "الگوریتم چندهسته ای برای کاوش زیرگراف های k-truss"
    مهدی عالمی، حسن حقیقی
    بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:127-133، 1395
48. "به سوی هوشمند شدن شهر تهران محدودیت ها و چالش ها"
    امین رحمان زاده، آصف نیسی مینایی، حسن حقیقی
    هشتمین کنفرانس نظام اداری الکترونیکی، صفحات:255-275، 1394
49. "تحلیل محتوا با هدف برنامه ریزی راهبردی تهران هوشمند"
    یوسف رستگاری، حسن حقیقی، سیده زهرا سجادی
    هشتمین کنفرانس نظام اداری الکترونیکی، صفحات:43-60، 1394
50. "شناسایی ذی نفعان در هوشمندسازی شهر تهران"
    امین رحمان زاده، حسن حقیقی، سیامک سعدآبای
    هشتمین کنفرانس نظام اداری الکترونیکی، صفحات:174-196، 1394
51. "ماده 128 برنامه پنج ساله دوم شهرداری تهران به دنبال چه آرمان شهری است"
    علی طریحی، حسن حقیقی، سیامک سعدآبادی
    هشتمین کنفرانس نظام اداری الکترونیکی، صفحات:91-108، 1394
52. "ارائه رویکردی صوری جهت مدلسازی و درستی یابی ویژگی خودسازی در سامانه های نهفته"
    علی طریحی، حسن حقیقی، فریدون شمس‌علیئی
    هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش، 1394
53. "ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z"
    سیده زهرا سجادی، حسن حقیقی
    هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش، 1394
54. "ارزیابی میزان بهره گیری چارچوبهای سرویس گرای زکمن از مفاهیم سرویس گرایی به کمک معماری سرویس مولفه ای"
    نیما رشادی، حسن حقیقی
    بیستمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:859-865، 1393
55. "بررسی رویکرد اتخاذ فناوریهای تعاملی در پروژه برنامه ریزی منابع سازمانی شرکت ملی نفت ایران"
    امین فضلی، مسلم حبیبی، حسن حقیقی، جعفر حبیبی
    سومین کنفرانس فناوری اطلاعات و ارتباطات در صنایع نفت، گاز، پالایش و پتروشیمی، صفحات:108-120، 1393
56. "بررسی چگونگی بهره گیری از رایانش ابری در سامانه ERP شرکت ملی نفت ایران"
    مسلم حبیبی، حسن حقیقی، حبیبی جعفر
    سومین کنفرانس فناوری اطلاعات و ارتباطات در صنایع نفت، گاز، پالایش و پتروشیمی، صفحات:128-140، 1393
57. "تبیین و تحلیل مفاهی بنیادی توسعه نرم افزار ناب پژوهشی تطبیقی با رویکردهای چابک"
    فاطمه شکراراء، آراز ساعی ارسی، حسن حقیقی، روح الله شکرآرا
    دومین همایش علوم و مهندسی کامپیوتر، صفحات:1-8، 1393
58. "ارزیابی میزان چابکی متدلوژی XP"
    ریحانه رشیدپور، حسن حقیقی، حامد ابوالقاسمی
    همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات، صفحات:1-13، 1393
59. "ترکیب بهینه سرویس های وب با استفاده از الگوریتم درهم آمیختن پرش قورباغه ها"
    مجتبی براری، حسن حقیقی، الهه قاسمی کمیشانی
    همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات، صفحات:1-7، 1393
60. "استخراج مدل خانواده فرآیندهای حرفه در خط محصول نرم افزار مبتنی بر نمودارهای فرآیند حرفه"
    سعادت سرور، حسن حقیقی، صدیقه خوشنویس
    نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:168-173، 1392
61. "ارائه یک معماری عامل گرا برای مستندسازی در سامانه های ERP"
    حسن حقیقی، سیده الهه جلمبادانی
    نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:154-161، 1392
62. "ارائه روشی برای تبدیل مدلهای UML-B به توصیفهای Object-Z"
    محبوبه فلاح طلب، حسن حقیقی
    نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:218-223، 1392
63. "ارائه روشی آگاه از زمینه جهت اکتشاف سرویسها"
    وهاب قاسمی، حسن حقیقی
    نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:556-561، 1392
64. "ارائه یک معماری عامل گرا برای تامین انعطاف پذیری در ERP"
    سمیه سیاری، حسن حقیقی، منا محمودیان فرد
    نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، صفحات:1089-1094، 1392
65. "ارائه روشی برای صحت سنجی توصیفهای Z از سیستمهای همروند با درنظر گرفتن اعمال غیرقطعی"
    زینب مجدی، حسن حقیقی
    اولین همایش ملی رویکردهای نوین در مهندسی کامپیوتر و بازیابی اطلاعات، صفحات:1-9، 1392
66. "روشی برای تزریق جنبه گرایی در معماری سرویس گرا با هدف بهبود امنیت نرم افزار"
    حسن حقیقی، مژگان روشن فرزاد
    کنفرانس بین المللی ، فناوری اطلاعات و رسانه های دیجیتال، صفحات:308-314، 1392
67. "ترکیب بهینه سرویسهای وب با استفاده از الگوریتم درهم آمیختن پرش قورباغه ها"
    مجتبی براری، حسن حقیقی، الهه قاسمی کمیشانی
    کنفرانس بین المللی ، فناوری اطلاعات و رسانه های دیجیتال، صفحات:1-7، 1392
68. "رتبه بندی کارای صفحات وب با استفاده از ترکیب ویژگی های مناسب"
    حسن حقیقی، علی محمد زارع بیدکی، زهره درهمی
    پنجمین کنفرانس مهندسی برق و الکترونیک، صفحات:3002-3009، 1392
69. "ارائه روشی مبتنی بر ضریب همبستگی به منظور افزایش بهره وری انرژی در محیط های ابری"
    نگین کرد، حسن حقیقی
    هجدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، 1391
70. "راهبرد های بهبودی برای توصیف صوری جهت جلوگیری از خطاهای سیستم های C4I با دیدگاه تحلیل SWOT"
    میلاد محمدی، سیدمحمد قرشی، حسن حقیقی
    ششمین کنفرانس ملی فرماندهی و کنترل ایران، 1391
71. "فرمالیسمی مبتنی برZ برای توصیف سامانه های C4I احتمالاتی"
    مهسا افشارفرنیا، حسن حقیقی
    ششمین کنفرانس ملی فرماندهی و کنترل ایران، 1391
72. "تولید صوری برنامه های همروند ایمن"
    شهرزاد ریاحی چالشتری، حسن حقیقی
    ششمین کنفرانس ملی فرماندهی و کنترل ایران، 1391
73. "ارائه روشی کیفی برای ترکیب سرویس های وب با استفاده از الگوریتم بهینه سازی جمعی ذرات"
    عباد کریمی، حسن حقیقی
    کنگره ملی مهندسی برق، کامپیوتر و فناوری اطلاعات، 1391
74. "ارائه ی روشی صوری برای ترکیب دیدگاه ذی نفعان مختلف در توصیف سیستم های احتمالاتی"
    محبوبه صمدی، حسن حقیقی
    هفدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، 1390
75. "ارائه صوری یک معماری عامل گرا برای تامین اعلان هشدار هوشمند در سیستم های ERP"
    سجاد قربانی، حسن حقیقی، جمیدرضا رشیدی کنعان
    هفدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، 1390
76. "ارائه یک مجموعه متریک نرم افزاری جهت ارزیابی میزان چابکی"
    ریحانه رشیدپور، حسن حقیقی
    هفدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، 1390
77. "ارائه رهیافتی برای طبقه بندی محدودیت-های موجود به عنوان ورودی برای توسعه ترکیب سرویس های وب"
    امینه اخوان صراف، حسن حقیقی
    هفدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، 1390
78. "استفاده از روش های صوری برای بررسی ترکیب پذیری سرویس های وب"
    مهسا گلشنی نسب، حسن حقیقی
    هفدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران، 1390
79. "معرفی یک معماری عامل گرا انعطاف پذیر برای اتوماسیون کارخانه"
    حسن حقیقی، منا محمودیان فرد، سمیه سیاری
    اولین همایش تخصصی سیستهای هوشمند کامپیوتری و کاربردهای آنها، 1390
80. "به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهای همروند"
    حسن حقیقی، سیده سارا شریفی راد
    اولین همایش منطقه ای رویکردهای نوین در مهندسی نرم افزار و فناوری اطلاعات، 1390
81. "معرفی یک معماری عاملگرا برای تامین اعلان هشدار هوشمند در سیستمهای ERP"
    حسن حقیقی، سجاد قربانی
    شانزدهمین کنفرانس ملی انجمن کامپیوتر ایران، 1389
82. "A Constructive Approach for Developing Probabilistic Programs Martin lof"
    حسن حقیقی
    هجدهمین کنفرانس مهندسی برق ایران، 1389
83. "معرفی یک معماری عامل گرا برای تامین یکپارچگی در سیستم های( erp(17545"
    حسن حقیقی، سجاد قربانی، مریم محبتی
    ششمین کنفرانس بین المللی مدیریت فناوری اطلاعات و ارتباطات، 1388
84. "انتخاب معماری مناسب برای نرم افزار های مدیریت منابع سازمانی"
    حسن حقیقی، امیر حجتی
    دومین کنفرانس منابع سازمانی، 1388