Service based cooperation patterns to support flexible inter-organizational workflows S Boukhedouma, M Oussalah, Z Alimazighi, D Tamzalit International Journal of Information Technology and Computer Science 6 (4), 1-18, 2014 | 11 | 2014 |
Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process R Bouchekir, MC Boukala Innovations in Systems and Software Engineering (NASA Journal) 14 (3), 229-244, 2018 | 7 | 2018 |
Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisational Workflow Processes SBMCB Redouane Bouchekir SIMULTECH 2016 16 (10.5220/0005978602440253), 244-253, 2016 | 4* | 2016 |
Toward implicit learning for the compositional verification of Markov decision processes R Bouchekir, MC Boukala Verification and Evaluation of Computer and Communication Systems: 12th …, 2018 | 2 | 2018 |
Symbolic probabilistic analysis and verification of inter-organizational workflow R Bouchekir, S Boukhedouma, MC Boukala Information Technology for Organizations Development (IT4OD), 2016 …, 2016 | 2 | 2016 |
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus L Sorokin, R Bouchekir, TA Beyene, BHC Liao, A Molin European Dependable Computing Conference, 49-61, 2024 | | 2024 |
Formal Verification for Safe AI-based Flight Planning for UAVs R Bouchekir, M Guzman, A Cook, J Haindl, R Woolnough 53rd Annual IEEE/IFIP International Conference on Dependable Systems and …, 2023 | | 2023 |
Vérification modulaire des systèmes probabilistes complexes R Bouchekir | | 2021 |
Automated Compositional Verification for Probabilistic Systems Through Implicit Learning MB R Bouchekir First international conference on Embedded and Distributed Systems, 2017 | | 2017 |