Redouane Bouchekir

According to our database, Redouane Bouchekir authored at least 3 papers between 2016 and 2018.

Collaborative distances:

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

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

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