Publications

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)

Hassiba Talbi; Mohamed Khireddine Kholladi
Predator prey optimizer and DTCWT for multimodal medical image fusion. Int. Symp. on Programming and Systems (ISPS'18): 1-6 (2018)

Naouel Ouafek; Mohamed-Khireddine Kholladi
A binarization method for degraded document image using artificial neural network and interpolation inpainting. 4th Int. Conf. on Optimization and Applications (ICOA'18): 1-5 (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 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)