المنشورات
2021
|
Mohammed Mounir Bouhamed; Gregorio Díaz; Allaoua Chaoui; Oussama Kamel; Radouane Nouara
Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods. Applied Sciences 11(20): 21 (2021) |
|
|
Amir Djenna; Saad Harous; Djamel Eddine Saidouni
Internet of Things Meet Internet of Threats: New Concern Cyber Security Issues of Critical Cyber Infrastructure. Applied Sciences 11(10): 4580 (2021) |
|
|
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) |
|
|
Lamis Ghoualmi; Mohamed El Amine Benkechkache; Amer Draa; Salim Chikhi
A multi-objective optimization approach for palm vein feature selection based on the discrete PSO. 6th Int. Conf. on Signal and Image Processing (ICSIP): 159-163 (2021) |
|
|
Abdenacer Nafir; Smaine Mazouzi; Salim Chikhi
Collective DDoS Detection by an Entropy-based Method. Int. Conf. on Theoretical and Applicative Aspects of Computer Science (ICTAACS'21): 1-6 (2021) |
|
|
Hind Hamla; Khadoudja Ghanem
Comparative Study of Embedded Feature Selection Methods on Microarray Data. IFIP Int. Conf. on Artificial Intelligence Applications and Innovations: 69-77 (2021) |
|
|
Moustafa Sadek Kahil; Abdelkrim Bouramoul; Makhlouf Derdour
Multi Criteria-Based Community Detection and Visualization in Large-scale Networks Using Label Propagation Algorithm. Int. Conf. on Recent Advances in Mathematics and Informatics (ICRAMI): 1-6 (2021) |
|
|
Ali Abdelkrim; Abdelkrim Bouramoul; Imene Zenbout
Machine Learning Methods In Drug Discovery: A Selective Review. Int. Conf. on Theoretical and Applicative Aspects of Computer Science (ICTAACS): 1-8 (2021) |
|
|
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) |
2020
|
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) |