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
Development of Critical Systems with UML/OCL and FoCaLiZe
Communications in computer and information sciencePages 16-302021Autre Accès ferméPlusieurs sources 1
Adaptive Acquisition of PN Code using Automatic Censoring CFAR Outlier Detection in Multipath Fading Mobile Channels
Abdelhafid JOUINI, Abdelmadjid MAALI, Mustapha BENSSALAH, Abdelhak NASRALLAH, Geneviève BAUDOIN, M'hamed HAMADOUCHE
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)Pages 2-72020Communication Accès fermé 7
A New Methodology Of Auto-Adaptive PN Code Acquisition For Spread Spectrum Communications Environment
Abdelhafid JOUINI, Abdelmadjid MAALI, Geneviève BAUDOIN, M’hamed HAMADOUCHE
2018 International Conference on Communications and Electrical Engineering (ICCEE)Pages 1-62018Communication Accès fermé
Automatic Generation Control Using Second Generation of FACTS ‘Interline Power Flow Controller’
Yousfi Boutheina, Delassi Abdelmoumène, Arif Salem
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)Pages 470-4732020Communication Accès fermé 1
Enhancing Student Learning: Automatic Support in an Educational Social Network
Sirine Bouguettaya, Amina Zedadra, Ouarda Zedadra
2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS)Pages 1-82024Communication Accès fermé 1
Control device for automatic orientation of a solar panel based on a microcontroller (PIC16f628a)
Mohamed Redha Rezoug, Abdelbasset Krama
Hybrid Modeling for Permanent-Magnet Synchronous Machines: Exact Analytical Method and Magnetic Equivalent Circuit
Brahim Ladghem-Chikouche, Ibtissem Belgasmi, Lazhar Roubache, Zakarya Djelloul-Khedda, Kamel Boughrara
2024 2nd International Conference on Electrical Engineering and Automatic Control (ICEEAC)Pages 1-52024Communication Accès fermé
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
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
An improved registration and mosaicking method for remote sensing images under geometric and photometric constraints
L. Meddeber, T. Zouagui, N. Berrached
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)Pages 125-1302020Communication Accès fermé 1
Optimized Convolutional Neural Network architecture for UAV navigation within unstructured trail
Khaoula MENFOUKH, Mostefa Mohamed TOUBA, Fouad KHENFRI, Lemya GUETTAL
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)Pages 211-2142020Communication Accès fermé 10
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
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
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