Mohamed Ramdani

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 22

Top Topics

Formal Verification

Authorship Attribution

Collaborative Filtering

Top Venues

ENASE (Selected Papers)

Publications

Idir Filali, Mohamed Ramdani, Brahim Achour
Butterfly segmentation by multi scaled quantum cuts in agro-ecological environment. Signal Process. 219 (2024)
Ilyes Naidji, Chams Eddine Choucha, Mohamed Ramdani
Decentralized Federated Learning Architecture for Networked Microgrids. ICINCO (1) (2023)
Idir Filali, Brahim Achour, Mohamed Ramdani
Segmentation of butterflies from complex agro-ecological images using quantum mechanics and spatial refinement. Digit. Signal Process. 135 (2023)
Qazi Mashaal Khan, Lokesh Devaraj, Richard Perdriau, Alastair R. Ruddle, Tim Claeys, Mohamed Ramdani, Mohsen Koohestani
Experimental Characterization of Multitone EM Immunity of Integrated Oscillators Under Thermal Stress. IEEE Access 10 (2022)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, MengChu Zhou
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 18 (3) (2021)
Mohamed Ramdani, Mohamed Benmohammed, Nadjia Benblidia
Comparison of scalar point multiplication algorithms in a low resource device. J. King Saud Univ. Comput. Inf. Sci. 32 (4) (2020)
Jamal Mawane, Abdelwahab Naji, Mohamed Ramdani
Unsupervised Deep Collaborative Filtering Recommender System for E-Learning Platforms. SADASC (2020)
Jamal Mawane, Abdelwahab Naji, Mohamed Ramdani
Recommender E-Learning platform using sentiment analysis aggregation. SITA (2020)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. ICSOFT (Selected Papers) (2020)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. ICSOFT (2020)
Mohsen Koohestani, Mohamed Ramdani, Frédéric Lafon, Antonio A. Moreira, Richard Perdriau
Impact of Field Polarization on Radiated Emission Characterization in an Open TEM Cell. IEEE Trans. Instrum. Meas. 69 (9) (2020)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. ENASE (Selected Papers) (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
On Improved Verification of Reconfigurable Real-Time Systems. ENASE (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui
On Improving Parallel Rebuilding of R-TNCESs. ICSOFT (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ENASE (Selected Papers) (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. ENASE (2019)
Mohamed Ramdani, Mohamed Benmohammed, Nadjia Benblidia
Comparison of Scalar Multiplication Algorithms in a Low Resource Device. ICAASE (2018)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. ICSOFT (2018)
Jamal Mawanel, Abdelwahab Naji, Mohamed Ramdani
Clustering collaborative filtering approach for Diftari E-Learning platform' recommendation system. SITA (2018)
Mohamed Ramdani, Mohamed Benmohammed, Nadjia Benblidia
for resource-constrained networks. ICFNDS (2018)
Alfalahi Ahmed, Mohamed Ramdani, Mostafa Bellafkih
Authorship attribution in Arabic poetry using NB, SVM, SMO. SITA (2016)
Abdelwahab Naji, Mohamed Ramdani
Toward a better self-regulation: degree of certainty through fuzzy logic in a formative assessment. AI Soc. 31 (2) (2016)
Alfalahi Ahmed, Mohamed Ramdani, Mostafa Bellafkih, Al-Sarem Mohammed
Authorship attribution in Arabic poetry. SITA (2015)
Raouyane Brahim, Mostafa Bellafkih, Mohamed Errais, Mohamed Ramdani
IMS management and monitoring with eTOM framework and composite web service. Int. J. Multim. Intell. Secur. 2 (2) (2011)