Author

Redouane Bouchekir

Observed name: R. Bouchekir

Institutions: Fortiss, Technical University of Munich

Observed institutions: University of Sciences and Technology Houari Boumediene, Fortiss, Technical University of Munich

ORCID: 0000-0002-4170-7331

Observed ORCID: 0000-0002-4170-7331

OpenAlex ID: A5034725046

Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process

2018 · Redouane Bouchekir, Mohand Cherif Boukala · Innovations in Systems and Software Engineering · 8

Formal Verification for Safe AI-based Flight Planning for UAVs*

2023 · R. Bouchekir, M. Guzman, et al. · International Conference on Dependable Systems and Networks workshops · 6

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

2016 · Redouane Bouchekir, Saida Boukhedouma, et al. · International Conference on Simulation and Modeling Methodologies, Technologies and Applications · 6

Toward Implicit Learning for the Compositional Verification of Markov Decision Processes

2018 · Redouane Bouchekir, Mohand Cherif Boukala · Lecture notes in computer science · 2

Symbolic probabilistic analysis and verification of inter-organizational workflow

2016 · Redouane Bouchekir, Saida Boukhedouma, et al. · International Conference on Information Technology for Organizations Development (IT4OD) · 2

On Safety Assurance of Symbolic Artificial Intelligence

2024 · M. Guzman, R. Bouchekir, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)

Works count: 6

Citation count: 24

H-index: 3

I10-index: