An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. - Hassan Haghighi; Seyed-Hassan Mirian-Hosseinabadi (FSEN, 2005)

Nondeterminism in Constructive Z. - Hassan Haghighi; Seyed-Hassan Mirian-Hosseinabadi (Fundam. Informaticae, 2008)

Towards a formal framework for developing concurrent programs: Modeling dynamic behavior. - Hassan Haghighi (AICCSA, 2010)

Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing. - Ali Kazemi; Ali Nasirzadeh Azizkandi; Ali Rostampour; Hassan Haghighi; Pooyan Jamshidi; Fereidoon Shams (IEEE SCC, 2011)

Constructive Development of Probabilistic Programs. - Hassan Haghighi; Mohammad Mahdi Javanmard (FSEN, 2011)

An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion. - Ali Kazemi; Ali Rostampour; Amin Zamiri; Pooyan Jamshidi; Hassan Haghighi; Fereidoon Shams (QSIC, 2011)

Process patterns for service-oriented software development. - Mahdi Fahmideh; Mohsen Sharifi; Pooyan Jamshidi; Fereidoon Shams; Hassan Haghighi (RCIS, 2011)

An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems. - Mohammad Ghafari; Pooyan Jamshidi; Saeed Shahbazi; Hassan Haghighi (CBSE, 2012)

CSLAM: A framework for cloud service level agreement management based on WSLA. - Milad Torkashvan; Hassan Haghighi (IST, 2012)

A greedy approach for service composition. - Milad Torkashvan; Hassan Haghighi (IST, 2012)

Towards a Calculus for Nondeterministic Schemas in Z. - Hassan Haghighi; Seyed-Hassan Mirian-Hosseinabadi (Int. J. Softw. Eng. Knowl. Eng., 2012)

An approach to animate Object-Z specifications using C++. - Mehrnaz Najafi; Hassan Haghighi (Sci. Iran., 2012)

Absim: an Automated Business Service Identification Method. - Ali Kazemi; Hassan Haghighi; Fereidoon Shams (Int. J. Softw. Eng. Knowl. Eng., 2013)

A Conceptual Cohesion Metric for Service Oriented Systems. - Ali Kazemi; Ali Rostampour; Hassan Haghighi; Sahel Abbasi (J. Web Eng., 2014)

A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. - Mohammad Ghafari; Abbas Heydarnoori; Hassan Haghighi (FSEN, 2015)

Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud's virtualized environment. - Fouad Bahrpeyma; Ali Zakerolhosseini; Hassan Haghighi (Appl. Soft Comput., 2015)

An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers. - Fouad Bahrpeyma; Hassan Haghighi; Ali Zakerolhosseini (Computing, 2015)

A bipolar resource management framework for resource provisioning in Cloud's virtualized environment. - Fouad Bahrpeyma; Hassan Haghighi; Ali Zakerolhosseini (Appl. Soft Comput., 2016)

A Set of Refactoring Rules for UML-B Specifications. - Mehrnaz Najafi; Hassan Haghighi; Tahereh Zohdi Nasab (Comput. Informatics, 2016)

An incremental method for extracting tests from object-oriented specification. - Mohammad Ghoreshi; Hassan Haghighi (Inf. Softw. Technol., 2016)

INCIM: A community-based algorithm for influence maximization problem under the linear threshold model. - Arastoo Bozorgi; Hassan Haghighi; Mohammad Sadegh Zahedi; Mojtaba Rezvani (Inf. Process. Manag., 2016)

Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. - Atieh Monemi Bidgoli; Hassan Haghighi; Tahereh Zohdi Nasab; Hamideh Sabouri (FSEN, 2017)

A semantic-enhanced trust based recommender system using ant colony optimization. - Faezeh Sadat Gohari; Hassan Haghighi; Fereidoon Shams Aliee (Appl. Intell., 2017)

CCFinder: using Spark to find clustering coefficient in big graphs. - Mehdi Alemi; Hassan Haghighi; Saeed Shahrivari (J. Supercomput., 2017)

Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data. - Fatemeh Khodaparast 002; Mina Sheikhalishahi; Hassan Haghighi; Fabio Martinelli (DASC/PiCom/DataCom/CyberSciTech, 2018)

A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses. - Atieh Monemi Bidgoli; Hassan Haghighi (SSBSE, 2018)

G3MD: Mining frequent opcode sub-graphs for metamorphic malware detection of existing families. - Alireza Khalilian 001; Amir Nourazar; Mojtaba Vahidi-Asl; Hassan Haghighi (Expert Syst. Appl., 2018)

A new confidence-based recommendation approach: Combining trust and certainty. - Faezeh Sadat Gohari; Fereidoon Shams Aliee; Hassan Haghighi (Inf. Sci., 2018)

Rings: A Game with a Purpose for Test Data Generation. - Saeed Amiri-Chimeh; Hassan Haghighi; Mojtaba Vahidi-Asl; Kamyar Setayesh-Ghajar; Farshad Gholami-Ghavamabad (Interact. Comput., 2018)

Structural test data generation using a memetic ant colony optimization based on evolution strategies. - Hossein Sharifipour; Mojtaba Shakeri; Hassan Haghighi (Swarm Evol. Comput., 2018)

