Khadidja Chettah; Amer Draa
A Discrete Differential Evolution Algorithm for Extractive Text Summarization. Int. Conf. on INnovations in Intelligent SysTems and Applications (INISTA 2021): 1-6 (2021)
Mohamed Raouf Kanfoud; Abdelkrim Bouramoul
Linking the Linguistic Resources Using Graph Structure for Multilingual Sentiment Analysis. Proceedings of Sixth Int. Congress on Information and Communication Technology: 973-982 (2021)
Sadek Menaceur; Makhlouf Derdour; Abdelkrim Bouramoul
Using Query Expansion Techniques and Content-Based Filtering for Personalizing Analysis in Big Data. Int. J. of Information Technology and Web Engineering (IJITWE) 15(2): 77-101 (2020)
Sid Ahmed Hadri; Abdelkrim Bouramoul
Recent Virtual Reality Advances In Psychotherapy: A Highly Selective Review. Int. J. of Informatics and Applied Mathematics 3(2): 23-34 (2020)
Nadia Chabbat; Djamel Eddine Saidouni; Radja Boukharrou; Salim Ghanemi
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Computing and Informatics 39(5): 1022-1060 (2020)
Badreddine Miles; El-Bay Bourennane; Samia Boucherkha; Salim Chikhi
A study of LoRaWAN protocol performance for IoT applications in smart agriculture. Computer Communications 164: 148-157 (2020)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020)
Bouchera Maati; Djamel Eddine Saidouni
CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacks. J. of Ambient Intelligence and Humanized Computing : 1-30 (2020)
Oussama Kamel; Allaoua Chaoui; Gregorio Diaz; Mohamed Gharzouli
SLA-Driven Modeling and Verifying Cloud Systems: A Bigraphical Reactive Systems-based Approach. Computer Standards & Interfaces 74 (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)
Aissam Belghiat; Dalal Oukhaf; Allaoua Chaoui
Transforming UML Diagrams to YAWL models for Business Processes Analysis.. In book Modelling and Implementation of Complex Systems: 279-293 (2020)
Moustafa Sadek Kahil; Abdelkrim Bouramoul; Makhlouf Derdour
Big Data and Interactive Visualization: Overview on Challenges, Techniques and Tools. Advanced Intelligent Systems for Sustainable Development (AI2SD'2019): 157-167 (2020)
Amir Djenna; Djamel Eddine Saidouni; Wafia Abada
A Pragmatic Cybersecurity Strategies for Combating IoT-Cyberattacks. Int. Symp. on Networks, Computers and Communications (ISNCC'20): 1-6 (2020)
Sohaib Soualah; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul; Yousra Hafidi
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. 15th Int. Conf. on Software Technologies (ICSOFT'2020): 227-241 (2020)
Abderraouf Dembri; Mohamed Gharzouli
Graph-based Model for Negative e-WOM Influence in Social Media. 5th Int. Conf. on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech): 1-6 (2020)
Ahmed-Chawki Chaouche; Jean-Michel Ilie; François Pêcheux
Dealing with Failures for Execution Consistency in Context-aware Systems. 11th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'20): 212-219 (2020)
Radja Boukharrou; Ahmed-Chawki Chaouche; Khaoula Mahdjar
Toward a Privacy Guard for Cloud-Based Home Assistants and IoT Devices. 6th Int. Conf. on Mobile, Secure, and Programmable Networking: 177-194 (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)