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

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)