Greenify: A Game with the Purpose of Test Data Generation for Unit Testing. - Sharmin Moosavi; Hassan Haghighi; Hasti Sahabi; Farzam Vatanzade; Mojtaba Vahidi-Asl (FSEN, 2019)

Use Cases of the Application Reference Model in IRAN. - Hassan Haghighi; Maziar Mobasheri; Farhoud Jafari Kaleibar; Faezeh Hoseini (ICEIS (2), 2019)

Privacy-Preserving LDA Classification over Horizontally Distributed Data. - Fatemeh Khodaparast 002; Mina Sheikhalishahi; Hassan Haghighi; Fabio Martinelli (IDC, 2019)

A Probabilistic Extension of UML-B. - Mohammad Nosrati; Hassan Haghighi (Comput. Informatics, 2019)

A Dynamic Local-Global Trust-aware Recommendation approach. - Faezeh Sadat Gohari; Fereidoon Shams Aliee; Hassan Haghighi (Electron. Commer. Res. Appl., 2019)

Application of the Shuffled Frog Leaping Algorithm (SFLA) in Constructing Fuzzy Classification Systems. - Seyyed Mohsen Mirhosseini; Hassan Haghighi (Int. J. Comput. Intell. Appl., 2019)

KTMiner: Distributed k-truss detection in big graphs. - Mehdi Alemi; Hassan Haghighi (Inf. Syst., 2019)

Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures. - Alireza Khalilian 001; Alireza Mirzaeiyan; Mojtaba Vahidi-Asl; Hassan Haghighi (J. Exp. Theor. Artif. Intell., 2019)

An approach to solving non-linear real constraints for symbolic execution. - Saeed Amiri-Chimeh; Hassan Haghighi (J. Syst. Softw., 2019)

Process Patterns for Service Oriented Development. - Mahdi Fahmideh; Mohsen Sharifi; Pooyan Jamshidi; Fereidoon Shams; Hassan Haghighi (CoRR, 2020)

SLDeep: Statement-level software defect prediction using deep-learning model on static code features. - Amirabbas Majd; Mojtaba Vahidi-Asl; Alireza Khalilian 001; Pooria Poorsarvi-Tehrani; Hassan Haghighi (Expert Syst. Appl., 2020)

A Search-Based Test Data Generation Method for Concurrent Programs. - Seyed Mohsen Mirhosseini; Hassan Haghighi (Int. J. Comput. Intell. Syst., 2020)

A significance-based trust-aware recommendation approach. - Faezeh Sadat Gohari; Fereidoon Shams Aliee; Hassan Haghighi (Inf. Syst., 2020)

Augmenting ant colony optimization with adaptive random testing to cover prime paths. - Atieh Monemi Bidgoli; Hassan Haghighi (J. Syst. Softw., 2020)

Using likely invariants for test data generation. - Mohammad Nosrati; Hassan Haghighi; Mojtaba Vahidi-Asl (J. Syst. Softw., 2020)

Systematic Extraction of Tests from Object-Oriented Programs. - Mohammad Ghoreshi; Hassan Haghighi (FSEN, 2021)

Test data generation using genetic programming. - Mohammad Nosrati; Hassan Haghighi; Mojtaba Vahidi-Asl (Inf. Softw. Technol., 2021)

Multi-Objective Cooperated Path Planning of Multiple Unmanned Aerial Vehicles Based on Revisit Time. - Hassan Haghighi; Davood Asadi; Daniel Delahaye (J. Aerosp. Inf. Syst., 2021)

Performance-based emergency landing trajectory planning applying meta-heuristic and Dubins paths. - Hassan Haghighi; Daniel Delahaye; Davood Asadi (Appl. Soft Comput., 2022)

Ravi: A formal framework for authoring interactive narratives. - Saeed Amiri-Chimeh; Hassan Haghighi; Mojtaba Vahidi-Asl (New Rev. Hypermedia Multim., 2023)

Object coverage criteria for supporting object-oriented testing. - Mohammad Ghoreshi; Hassan Haghighi (Softw. Qual. J., 2023)

Efficient Edge Computing: Harnessing Compact Machine Learning Models for Workload Optimization. - Mohammad Reza Pour-Hosseini; Mahdi Abbasi; Bahman Javadi; Seifeddine Benelghali; Hassan Haghighi; Ehsan Mohammadi Pasand; Parham Moradi (GECCO Companion, 2024)

JAHAN: A framework for procedural generation of game maps from design specifications. - Saeed Amiri-Chimeh; Hassan Haghighi; Mojtaba Vahidi-Asl (Entertain. Comput., 2024)

A New Discrete Event Simulation of Large-Scale Car Traffic at Microscopic Level. - Thi Phuong Kieu; Maâmar El-Amine Hamri; Hassan Haghighi (SIGSIM-PADS, 2025)

UAV Trajectory Optimization for Maximum Soaring in Windy Environment. - Hassan Haghighi; Daniel Delahaye; Jean-Marc Moschetta; Davood Asadi (Unmanned Syst., 2025)

Tiny machine learning models for autonomous workload distribution across cloud-edge computing continuum. - Mohammad Reza Pour-Hosseini; Mahdi Abbasi; Atefeh Salimi; Erik Elmroth; Hassan Haghighi; Parham Moradi; Bahman Javadi (Clust. Comput., 2025)