Mohamed Mostafa Saleh

20 papers A 1B 1C 4Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
BinHOA: Efficient Binary Horse Herd Optimization Method for Feature Selection: Analysis and Validations.
IEEE Access
Dina A. Elmanakhly, Mohamed Mostafa Saleh, Essam A. Rashed, Mohamed Abdel-Basset
2022 J jnl
Optimal proactive monitor placement & scheduling for IoT networks.
J. Oper. Res. Soc.
Basma Mostafa, Miklós Molnár, Mohamed Mostafa Saleh, Abderrahim Benslimane, Sally S. Kassem
2021 J jnl
An Improved Equilibrium Optimizer Algorithm for Features Selection: Methods and Analysis.
IEEE Access
Dina A. Elmanakhly, Mohamed Mostafa Saleh, Essam A. Rashed
2019 J jnl
Enhanced Directed Differential Evolution Algorithm for Solving Constrained Engineering Optimization Problems.
Int. J. Appl. Metaheuristic Comput.
Ali Wagdy Mohamed, Ali Khater Mohamed, Ehab Zaki Elfeky, Mohamed Mostafa Saleh
2019 — ch.
Solving Constrained Non-linear Integer and Mixed-Integer Global Optimization Problems Using Enhanced Directed Differential Evolution Algorithm.
Machine Learning Paradigms
Ali Khater Mohamed, Ali Wagdy Mohamed, Ehab Zaki Elfeky, Mohamed Mostafa Saleh
2018 J jnl
An Energy-Efficient Multiobjective Scheduling Model for Monitoring in Internet of Things.
IEEE Internet Things J.
Basma Mostafa, Abderrahim Benslimane, Mohamed Mostafa Saleh, Sally S. Kassem, Miklós Molnár
2018 — conf
Enhancing AGDE Algorithm Using Population Size Reduction for Global Numerical Optimization.
AMLTA
Ali Khater Mohamed, Ali Wagdy Mohamed, Ehab Zaki Elfeky, Mohamed Mostafa Saleh
2016 — conf
Distributed monitoring in 6LoWPAN based Internet of Things.
MoWNet
Basma Mostafa, Abderrahim Benslimane, E. Boureau, Miklós Molnár, Mohamed Mostafa Saleh
2012 Misc conf
Mechanism design for decentralized vehicle routing problem.
SAC
Mohamed Mostafa Saleh, Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta
2010 J jnl
A game-theoretic framework for specification and verification of cryptographic protocols.
Formal Aspects Comput.
Mohamed Mostafa Saleh, Mourad Debbabi
2007 J jnl
Analyzing multiple logs for forensic evidence.
Digit. Investig.
Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha, Mohamed Mostafa Saleh
2007 J jnl
Forensic analysis of logs: Modeling and verification.
Knowl. Based Syst.
Mohamed Mostafa Saleh, Ali Reza Arasteh, Assaad Sakha, Mourad Debbabi
2007 C conf
Modeling Security Protocols as Games.
IAS
Mohamed Mostafa Saleh, Mourad Debbabi
2007 B conf
Verifying Security Properties of Cryptoprotocols: A Novel Approach.
SEFM
Mohamed Mostafa Saleh, Mourad Debbabi
2006 C conf
Common Criteria Approach to J2ME CLDC Security Requirements.
SoMeT
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2006 J jnl
Security Evaluation of J2ME CLDC Embedded Java Platform.
J. Object Technol.
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2005 C conf
Game Semantics Model for Security Protocols.
ICFEM
Mourad Debbabi, Mohamed Mostafa Saleh
2005 A conf
Java for Mobile Devices: A Security Study.
ACSAC
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2005 — conf
Security Analysis of Mobile Java.
DEXA Workshops
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2005 C conf
Security Analysis of Wireless Java.
PST
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua