Publications
2018
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. of Embedded Systems (IJES) 10(6): 453-469 (2018)
Said Labed; Akram Kout; Salim Chikhi; El-Bay Bourennane
A hybrid bio-inspired approach to solving the routing problem in mobile ad hoc networks. Int. J. of Systems, Control and Communications 9(3): 185-209 (2018)
Messaouda Bouneb; Djamel Eddine Saidouni; Jean Michel Ilié
Hierarchical System Design Using Refinable Recursive Petri Net. Computing and Informatics (CAI) 37(3): 635-655 (2018)
Amel meliouh; Allaoua Chaoui
Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. Int. J. of Conceptual Structures and Smart Applications (IJCSSA) 6(2): 42-58 (2018)
Elhillali Kerkouche; Elbey Bourennane; Allaoua Chaoui
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e-Informatica Software Engineering J. 12(1): 9–26 (2018)
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)