Publications
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) |
|
|
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) |
|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
|
2019
|
Amer Draa; Khadidja Chettah; Hichem Talbi
A Compound Sinusoidal Differential Evolution algorithm for continuous optimization. Swarm and Evolutionary Computation 50 (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) |