Mohand Cherif Boukala

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 6

Top Topics

Facial Feature Detection

Markov Decision Processes

Top Venues

PNSE @ Petri Nets

Innov. Syst. Softw. Eng.

Publications

Imène El-Taani, Mohand Cherif Boukala, Samia Bouzefrane, Anissa Imen Amrous
Robust approach for host-overload detection based on dynamic safety parameter. FiCloud (2022)
Imène El-Taani, Mohand Cherif Boukala, Samia Bouzefrane
Energy-Aware VM placement based on intra-balanced resource allocation in data centers. FiCloud (2021)
Redouane Bouchekir, Mohand Cherif Boukala
Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process. Innov. Syst. Softw. Eng. 14 (3) (2018)
Redouane Bouchekir, Mohand Cherif Boukala
Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. VECoS (2018)
Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. PNSE @ Petri Nets (2017)
Redouane Bouchekir, Saïda Boukhedouma, Mohand Cherif Boukala
Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes. SIMULTECH (2016)
Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir
A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation. PNSE @ Petri Nets (2014)
Mohand Cherif Boukala, Laure Petrucci
Distributed model-checking and counterexample search for CTL logic. Int. J. Crit. Comput. Based Syst. 3 (1/2) (2012)
Mohand Cherif Boukala, Malika Ioualen
GSM/GPRS Performance Evaluation. Communications in Computing (2005)