Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles, Renaud Rioboo, Messaoud Abbas
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Closed access 6
Research output
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 Closed accessSeveral sources 3
Development of Critical Systems with UML/OCL and FoCaLiZe
Communications in computer and information sciencePages 16-302021Other Closed accessSeveral sources 1
Control device for automatic orientation of a solar panel based on a microcontroller (PIC16f628a)
Mohamed Redha Rezoug, Abdelbasset Krama
Automated Word Sense Disambiguation Using WordNet Ontology
Khaoula Belila, Okba Kazar, Mohammed Charaf Eddine Meftah
International Journal of Organizational and Collective IntelligenceVolume 12، (1)، Pages 1-182022Article Closed access 3
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-7272014Other Closed accessSeveral sources 9
Optimized Predictive Torque Control of Induction Motor for Reduced Torque Ripple and Average Switching Frequency based on Rooted Tree Optimization
Youcef Bekakra, Mabrouka Romdhane, Abdelmalek Gacem, Mohamed Naoui, Mostefa Kermadi, Om P. Malik, Saad Mekhilef
2026Article Closed accessSeveral sources 1
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Other Closed accessSeveral 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
A New Approach for Social Networks Based on Ontology of Multilingual Dynamic Groups
International Journal of Organizational and Collective IntelligenceVolume 12، (1)، Pages 1-212022Article Closed access 3
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 Closed accessSeveral sources 15
A Remote Medical Monitoring System Based on Data Mining
Bekiri Roumaissa, Abdelhamid Djeffal, Messaoud Hettiri
Pages 282-2862020Other Closed accessSeveral sources 11
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Other Closed accessSeveral 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-62024Other Closed accessSeveral 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 Closed accessSeveral sources 1
Development of QSRR model of a set of Polycyclic Aromatic Hydrocarbons (PAHs) using simple regression analysis in silico
Nadia Ziani, Khadidja Amirat, Souhaila Meneceur, Abderrhmane Bouafia
Designed Crops: Herbal and Aromatic Plants
Asma Abid, Nour Elhouda Mekhadmi, Randa Mlik
Pages 805-8222025Other Closed access
Silico Methodologies Modelling of Aquatic Toxicity in Tetrahymena Pyriformis Via Aromatic Amines
Nadia Ziani, Khadidja Amirat, Souhaila Meneceur, Fatiha Mebarki, Abderrhmane Bouafia
Modeling of Log Kow of a Series of PAHs using Computational Chemistry
Fatiha Mebarki, Souhaila Meneceur, Abderrhmane Bouafia
ASPEN HYSYS SIMULATION AND COMPARISON BETWEEN ORGANIC SOLVENTS (SULFOLANE AND DMSO) USED FOR BENZENE EXTRACTION
T. Zaiz, H. Lanez, B. Kechida
International Journal of Chemical and Petroleum SciencesVolume 2، (1)، Pages 10-192013Article Closed accessSeveral sources 2