Hassan Haghighi

According to our database, Hassan Haghighi authored at least 53 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

JAHAN: A framework for procedural generation of game maps from design specifications.

Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl

Entertain. Comput., 2024

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

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024

2023

Object coverage criteria for supporting object-oriented testing.

Mohammad Ghoreshi, Hassan Haghighi

Softw. Qual. J., December, 2023

Ravi: A formal framework for authoring interactive narratives.

Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl

New Rev. Hypermedia Multim., 2023

2022

Performance-based emergency landing trajectory planning applying meta-heuristic and Dubins paths.

Hassan Haghighi, Daniel Delahaye, Davood Asadi

Appl. Soft Comput., 2022

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., December, 2021

Test data generation using genetic programming.

Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl

Inf. Softw. Technol., 2021

Systematic Extraction of Tests from Object-Oriented Programs.

Mohammad Ghoreshi, Hassan Haghighi

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Using likely invariants for test data generation.

Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl

J. Syst. Softw., 2020

Augmenting ant colony optimization with adaptive random testing to cover prime paths.

Atieh Monemi Bidgoli, Hassan Haghighi

J. Syst. Softw., 2020

A significance-based trust-aware recommendation approach.

Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi

Inf. Syst., 2020

A Search-Based Test Data Generation Method for Concurrent Programs.

Seyed Mohsen Mirhosseini, Hassan Haghighi

Int. J. Comput. Intell. Syst., 2020

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 Syst. Appl., 2020

Process Patterns for Service Oriented Development.

Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi

CoRR, 2020

2019

An approach to solving non-linear real constraints for symbolic execution.

Saeed Amiri-Chimeh, Hassan Haghighi

J. Syst. Softw., 2019

Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures.

Alireza Khalilian, Alireza Mirzaeiyan, Mojtaba Vahidi-Asl, Hassan Haghighi

J. Exp. Theor. Artif. Intell., 2019

KTMiner: Distributed k-truss detection in big graphs.

Mehdi Alemi, Hassan Haghighi

Inf. Syst., 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

A Dynamic Local-Global Trust-aware Recommendation approach.

Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi

Electron. Commer. Res. Appl., 2019

A Probabilistic Extension of UML-B.

Mohammad Nosrati, Hassan Haghighi

Comput. Informatics, 2019

Privacy-Preserving LDA Classification over Horizontally Distributed Data.

Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli

Proceedings of the Intelligent Distributed Computing XIII, 2019

Use Cases of the Application Reference Model in IRAN.

Hassan Haghighi, Maziar Mobasheri, Farhoud Jafari Kaleibar, Faezeh Hoseini

Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

Greenify: A Game with the Purpose of Test Data Generation for Unit Testing.

Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi-Asl

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

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

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

A new confidence-based recommendation approach: Combining trust and certainty.

Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi

Inf. Sci., 2018

G3MD: Mining frequent opcode sub-graphs for metamorphic malware detection of existing families.

Alireza Khalilian, Amir Nourazar, Mojtaba Vahidi-Asl, Hassan Haghighi

Expert Syst. Appl., 2018

A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses.

Atieh Monemi Bidgoli, Hassan Haghighi

Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data.

Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli

Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

2017

CCFinder: using Spark to find clustering coefficient in big graphs.

Mehdi Alemi, Hassan Haghighi, Saeed Shahrivari

J. Supercomput., 2017

A semantic-enhanced trust based recommender system using ant colony optimization.

Faezeh Sadat Gohari, Hassan Haghighi, Fereidoon Shams Aliee

Appl. Intell., 2017

Using Swarm Intelligence to Generate Test Data for Covering Prime Paths.

Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

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

An incremental method for extracting tests from object-oriented specification.

Mohammad Ghoreshi, Hassan Haghighi

Inf. Softw. Technol., 2016

A Set of Refactoring Rules for UML-B Specifications.

Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab

Comput. Informatics, 2016

A bipolar resource management framework for resource provisioning in Cloud's virtualized environment.

Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini

Appl. Soft Comput., 2016

2015

An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers.

Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini

Computing, 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

A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems.

Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

A Conceptual Cohesion Metric for Service Oriented Systems.

Ali Kazemi, Ali Rostampour, Hassan Haghighi, Sahel Abbasi

J. Web Eng., 2014

2013

Absim: an Automated Business Service Identification Method.

Ali Kazemi, Hassan Haghighi, Fereidoon Shams

Int. J. Softw. Eng. Knowl. Eng., 2013

2012

An approach to animate Object-Z specifications using C++.

Mehrnaz Najafi, Hassan Haghighi

Sci. Iran., 2012

Towards a Calculus for Nondeterministic Schemas in Z.

Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi

Int. J. Softw. Eng. Knowl. Eng., 2012

A greedy approach for service composition.

Milad Torkashvan, Hassan Haghighi

Proceedings of the 6th International Symposium on Telecommunications, 2012

CSLAM: A framework for cloud service level agreement management based on WSLA.

Milad Torkashvan, Hassan Haghighi

Proceedings of the 6th International Symposium on Telecommunications, 2012

An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems.

Mohammad Ghafari, Pooyan Jamshidi, Saeed Shahbazi, Hassan Haghighi

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011

Process patterns for service-oriented software development.

Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi

Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion.

Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi, Hassan Haghighi, Fereidoon Shams

Proceedings of the 11th International Conference on Quality Software, 2011

Constructive Development of Probabilistic Programs.

Hassan Haghighi, Mohammad Mahdi Javanmard

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing.

Ali Kazemi, Ali Nasirzadeh Azizkandi, Ali Rostampour, Hassan Haghighi, Pooyan Jamshidi, Fereidoon Shams

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Towards a formal framework for developing concurrent programs: Modeling dynamic behavior.

Hassan Haghighi

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2008

Nondeterminism in Constructive Z.

Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi

Fundam. Informaticae, 2008

2005

An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types.

Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005