GSM/GPRS Performance Evaluation. - Mohand Cherif Boukala; Malika Ioualen (Communications in Computing, 2005)

Distributed model-checking and counterexample search for CTL logic. - Mohand Cherif Boukala; Laure Petrucci (Int. J. Crit. Comput. Based Syst., 2012)

A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation. - Djaouida Dahmani; Mohand Cherif Boukala; Hassan Mountassir (PNSE @ Petri Nets, 2014)

Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes. - Redouane Bouchekir; Saïda Boukhedouma; Mohand Cherif Boukala (SIMULTECH, 2016)

Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. - Djamila Dahmani; Mohand Cherif Boukala; Hassan Mountassir; Samir Chouali (PNSE @ Petri Nets, 2017)

Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. - Redouane Bouchekir; Mohand Cherif Boukala (VECoS, 2018)

Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process. - Redouane Bouchekir; Mohand Cherif Boukala (Innov. Syst. Softw. Eng., 2018)

Energy-Aware VM placement based on intra-balanced resource allocation in data centers. - Imène El-Taani; Mohand Cherif Boukala; Samia Bouzefrane 001 (FiCloud, 2021)

Robust approach for host-overload detection based on dynamic safety parameter. - Imène El-Taani; Mohand Cherif Boukala; Samia Bouzefrane 001; Anissa Imen Amrous (FiCloud, 2022)