default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHassan Haghighi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j33]Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl:
JAHAN: A framework for procedural generation of game maps from design specifications. Entertain. Comput. 50: 100644 (2024)- [c18]Mohammad Reza Pour-Hosseini
, Mahdi Abbasi, Bahman Javadi, Seifeddine Benelghali, Hassan Haghighi, Ehsan Mohammadi Pasand, Parham Moradi:
Efficient Edge Computing: Harnessing Compact Machine Learning Models for Workload Optimization. GECCO Companion 2024: 239-242 - 2023
- [j32]Mohammad Ghoreshi, Hassan Haghighi:
Object coverage criteria for supporting object-oriented testing. Softw. Qual. J. 31(4): 1369-1414 (2023) - 2022
- [j31]Hassan Haghighi, Daniel Delahaye, Davood Asadi:
Performance-based emergency landing trajectory planning applying meta-heuristic and Dubins paths. Appl. Soft Comput. 117: 108453 (2022) - 2021
- [j30]Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl:
Test data generation using genetic programming. Inf. Softw. Technol. 130: 106446 (2021) - [j29]Hassan Haghighi, Davood Asadi, Daniel Delahaye:
Multi-Objective Cooperated Path Planning of Multiple Unmanned Aerial Vehicles Based on Revisit Time. J. Aerosp. Inf. Syst. 18(12): 919-932 (2021) - [c17]Mohammad Ghoreshi, Hassan Haghighi:
Systematic Extraction of Tests from Object-Oriented Programs. FSEN 2021: 222-228 - 2020
- [j28]Amirabbas Majd, Mojtaba Vahidi-Asl, Alireza Khalilian, Pooria Poorsarvi-Tehrani, Hassan Haghighi:
SLDeep: Statement-level software defect prediction using deep-learning model on static code features. Expert Syst. Appl. 147: 113156 (2020) - [j27]Seyed Mohsen Mirhosseini, Hassan Haghighi:
A Search-Based Test Data Generation Method for Concurrent Programs. Int. J. Comput. Intell. Syst. 13(1): 1161-1175 (2020) - [j26]Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi:
A significance-based trust-aware recommendation approach. Inf. Syst. 87 (2020) - [j25]Atieh Monemi Bidgoli, Hassan Haghighi:
Augmenting ant colony optimization with adaptive random testing to cover prime paths. J. Syst. Softw. 161 (2020) - [j24]Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl:
Using likely invariants for test data generation. J. Syst. Softw. 164: 110549 (2020) - [i1]Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi:
Process Patterns for Service Oriented Development. CoRR abs/2004.09381 (2020)
2010 – 2019
- 2019
- [j23]Mohammad Nosrati, Hassan Haghighi:
A Probabilistic Extension of UML-B. Comput. Informatics 38(1): 85-114 (2019) - [j22]Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi:
A Dynamic Local-Global Trust-aware Recommendation approach. Electron. Commer. Res. Appl. 34 (2019) - [j21]Seyyed Mohsen Mirhosseini, Hassan Haghighi:
Application of the Shuffled Frog Leaping Algorithm (SFLA) in Constructing Fuzzy Classification Systems. Int. J. Comput. Intell. Appl. 18(3): 1950019:1-1950019:20 (2019) - [j20]Mehdi Alemi, Hassan Haghighi:
KTMiner: Distributed k-truss detection in big graphs. Inf. Syst. 83: 195-216 (2019) - [j19]Alireza Khalilian, Alireza Mirzaeiyan, Mojtaba Vahidi-Asl, Hassan Haghighi:
Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures. J. Exp. Theor. Artif. Intell. 31(2): 267-289 (2019) - [j18]Saeed Amiri-Chimeh, Hassan Haghighi:
An approach to solving non-linear real constraints for symbolic execution. J. Syst. Softw. 157 (2019) - [c16]Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi-Asl:
Greenify: A Game with the Purpose of Test Data Generation for Unit Testing. FSEN 2019: 77-92 - [c15]Hassan Haghighi, Maziar Mobasheri, Farhoud Jafari Kaleibar, Faezeh Hoseini:
Use Cases of the Application Reference Model in IRAN. ICEIS (2) 2019: 674-681 - [c14]Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli:
Privacy-Preserving LDA Classification over Horizontally Distributed Data. IDC 2019: 65-74 - 2018
- [j17]Alireza Khalilian, Amir Nourazar, Mojtaba Vahidi-Asl, Hassan Haghighi:
G3MD: Mining frequent opcode sub-graphs for metamorphic malware detection of existing families. Expert Syst. Appl. 112: 15-33 (2018) - [j16]Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi:
A new confidence-based recommendation approach: Combining trust and certainty. Inf. Sci. 422: 21-50 (2018) - [j15]Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl, Kamyar Setayesh-Ghajar, Farshad Gholami-Ghavamabad:
Rings: A Game with a Purpose for Test Data Generation. Interact. Comput. 30(1): 1-30 (2018) - [j14]Hossein Sharifipour, Mojtaba Shakeri, Hassan Haghighi:
Structural test data generation using a memetic ant colony optimization based on evolution strategies. Swarm Evol. Comput. 40: 76-91 (2018) - [c13]Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli:
Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data. DASC/PiCom/DataCom/CyberSciTech 2018: 600-607 - [c12]Atieh Monemi Bidgoli, Hassan Haghighi:
A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses. SSBSE 2018: 343-348 - 2017
- [j13]Faezeh Sadat Gohari, Hassan Haghighi, Fereidoon Shams Aliee:
A semantic-enhanced trust based recommender system using ant colony optimization. Appl. Intell. 46(2): 328-364 (2017) - [j12]Mehdi Alemi, Hassan Haghighi, Saeed Shahrivari:
CCFinder: using Spark to find clustering coefficient in big graphs. J. Supercomput. 73(11): 4683-4710 (2017) - [c11]Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri:
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. FSEN 2017: 132-147 - 2016
- [j11]Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini:
A bipolar resource management framework for resource provisioning in Cloud's virtualized environment. Appl. Soft Comput. 46: 487-500 (2016) - [j10]Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab:
A Set of Refactoring Rules for UML-B Specifications. Comput. Informatics 35(2): 411-440 (2016) - [j9]Mohammad Ghoreshi, Hassan Haghighi:
An incremental method for extracting tests from object-oriented specification. Inf. Softw. Technol. 78: 1-26 (2016) - [j8]Arastoo Bozorgi, Hassan Haghighi, Mohammad Sadegh Zahedi, Mojtaba Rezvani:
INCIM: A community-based algorithm for influence maximization problem under the linear threshold model. Inf. Process. Manag. 52(6): 1188-1199 (2016) - 2015
- [j7]Fouad Bahrpeyma, Ali Zakerolhosseini, Hassan Haghighi:
Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud's virtualized environment. Appl. Soft Comput. 26: 285-298 (2015) - [j6]Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini:
An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers. Computing 97(12): 1209-1234 (2015) - [c10]Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi:
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. FSEN 2015: 100-109 - 2014
- [j5]Ali Kazemi, Ali Rostampour, Hassan Haghighi, Sahel Abbasi:
A Conceptual Cohesion Metric for Service Oriented Systems. J. Web Eng. 13(3&4): 302-332 (2014) - 2013
- [j4]Ali Kazemi, Hassan Haghighi, Fereidoon Shams:
Absim: an Automated Business Service Identification Method. Int. J. Softw. Eng. Knowl. Eng. 23(9): 1303-1342 (2013) - 2012
- [j3]Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi:
Towards a Calculus for Nondeterministic Schemas in Z. Int. J. Softw. Eng. Knowl. Eng. 22(6): 839- (2012) - [j2]Mehrnaz Najafi, Hassan Haghighi:
An approach to animate Object-Z specifications using C++. Sci. Iran. 19(6): 1699-1721 (2012) - [c9]Mohammad Ghafari, Pooyan Jamshidi, Saeed Shahbazi, Hassan Haghighi:
An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems. CBSE 2012: 177-182 - [c8]Milad Torkashvan, Hassan Haghighi:
CSLAM: A framework for cloud service level agreement management based on WSLA. IST 2012: 577-585 - [c7]Milad Torkashvan, Hassan Haghighi:
A greedy approach for service composition. IST 2012: 929-935 - 2011
- [c6]Ali Kazemi, Ali Nasirzadeh Azizkandi, Ali Rostampour, Hassan Haghighi, Pooyan Jamshidi, Fereidoon Shams:
Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing. IEEE SCC 2011: 504-511 - [c5]Hassan Haghighi, Mohammad Mahdi Javanmard:
Constructive Development of Probabilistic Programs. FSEN 2011: 80-95 - [c4]Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi, Hassan Haghighi, Fereidoon Shams:
An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion. QSIC 2011: 102-111 - [c3]Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi:
Process patterns for service-oriented software development. RCIS 2011: 1-9 - 2010
- [c2]Hassan Haghighi:
Towards a formal framework for developing concurrent programs: Modeling dynamic behavior. AICCSA 2010: 1-8
2000 – 2009
- 2008
- [j1]Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi:
Nondeterminism in Constructive Z. Fundam. Informaticae 88(1-2): 109-134 (2008) - 2005
- [c1]Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi:
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. FSEN 2005: 117-137
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
