Mohamed Ramdani

Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems

Mohamed Khalgui, Laïd Kahloul, Mohamed Ramdani, 2018, ICSOFT.

Risk factors for Coronavirus Disease 2019 (COVID-19) severity and mortality among solid cancer patients and impact of the disease on anticancer treatment: A French nationwide cohort study (GCO-002 CACOVID-19)

N. Magné, B. Chauffert, F. Ducray, 2020, European Journal of Cancer.

Segmentation of butterflies from complex agro-ecological images using quantum mechanics and spatial refinement

Mohamed Ramdani, Idir Filali, Brahim Achour, 2023, Digit. Signal Process..

On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment

M. Khalgui, Mohamed Ramdani, L. Kahloul, 2020, ICSOFT.