Raida Elmansouri; Said Meghzili; Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021)
Mohamed Boubakir; Allaoua Chaoui
An Approach And A Tool For Merging A Set Of Models In Pairwise Way. Malaysian J. of Computer Science 34(1): 13–33 (2021)
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)
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)
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)
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)