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 Accès fermé 6
Productions scientifiques
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
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Computer Science Journal of MoldovaVolume 31، (2 (92))، Pages 272-2962023Article Accès ouvertPlusieurs sources
Development of Critical Systems with UML/OCL and FoCaLiZe
Communications in computer and information sciencePages 16-302021Autre Accès ferméPlusieurs sources 1
Deep Convolutional Neural Network with KNN Regression for Automatic Image Annotation
Ramla Bensaci, Belal Khaldi, Oussama Aiadi, Ayoub Benchabana
Automatic Extraction of Spatio-Temporal Information from Arabic Text Documents
Feriel Abdelkoui, Mohamed Khireddine Kholladi
International Journal of Computer Science and Information TechnologyVolume 7، (5)، Pages 97-1072015Article Accès ouvert 4
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 Accès fermé 3
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
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 Accès fermé 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 Accès ferméPlusieurs sources 15
Simplified hybrid space vector modulation for multilevel diode clamped converter
Mansour Bouzidi, Said Barkat, Abdelbasset Krama
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
A Cost-effective Deep Active Learning for Object Detection in Automated Driving Systems
Mohib Khebbache, Salim Bitam, Abdelhamid Mellouk
International Journal of Computing and Digital SystemsVolume 14، (1)، Pages 839-8542023Article Accès ouvertPlusieurs sources 1
Generative AI for Automated Financial Reporting and Narrative Generation
Bioreduction of aromatic ketones catalyzed by oak fruits (Quercus Ilex L ) fruit grown in north Algeria
Salah Neghmouche Nacer, Mohammed Said Nedjimi, Salah Tlili, Mohammed Larbi Benamor, Abdelhakim Medjdoub
HPLC–DAD Analysis, Antimicrobial and Antioxidant Properties of Aromatic Herb Melissa officinalis L., Aerial Parts Extracts
Fahima Abdellatif, Samir Begaa, Mohammed Messaoudi, Adel Benarfa, Hamza Ouakouak, Aïcha Hassani, BARBARA HELENA SAWICKA, Jesús Simal‐Gándara
The Role of AI-Powered Digital Analytics Tools in Developing the Digital Activities of Enterprises
Ammar Djaidja, Meriem Fihakhir, Tamma Elhachemi
Science Education and Innovations in the Context of Modern ProblemsVolume 8، (9)، Pages 1245-12582025Article Accès ouvert
Green Technology as a Way of Cleaning the Environment from Petroleum Substances in South-Eastern Poland
BARBARA HELENA SAWICKA, Виола Владиславовна Вамболь, Barbara Krochmal‐Marczak, Mohammed Messaoudi, Dominika Skiba, Piotr Pszczółkowski, Piotr Barbaś, Alaa Kadhim Farhan