Said Meghzile; Allaoua Chaoui; Raida El Mansouri; Bardis Nadjla Alloui; Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. of Software Innovation (IJSI) 10(1): 1-20 (2022)
Yasmina Rahmoune; Allaoua Chaoui
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. Computer Science 23(3): 411-447 (2022)
Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui
Formal Verification of IoT Applications Using Rewriting Logic: An MDE-Based Approach. Science of Computer Programming 222: 102859 (2022)
Mohammed Mounir Bouhamed; Allaoua Chaoui; Redouane Nouara; Gregorio Diaz; Abderraouf Dembri
Reducing the number of migrated instances during business process change: A graph rewriting approach. J. of King Saud University - Computer and Information Sciences, Elsevier (2022)
Karima Mahdi; Allaoua Chaoui; Manel Kolli; Raida Elmansouri
Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN. Int. J. of Organizational and Collective Intelligence (IJOCI) 12(1) (2022)
Khalfaoui Khaled; El Hillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui
Optimized search for complex protocols based on entanglement detection. Quantum Information Processing 21(6) (2022)
Tarablesse Settou; Mohamed-Khireddine Kholladi; Abdelkamel Ben Ali
Improving damage classification via hybrid deep learning feature representations derived from post-earthquake aerial images. Int. J. of Image and Data Fusion 13(1): 1-20 (2022)
Oum Elhana Maamra; Mohamed-Khireddine Kholladi; Okba Kazar; Saad Harous
Smart-Approach Based Internet of Things and Skyline Query for Multicriteria Decisions for Travel Services.. Ingénierie des Systèmes d'Information 27(1): 101-109 (2022)
Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. of Computer Aided Engineering and Technology 16(3): 379-415 (2022)
Zine El Abidine Bouneb; Djamel Eddine Saidouni
Toward an IoT-Based Software-Defined Plumbing Network System With Fault Tolerance. Int. J. of Hyperconnectivity and the Internet of Things (IJHIoT) 6(1): 1-18 (2022)
Mohamed Gharzouli; Aimen Khalil Hamama; Zakaria Khattabi
Topic-based sentiment analysis of hotel reviews. Current Issues in Tourism 25(9): 1368-1375 (2022)
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation. Int. J. of Ambient Computing and Intelligence (IJACI) 13(1): 1-19 (2022)
Mohamed Raouf Kanfoud; Abdelkrim Bouramoul
SentiCode: A new paradigm for one-time training and global prediction in multilingual sentiment analysis. J. of Intelligent Information Systems 59(2): 501-522 (2022)
Bouzenada Ahmed; Bouhamed Mohammed Mounir; Kamel Oussama; Macià Hermenegilda; Díaz Gregorio; Chaoui Allaoua
An Example of a Dynamic CPN Model to Obtain Routes in the Presence of Obstacles Detected Using Machine Learning Techniques. Modelling and Implementation of Complex Systems: 220-233 (2022)
Yassamina Mediani; Mohamed Gharzouli; Chahrazed Mediani
A Hybrid Recommender System for Pedagogical Resources. Int. Conf. on Digital Technologies and Applications (ICDTA'22): 361-371 (2022)
Imene Zenbout; Abdelkrim Bouramoul; Souham Meshoul
Prediction of Cancer Clinical Endpoints Using Deep Learning and RPPA Data. 2nd Int. Conf. on Artificial Intelligence and Its Applications (AIAP 2021): 65-74 (2022)
Hassiba Talbi; Mohamed-Khireddine Kholladi
DEPSO With DTCWT algorithm for multimodal medical image fusion. Int. J. of Applied Metaheuristic Computing (IJAMC) 12(4): 78-97 (2021)
Ahmed Tlili; Salim Chikhi
Risks Analyzing and management in Software Project Management Using Fuzzy Cognitive Maps with Reinforcement Learning. Informatica 45(1): 133-141 (2021)
Mohamed Skander Daas; Salim Chikhi; El-Bay Bourennane
A dynamic multi-sink routing protocol for static and mobile self-organizing wireless networks: A routing protocol for Internet of Things. Ad Hoc Networks 117: 102495 (2021)
Sadek Benhammada; Frédéric Amblard; Salim Chikhi
An Agent-Based Model to Study Informational Cascades in Financial Markets. New Generation Computing 39(2): 409-436 (2021)