Publications

Amer Draa; Samira Bouzoubia; Imene Boukhalfa
A sinusoidal differential evolution algorithm for numerical optimisation. Applied Soft Computing 27: 99-126 (2015)

Messaouda Bouneb; Djamel Eddine Saidouni
Hierarchical Design Method for Multi-Agent Systems. Int. J. of Agent Technologies and Systems (IJATS) 7(2): 105-134 (2015)

Sofia Kouah; Djamel Eddine Saidouni
Application of Fuzzy Labeled Transition System to Contract Net Protocol. Int. J. of Service Science, Management, Engineering, and Technology (IJSSMET) 6(3): 27-46 (2015)

Kenza Bouaroudj; Djamel Eddine Saidouni; Ilham Kitouni
Formal testing theory of stochastic systems under maximality semantics. Int. J. of Computer Aided Engineering and Technology (IJCAET) 7(3): 348-377 (2015)

Sofia Kouah; Djamel-Eddine Saidouni
Application of Fuzzy Labeled Transition System to Contract Net Protocol. Int. J. of Service Science, Management, Engineering, and Technology (IJSSMET) 6(3): 27-46 (2015)

Mokdad Arous; Djamel Eddine Saïdouni; Jean-Michel Ilié
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. Int. J. of Systems and Service-Oriented Engineering (IJSSOE) 5(1): 1-15 (2015)

Seidali Rehab; Allaoua Chaoui
TGG-based process for automating the transformation of UML models towards B specifications. Int. J. of Computer Aided Engineering and Technology (IJCAET) 7(3): 378-400 (2015)

Sofiane Chemaa; Mouna Bouarioua; Allaoua Chaoui
A high-level Petri net based model for web services composition and verification. Int. J. of Computer Applications in Technology (IJCAT) 51(4): 306-323 (2015)

Wafa Chama; Allaoua Chaoui; Seidali Rehab
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 6(2): 48-64 (2015)

Tarek Alloui; Imane Boussebough; Allaoua Chaoui
A Particle Swarm Optimization Algorithm for Web Information Retrieval: A Novel Approach. Int. J. of Intelligent Information Technologies (IJIIT) 11(3): 15-29 (2015)

Radja Boukharrou; Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
Dealing with Temporal Failure in ambient systems: A Dynamic Revision of Plans. J. of Ambient Intelligence and Humanized Computing (JAIHC) 6(3): 325-336 (2015)

Meryem Ammi; Salim Chikhi
A Generalized Island Model Based on Parallel and Cooperating Metaheuristics for Effective Large Capacitated Vehicle Routing Problem Solving. J. of Computing and Information Technology CIT 23(2): 141-155 (2015)

Abdesslem Layeb; Halima Djelloul; Salim Chikhi
Quantum inspired cuckoo search algorithm for graph colouring problem. Int. J. of Bio-Inspired Computation (IJBIC) 7(3): 183-194 (2015)

Sara Sabba; Salim Chikhi
A Novel Evolutionary Algorithm for Multidimensional Knapsack Problem. Int. J. of Operations Research and Information Systems IJORIS 6(2): 1-20 (2015)

Amira Bouaziz; Amer Draa; Salim Chikhi
Artificial bees for multilevel thresholding of iris images. J. of Swarm and Evolutionary Computation 21: 32-40 (2015)

Messaouda Bouneb; Djamel Eddine Saidouni; Jean Michel Ilié
A reduced maximality labeled transition system generation for recursive Petri nets. J. on Formal Aspects of Computing 27(5-6): 951-973 (2015)

Abdelkamel Hettab; Elhillali Kerkouche; Allaoua Chaoui
A Graph Transformation Approach for Automatic test cases generation from UML Activity Diagrams. 8th Int. C* Conf. on Computer Science & Software Engineering: 88–97 (2015)

Tarek Alloui; Imane Boussebough; Allaoua Chaoui; Ahmed Zakaria Nouar; Mohamed Chaouki Chettah
Usearch: A Meta Search Engine based on a New Result Merging Strategy. Int. Joint Conf. on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K'15): 531-536 (2015)

Khaled Khalfaoui; Elhillali Kerkouche; Allaoua Chaoui; Cherif Foudil
Automatic generation of SPL structurally valid products: An approach based on progressive composition of partial configurations. Int. Conf. on Information and Communication Systems (ICICS'15): 25-31 (2015)

Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. 8th Int. C* Conf. on Computer Science \& Software Engineering (C3S2E'15): 138-143 (2015)