Publications
2020
Zakaria Abdelmoiz Dahi; Enrique Alba
The grid-to-neighbourhood relationship in cellular GAs: from design to solving complex problems. Soft Computing 24(5): 3569-3589 (2020)
Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. of Computer Aided Engineering and Technology 12(2): 237-262 (2020)
Said Meghzili; Allaoua Chaoui; Martin Streckecker; Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. of Software Innovation (IJSI) 8(1): 33 (2020)
Roumeissa Khennaoui; Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. 18th Int. Conf. on Smart Homes and Health Telematics (ICOST'20): 415-422 (2020)
Anfel Selmadji; Abdelhak-Djamel Seriai; Hinde-Lilia Bouziane; Rahina Oumarou Mahamane; Pascal Zaragoza; Christophe Dony
From Monolithic Architecture Style to Microservice one Based on a Semi-Automatic Approach. Int. Conf. on Software Architecture (ICSA): 157-168 (2020)
Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laïd Kahloul
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. Int. Conf. on Software Technologies (ICSOFT'20) (2020)
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. 11th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'2020): 530-538 (2020)
Jean-Michel Ilié; Karim Lahiani; Ahmed-Chawki Chaouche; François Pêcheux
An Efficient Learning Assistant for a Contextual Road Navigation. 11th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'2020): 522-529 (2020)
2019
Imene Bensetira; Djamel Eddine Saidouni; Mahfud Al-la Alamin
A state space distribution approach based on system behaviour. Int. J. of Computational Science and Engineering (IJCSE) 19(3): 418-429 (2019)
Imène Bensalem; Paolo Rosso.; Salim Chikhi
On the use of character n-grams as the only intrinsic evidence of plagiarism. Language Resources and Evaluation 53(3): 363-396 (2019)
Fayçal Guerrouf; Allaoua Chaoui
A graph transformation based approach for multi-agent systems reorganization. Multiagent and Grid Systems 15(4): 375-394 (2019)
Said Labed; Akram Kout; Salim Chikhi
A New Approach based Bee Colony for the Resolution of Routing Problem in Mobile Ad-Hoc Networks. Int. J. of Applied Metaheuristic Computing (IJAMC) 10(2): 131-151 (2019)
Aissam Belghiat; Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems 14(4): 337-356 (2019)
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Int. J. of Computational Vision and Robotics 9(2): 172-191 (2019)
Imane Boussebough; Issam Eddine Chaib; Billel Boudjit
An Ambient Multi-Agent System for Healthcare Monitoring of Patients With Chronic Diseases.. In book Intelligent Systems for Healthcare Management and Delivery: 61-71 (2019)
Badreddine Miles; Salim Chikhi; El-Bay Bourennane
Carbon Monoxide Detection: An IoT Application Used As a Tool for Civil Protection Services to Save Lives. 3rd Int. Conf. on Future Networks and Distributed Systems (ICFNDS'19): 8:1-8:4 (2019)
Hichem Baitiche; Mourad Bouzenada; Djamel Eddine Saidouni; Youcef Berkane; Hichem Chama
A Context-Aware Distributed Protocol for Updating BDI Agents Abilities. 5th Int. Symp. on Modelling and Implementation of Complex Systems (MISC'18): 243-256 (2019)
Sofia Kouah; Ilham Kitouni
Towards Fuzzy Partial Global Fault Diagnosis. Int. Conf. on Information Technologies (ICIT'19): 406-420 (2019)
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
Vers un agent intentionnel à planification contextuelle pour robot roulant autonome. Séminaire de Connaissance et Intelligence Artificielle Distribuées (CIAD) (2019)
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)