Mohand Cherif Boukala

According to our database, Mohand Cherif Boukala authored at least 10 papers between 2005 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Efficient VM consolidation: deep reinforcement learning approach based PM workload awareness.

Imène El-Taani, Mohand Cherif Boukala, Samia Bouzefrane, Anissa Imen Amrous

Ann. des Télécommunications, April, 2026

2022

Robust approach for host-overload detection based on dynamic safety parameter.

Imène El-Taani, Mohand Cherif Boukala, Samia Bouzefrane, Anissa Imen Amrous

Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

2021

Energy-Aware VM placement based on intra-balanced resource allocation in data centers.

Imène El-Taani, Mohand Cherif Boukala, Samia Bouzefrane

Proceedings of the 8th International Conference on Future Internet of Things and Cloud, 2021

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

Toward Implicit Learning for the Compositional Verification of Markov Decision Processes.

Redouane Bouchekir, Mohand Cherif Boukala

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers.

Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes.

Redouane Bouchekir, Saïda Boukhedouma, Mohand Cherif Boukala

Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

2014

A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation.

Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2012

Distributed model-checking and counterexample search for CTL logic.

Mohand Cherif Boukala, Laure Petrucci

Int. J. Crit. Comput. Based Syst., 2012

2005

GSM/GPRS Performance Evaluation.

Mohand Cherif Boukala, Malika Ioualen

Proceedings of the 2005 International Conference on Communications in Computing, 2005