Khalil Elbaz; Allaoua Chaoui
An Empirical Study to Improve Software Quality through Design Patterns. Int. J. of Industrial and Systems Engineering 29(1): 74 - 94 (2018)
Ilham Kitouni; Djamel Benmerzoug; Fouzi Lezzar
Smart Agricultural Enterprise System Based on Integration of Internet of Things and Agent Technology. J. of Organizational and End User Computing (JOEUC) 30(4): 64-82 (2018)
Sofia Kouah ; Ilham Kitouni
Multi-Layer Agent Based Architecture for Internet of Things Systems. J. of Information Technology Research (JITR) 11(4): 32-52 (2018)
Mohamed Skander Daas; Salim Chikhi
Response Surface Methodology for Performance Analysis and Modeling of MANET Routing Protocols. Int. J. of Computer Networks & Communications (IJCNC) 10(1): 45-61 (2018)
Mohamed Skander Daas; Salim Chikhi
Optimizing geographic routing protocols for urban VANETs using stigmergy, social behavior and adaptive C-n-F mechanisms: An optimized CLWPR. Vehicular Communications 14: 97-108 (2018)
Imene Ferdi; Abdesslem Layeb
A GRASP algorithm based new heuristic for the capacitated location routing problem. J. of Experimental & Theoretical Artificial Intelligence (JETAI) 30(3): 369-387 (2018)
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)
Akram Kout; Said Labed; Salim Chikhi; El Bay Bourennane
AODVCS, a new bio-inspired routing protocol based on cuckoo search algorithm for mobile ad hoc networks. J. of Wireless Networks 24(7): 2509–2519 (2018)
Aouatef Chaib; Imane Boussebough; Allaoua Chaoui
Adaptive service composition in an ambient environment with a multi-agent system. J. of Ambient Intelligence and Humanized Computing (JAIHC) 9(2): 367-380 (2018)
Zakaria Abdelmoiz Dahi; Enrique Alba; Amer Draa
A Stop-and-Start Adaptive Cellular Genetic Algorithm for Mobility Management of GSM-LTE Cellular Network Users. Expert Systems with Applications 106: 290-304 (2018)
Khadidja Belattar; Sihem Mostefai; Amer Draa
A Hybrid GA-LDA Scheme for Feature Selection in Content-Based Image Retrieval. Int. J. of Applied Metaheuristic Computing (IJAMC) 9(2): 48-71 (2018)
Jeremy Buisson; Seidali Rehab
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code. Modelling and Implementation of Complex Systems: 259-273 (2018)
Jeremy Buisson; Seidali Rehab
Generation of Inductive Types from Ecore Metamodels. Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD'18): 308-334 (2018)
Jeremy Buisson; Seidali Rehab
Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types. Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD'18): 488-495 (2018)
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou Elhasan Benyamina
A Semantic Framework to Improve Model-to-Model Transformations. Int. Conf. Europe Middle East & North Africa Information Systems and Technologies to Support Learning (EMENA-ISTL 2018): 290-300 (2018)
Mohamed Boubakir; Allaoua Chaoui
An Incremental Approach for the Extraction of Software Product Lines from Model Variants. Int. Conf. on Computer Science and its Applications (CSA'18): 124-134 (2018)
Labed Said; Akram Kout; Salim Chikhi
A Fast Heuristic for Graph B-Coloring Problem. Joint Int. Conf. on ICT in Education and Training, Int. Conf. on Computing in Arabic, and Int. Conf. on Geocomputing: 1-6 (2018)
Amir Djenna; Djamel Eddine Saïdouni
Cyber Attacks Classification in IoT-Based-Healthcare Infrastructure. 2nd Cyber Security in Networking Conf. (CSNet): 1-4 (2018)
Said Labed; Akram Kout; Salim Chikhi
Solving the graph b-coloring problem with hybrid genetic algorithm. 3rd Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS'18): 1-7 (2018)
Abir Bitat; Salah Merniz
Towards formal verification of cryptographic circuits: A functional approach. 3rd Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS"18): 1-6 (2018)