A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude. - Messaoud Bendiaf; Mustapha Bourahla; Malika Boudia; Seidali Rehab (Int. J. Inf. Technol. Web Eng., 2017)

Rumor Stance Classification: A Case Study on the Propagation of Political Rumors on the Algerian Online Social Space. - Mohammed El Manar Righi; Djallel Eddine Boussahel; Djamila Mohdeb; Meriem Laifa; Messaoud Bendiaf (ICAASE, 2022)