Hassan Haghighi

58 papers B 2C 1Misc 1Journal 39Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Downlink optimization for direct-to-satellite IoT with LEO satellites and LoRaWAN. Phys. Commun. Hassan Haghighi, Maâmar El-Amine Hamri, Davood Asadi, Daniel Delahaye
2025	—	`conf`	A New Discrete Event Simulation of Large-Scale Car Traffic at Microscopic Level. SIGSIM-PADS Thi Phuong Kieu, Maâmar El-Amine Hamri, Hassan Haghighi
2025	J	`jnl`	Discrete event conversion of microscopic model based on minimizing the number of time intervals. J. Simulation Hassan Haghighi, Maâmar El-Amine Hamri
2025	J	`jnl`	Tiny machine learning models for autonomous workload distribution across cloud-edge computing continuum. Clust. Comput. Mohammad Reza Pour-Hosseini, Mahdi Abbasi, Atefeh Salimi, Erik Elmroth, Hassan Haghighi, Parham Moradi, Bahman Javadi
2025	J	`jnl`	UAV Trajectory Optimization for Maximum Soaring in Windy Environment. Unmanned Syst. Hassan Haghighi, Daniel Delahaye, Jean-Marc Moschetta, Davood Asadi
2024	—	`conf`	Efficient Edge Computing: Harnessing Compact Machine Learning Models for Workload Optimization. GECCO Companion Mohammad Reza Pour-Hosseini, Mahdi Abbasi, Bahman Javadi, Seifeddine Benelghali, Hassan Haghighi, Ehsan Mohammadi Pasand, Parham Moradi
2024	J	`jnl`	JAHAN: A framework for procedural generation of game maps from design specifications. Entertain. Comput. Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl
2023	J	`jnl`	Object coverage criteria for supporting object-oriented testing. Softw. Qual. J. Mohammad Ghoreshi, Hassan Haghighi
2023	J	`jnl`	Ravi: A formal framework for authoring interactive narratives. New Rev. Hypermedia Multim. Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl
2022	J	`jnl`	Performance-based emergency landing trajectory planning applying meta-heuristic and Dubins paths. Appl. Soft Comput. Hassan Haghighi, Daniel Delahaye, Davood Asadi
2021	J	`jnl`	Multi-Objective Cooperated Path Planning of Multiple Unmanned Aerial Vehicles Based on Revisit Time. J. Aerosp. Inf. Syst. Hassan Haghighi, Davood Asadi, Daniel Delahaye
2021	—	`conf`	Systematic Extraction of Tests from Object-Oriented Programs. FSEN Mohammad Ghoreshi, Hassan Haghighi
2021	J	`jnl`	Test data generation using genetic programming. Inf. Softw. Technol. Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl
2020	J	`jnl`	A Search-Based Test Data Generation Method for Concurrent Programs. Int. J. Comput. Intell. Syst. Seyed Mohsen Mirhosseini, Hassan Haghighi
2020	J	`jnl`	A significance-based trust-aware recommendation approach. Inf. Syst. Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi
2020	J	`jnl`	Augmenting ant colony optimization with adaptive random testing to cover prime paths. J. Syst. Softw. Atieh Monemi Bidgoli, Hassan Haghighi
2020	J	`jnl`	Process Patterns for Service Oriented Development. CoRR Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi
2020	J	`jnl`	SLDeep: Statement-level software defect prediction using deep-learning model on static code features. Expert Syst. Appl. Amirabbas Majd, Mojtaba Vahidi-Asl, Alireza Khalilian, Pooria Poorsarvi-Tehrani, Hassan Haghighi
2020	J	`jnl`	Using likely invariants for test data generation. J. Syst. Softw. Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl
2019	J	`jnl`	A Dynamic Local-Global Trust-aware Recommendation approach. Electron. Commer. Res. Appl. Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi
2019	J	`jnl`	A Probabilistic Extension of UML-B. Comput. Informatics Mohammad Nosrati, Hassan Haghighi
2019	J	`jnl`	An approach to solving non-linear real constraints for symbolic execution. J. Syst. Softw. Saeed Amiri-Chimeh, Hassan Haghighi
2019	J	`jnl`	Application of the Shuffled Frog Leaping Algorithm (SFLA) in Constructing Fuzzy Classification Systems. Int. J. Comput. Intell. Appl. Seyyed Mohsen Mirhosseini, Hassan Haghighi
2019	J	`jnl`	Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures. J. Exp. Theor. Artif. Intell. Alireza Khalilian, Alireza Mirzaeiyan, Mojtaba Vahidi-Asl, Hassan Haghighi
2019	—	`conf`	Greenify: A Game with the Purpose of Test Data Generation for Unit Testing. FSEN Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi-Asl
2019	J	`jnl`	KTMiner: Distributed k-truss detection in big graphs. Inf. Syst. Mehdi Alemi, Hassan Haghighi
2019	Misc	`conf`	Privacy-Preserving LDA Classification over Horizontally Distributed Data. IDC Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
2019	—	`conf`	Use Cases of the Application Reference Model in IRAN. ICEIS (2) Hassan Haghighi, Maziar Mobasheri, Farhoud Jafari Kaleibar, Faezeh Hoseini
2018	B	`conf`	A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses. SSBSE Atieh Monemi Bidgoli, Hassan Haghighi
2018	J	`jnl`	A new confidence-based recommendation approach: Combining trust and certainty. Inf. Sci. Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi
2018	J	`jnl`	G3MD: Mining frequent opcode sub-graphs for metamorphic malware detection of existing families. Expert Syst. Appl. Alireza Khalilian, Amir Nourazar, Mojtaba Vahidi-Asl, Hassan Haghighi
2018	—	`conf`	Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data. DASC/PiCom/DataCom/CyberSciTech Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
2018	J	`jnl`	Rings: A Game with a Purpose for Test Data Generation. Interact. Comput. Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl, Kamyar Setayesh-Ghajar, Farshad Gholami-Ghavamabad
2018	J	`jnl`	Structural test data generation using a memetic ant colony optimization based on evolution strategies. Swarm Evol. Comput. Hossein Sharifipour, Mojtaba Shakeri, Hassan Haghighi
2017	J	`jnl`	A semantic-enhanced trust based recommender system using ant colony optimization. Appl. Intell. Faezeh Sadat Gohari, Hassan Haghighi, Fereidoon Shams Aliee
2017	J	`jnl`	CCFinder: using Spark to find clustering coefficient in big graphs. J. Supercomput. Mehdi Alemi, Hassan Haghighi, Saeed Shahrivari
2017	—	`conf`	Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. FSEN Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri
2016	J	`jnl`	A Set of Refactoring Rules for UML-B Specifications. Comput. Informatics Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
2016	J	`jnl`	A bipolar resource management framework for resource provisioning in Cloud's virtualized environment. Appl. Soft Comput. Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini
2016	J	`jnl`	An incremental method for extracting tests from object-oriented specification. Inf. Softw. Technol. Mohammad Ghoreshi, Hassan Haghighi
2016	J	`jnl`	INCIM: A community-based algorithm for influence maximization problem under the linear threshold model. Inf. Process. Manag. Arastoo Bozorgi, Hassan Haghighi, Mohammad Sadegh Zahedi, Mojtaba Rezvani
2015	—	`conf`	A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. FSEN Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi
2015	J	`jnl`	An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers. Computing Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini
2015	J	`jnl`	Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud's virtualized environment. Appl. Soft Comput. Fouad Bahrpeyma, Ali Zakerolhosseini, Hassan Haghighi
2014	J	`jnl`	A Conceptual Cohesion Metric for Service Oriented Systems. J. Web Eng. Ali Kazemi, Ali Rostampour, Hassan Haghighi, Sahel Abbasi
2013	J	`jnl`	Absim: an Automated Business Service Identification Method. Int. J. Softw. Eng. Knowl. Eng. Ali Kazemi, Hassan Haghighi, Fereidoon Shams
2012	—	`conf`	A greedy approach for service composition. IST Milad Torkashvan, Hassan Haghighi
2012	J	`jnl`	An approach to animate Object-Z specifications using C++. Sci. Iran. Mehrnaz Najafi, Hassan Haghighi
2012	—	`conf`	An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems. CBSE Mohammad Ghafari, Pooyan Jamshidi, Saeed Shahbazi, Hassan Haghighi
2012	—	`conf`	CSLAM: A framework for cloud service level agreement management based on WSLA. IST Milad Torkashvan, Hassan Haghighi
2012	J	`jnl`	Towards a Calculus for Nondeterministic Schemas in Z. Int. J. Softw. Eng. Knowl. Eng. Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
2011	—	`conf`	An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion. QSIC Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi, Hassan Haghighi, Fereidoon Shams
2011	—	`conf`	Constructive Development of Probabilistic Programs. FSEN Hassan Haghighi, Mohammad Mahdi Javanmard
2011	—	`conf`	Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing. IEEE SCC Ali Kazemi, Ali Nasirzadeh Azizkandi, Ali Rostampour, Hassan Haghighi, Pooyan Jamshidi, Fereidoon Shams
2011	B	`conf`	Process patterns for service-oriented software development. RCIS Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi
2010	C	`conf`	Towards a formal framework for developing concurrent programs: Modeling dynamic behavior. AICCSA Hassan Haghighi
2008	J	`jnl`	Nondeterminism in Constructive Z. Fundam. Informaticae Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
2005	—	`conf`	An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. FSEN Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi