المنشورات

Fayçal Bachtarzi; Allaoua Chaoui
Formal Specification of Web Services Composition.. In book IEEE Symposium on Wireless Technology & Applications (ISWTA'13): 34-39 (2013)

Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche
Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach. Modeling Approaches and Algorithms for Advanced Computer Applications: 347-356 (2013)

Houda Hafi; Azeddine Bilami
Cooperative Strategy to Secure Mobile P2P Network. 4th Int. Conf. on Computer Science and Its Applications (CIIA'13): 145-154 (2013)

Adel Benamira; Djamel Eddine Saidouni
Maximality-Based Labeled Transition Systems Normal Form. Modeling Approaches and Algorithms for Advanced Computer Applications: 337-346 (2013)

Mokdad Arous; Djamel Eddine Saidouni
Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Modeling Approaches and Algorithms for Advanced Computer Applications: 367-377 (2013)

Mohamed Elkamel Hettab; Allaoua Chaoui; Ali Aldahoud;
Automatic Test cases generation from UML Activity Diagrams using Graph Transformation. 6th Int. Conf. on Information Technology (ICIT'2013) (2013)

Mouna Aouag; Allaoua Chaoui
From UML class diagrams to Aspect-Oriented Class Diagrams using graph transformation. Int. Conf. on Control, Decision and Information Technologies (CoDIT'13): 458-463 (2013)

Mohamed Gharzouli
Reuse of existing applications during the development of Enterprise Portals integrating Web Services. 10th Maghrebian Conf. on Information Technologies (MCSEAI'08) (2013)

Djamel Benmerzoug; Mohamed Gharzouli; Mounira Zerari
Agent Interaction Protocols in Support of Cloud Services Composition. 6th Int. Conf. on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS'13): 293-304 (2013)

Wafa Chama; Raida Elmansouri; Allaoua Chaoui
Using graph transformation and Maude to simulate and verify UML models. Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE'13): 459-464 (2013)

Tarek Alloui; Imane Boussebough; Allaoua Chaoui
An intelligent system for personalized information retrieval: a genetic approach. Int. C* Conf. on Computer Science and Software Engineering (C3S2E'13): 120-124 (2013)

Laid Kahloul; Karim Djouani; Allaoua Chaoui
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets based approach. 6th Int. Conf. on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS'13): 106-117 (2013)

Khadidja Belattar; Sihem Mostefai
CBIR with RF: which Technique for which Image. 3rd. Int. Symp. ISKO-Maghreb'13: 1-7 (2013)

Mohamed Skander Daas; Meriem Bettoum; Maroua Mahmoudi; Mohamed Batouche
A Dynamic Auto-Adaptive Bacterial Foraging Optimization for Color-Based Object Tracking. 2nd Int. Conf. on Segnal, Image, Vision and their Applications (SIVA'13): 413-418 (2013)

Amira Bouaziz; Amer Draa; Salim Chikhi
A quantum-inspired artificial bee colony algorithm for numerical optimisation. 11th Int. Symp. on Programming and Systems (ISPS'13): 81-88 (2013)

Djamel Eddine Saidouni; Messaouda Bouneb; Jean Michel Ilié
Maximality Semantic For Recursive Petri Nets. 27th European Conf. on Modelling and Simulation (ECMS'13): 544-550 (2013)

Kenza Bouaroudj; Djamel Eddine Saidouni; Ilham Kitouni
Testing Stochastic Systems Using MoVoS Tool: Case Studies. 19th Int. Conf. on Information and Software Technologies (ICIST'13): 310-321 (2013)

Farid Arfi; Jean Michel Ilie; Djamel Eddine Saidouni
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. 9th Int. Conf. on Quality, Reliability, Security and Robustness in Heterogeneous Networks (QShine'13): 387-401 (2013)

Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
A Higher-order Agent Model for Ambient Systems. 4th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'13): 156-163 (2013)

Ahmed-Chawki Chaouche; Amal El Fallah-Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
Towards a MAS Approach to Model Ambient Systems. 8th NII-LIP6 WorkShops on Multi-agent and Distributed Systems (2013)