Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala
A Petri net extension for systems of concurrent communicating agents with durable actions. J. of Parallel and Distributed Computing 155: 14-23 (2021)
Khadidja Chettah; Amer Draa
A Quantum-Inspired Genetic Algorithm for Extractive Text Summarization. Int. J. of Natural Computing Research (IJNCR) 10(2): 42-60 (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)
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)