Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès ferméPlusieurs sources 3
Productions scientifiques
Development of Critical Systems with UML/OCL and FoCaLiZe
Communications in computer and information sciencePages 16-302021Autre Accès ferméPlusieurs sources 1
Control device for automatic orientation of a solar panel based on a microcontroller (PIC16f628a)
Mohamed Redha Rezoug, Abdelbasset Krama
Robust remote speaker recognition system based on AR-MFCC features and efficient speech activity detection algorithm
Riadh Ajgou, Salim Sbaa, Said Ghendir, Ali Chamsa, Abdelmalik Taleb Ahmed
Volume 54، Pages 722-7272014Autre Accès ferméPlusieurs sources 9
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Autre Accès ferméPlusieurs sources 3
Rapid Automatized Naming and Visual Searching in Arabic-Speaking Children With and Without Dyslexia: The Potential Effect of Color
Smaïl Layes, Sana Tibi, Marjolaine Cohen, Linda J. Lombardino
New Simplified and Generalized Three-Dimensional Space Vector Modulation Algorithm for Multilevel Four-Leg Diode Clamped Converter
Mansour Bouzidi, Said Barkat, Abdelbasset Krama
IEEE Transactions on Industrial ElectronicsVolume 68، (10)، Pages 9908-99182020Article Accès ferméPlusieurs sources 15
A Remote Medical Monitoring System Based on Data Mining
Bekiri Roumaissa, Abdelhamid Djeffal, Messaoud Hettiri
Pages 282-2862020Autre Accès ferméPlusieurs sources 11
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Autre Accès ferméPlusieurs sources 2
An Authenticated Method for a Secure Changing Password
Mostefa Kara, Konstantinos Κarampidis, Laid Kenioua, Manolis G. Tampouratzis, Muath AlShaikh, Giorgos M. Papadourakis, Abdelkader Laouid
Pages 1-62024Autre Accès ferméPlusieurs sources 1
An automated cascade framework for glioma prognosis via segmentation, multi-feature fusion and classification techniques
Biomedical Physics & Engineering ExpressVolume 11، (3)، Pages 0350272025Article Accès ferméPlusieurs sources 1
Improving damage classification via hybrid deep learning feature representations derived from post-earthquake aerial images
International Journal of Image and Data FusionVolume 13، (1)، Pages 1-202020Article Accès ferméPlusieurs sources 10
Organic Micropollutants in Wastewaters: Advances in Sustainable Management and Treatment Methods
BARBARA HELENA SAWICKA, Mohammed Messaoudi, Виола Владиславовна Вамболь, Sergij Vambol, Nadjet Osmani, Wafa Zahnit, Dominika Skiba, Ilham Ben Amor, Bachir Ben Seghir, Abdelkrim Rebiai
Pages 225-2472024Chapitre Accès ferméPlusieurs sources 3
Solid–Liquid Equilibria for Biphenyl + n-Tetracosane Binary Mixtures and n-Tetracosane + Dibenzofuran + Biphenyl Ternary Mixtures: Experimental Data and Prediction with UNIFAC Models
Issam Boudouh, Kazuhiro Tamura, Ismahane Djemai, María Dolores Robustillo, Mohamed K. Hadj-Kali
An intelligent system for energy management in smart cities based on big data and ontology
Zaoui Sayah, Okba Kazar, Brahim Lejdel, Abdelkader Laouid, Ahmed Ghenabzia
Smart and Sustainable Built EnvironmentVolume 10، (2)، Pages 169-1922020Article Accès ferméPlusieurs sources 56
Antibacterial Activity and in Silico Investigation of 2-[(3-Substitutedphenyl) Azomethine] Phenol as anti-SARS-CoV-2 M pro and anti- Plasmodium falciparum Agents
Mohamed Yazid Belghit, Dalal Harkati, Abdelhamid Moussi
Polycyclic aromatic compoundsVolume 44، (4)، Pages 2188-22112023Article Accès ferméPlusieurs sources
Influence of Fuzzy Power System Stabilizer using Different Membership Functions for Single and Multi-machine
Journal of Control Automation and Electrical SystemsVolume 32، (5)، Pages 1269-12782021Article Accès ferméPlusieurs sources 6
Robust $$ H_{\infty } $$ Control Based on the Mean Value Theorem for Induction Motor Drive
Meriem Allag, Abdelkrim Allag, Okba Zeghib, Bilal Hamidani
Journal of Control Automation and Electrical SystemsVolume 30، (5)، Pages 657-6652019Article Accès ferméPlusieurs sources 9
Modeling and Control of DFIG Through Back-to-Back Five Levels Converters Based on Neuro-Fuzzy Controller
Abdelhak Dida, Djilani Benattous
Journal of Control Automation and Electrical SystemsVolume 26، (5)، Pages 506-5202015Article Accès ferméPlusieurs sources 6
Matricaria pubescens (DESF.) SCH. essential oils and their potential to inhibit several critical enzymes linked to type II diabetes and Alzheimer’s disease and antimicrobial activity
Kherraz Khaled, Mohammed Messaoudi, Amar Djemoui, LAOUEDJ Hacene, Ghemam Amara Djilani, Ayomide Victor Atoki, Chawki Bensouıcı, Chefrour Azedinne
Journal of Essential Oil Bearing PlantsVolume 28، (4)، Pages 695-7072025Article Accès ferméPlusieurs sources 2