المنشورات

Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui
On Structural Analysis Of Interacting Behavioral Petri Nets For Distributed Causal Model-Based Diagnosis. Int. J. Of Foundations Of Computer Science 23(7): 1523-1541 (2012)

Fayçal Bachtarzi; Allaoua Chaoui; Elhillali Kerkouche
WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. J. of SoftWare (JSW) 7(12): 2874-2885 (2012)

Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche
Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. of SoftWare (JSW) 7(11): 2518-2532 (2012)

Said Labed; Amer Draa; Salim Chikhi
A multi-Agent Approach for Edge Detection Using a Genetic Algorithm for Parameters’ Space Exploration. Courrier du Savoir (14): 37-43 (2012)

Mourad Bouzenada; Meriem Bensouyad; Nousseiba Guidoum; Ahmed Reghioua; Djamel Eddine Saidouni
A Generalized Graph Strict Strong Coloring Algorithm. Int. J. of Applied Metaheuristic Computing (IJAMC) 3(1): 24-33 (2012)

Toufik Messaoud Maarouk; Djamel Eddine Saidouni; Mohamed Khergag
Towards a Calculus for Distributed, Real-Time and Mobile Systems. J. of Software (JSW) 7(3): 564-574 (2012)

Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel Eddine Saidouni
A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars. Int. J. of Computer Science Issues (IJCSI) 9(4) (2012)

Kenza Bouaroudj; Ilham Kitouni; Hiba Hachichi; Djamel Eddine Saidouni
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems. Int. J. of Computer Science Issues (IJCSI) 9(5) (2012)

Zakaria Laboudi; Salim Chikhi
Comparison of genetic algorithm and quantum genetic algorithm. Int. Arab J. of Information Technologies (IAJIT) 9(3): 243-249 (2012)

Amer Draa; Souham Meshoul; Salim Chikhi
A Fertile Quantum-Inspired Differential Evolution Algorithm for Combinatorial Optimization. Communications of the Arab Computer Society 5(1): 31-46 (2012)

Amira Gherboudj; Abdesslem Layeb; Salim Chikhi
Solving 0-1 knapsack problems by a discrete binary version of cuckoo search algorithm. Int. J. of Bio-Inspired Computation (IJBIC) 4(4): 229-236 (2012)

Ahmed Tlili; Salim Chikhi
Modeling Complex Adaptive Systems using Learning Fuzzy Cognitive Maps. Int. J. of Computer Applications 57(3): 28-32 (2012)

Said Labed; Amira Gherboudj; Salim Chikhi
A Modified hybrid particle swarm optimization algorithm for solving the traveling salesman problem. J. of Theoretical and Applied Information Technology (JATIT) 39(2): 132-138 (2012)

Leila Chergui; Maâmar Kef; Salim Chikhi
Combining Neural Networks for Arabic Handwriting Recognition. Int. Arab J. of Information Technologies (IAJIT) 9(6): 588-595 (2012)

Sofiane Chemaa; Faycal Bachtarzi; Allaoua Chaoui
A High-level Petri Net Based Approach for Modeling and Composition of Web Services. Int. Conf. on Computational Science (ICCS'12): 469-478 (2012)

Seidali Rehab; Elhillali Kerkouche; Allaoua Chaoui
An automatic generation approach of B Specifications From UML Diagrams. 7th Int. Conf. on Digital Information Management (ICDIM'12): 73-78 (2012)

Saloua Chettibi; Salim Chikhi
An adaptive energy-aware routing protocol for MANETs using the SARSA reinforcement learning algorithm. Conf. on Evolving and Adaptive Intelligent Systems: 84-89 (2012)

Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel Eddine Saidouni
A Graph Transformation Approach for Testing Timed Systems. 18th Int. Conf. on Information and Software Technologies (ICIST'12): 123-137 (2012)

Abdelkrim Bouramoul; Mohamed-Khireddine Kholladi; Bich-Liên Doan
An ontology-based approach for semantics ranking of the web search engines results. Int. Conf. on Multimedia Computing and Systems: 797-802 (2012)

Djamel Eddine Saïdouni; Ahmed-Chawki Chaouche; Jean-Michel Ilié
On the Fly PSO Inspired Algorithm For Graph Distribution. 2nd Int. Symp. on Modelling and Implementation of Complex Systems (MISC'12): 103-110 (2012)