| Towards a tool-based domain specific approach for railway systems modeling and validation A Idani, Y Ledru, A Ait Wakrime, RB Ayed, P Bon International Conference on Reliability, Safety, and Security of Railway …, 2019 | 20 | 2019 |
| An event-B based approach for formal modelling and verification of smart contracts A Lahbib, A Ait Wakrime, A Laouiti, K Toumi, S Martin Advanced Information Networking and Applications: Proceedings of the 34th …, 2020 | 19 | 2020 |
| Formalizing railway signaling system ERTMS/ETCS using UML/Event-B A Ait Wakrime, RB Ayed, S Collart-Dutilleul, Y Ledru, A Idani International Conference on Model and Data Engineering, 321-330, 2018 | 16 | 2018 |
| Incremental Development of a Safety Critical System Combining formal Methods and DSMLs A Idani, Y Ledru, A Ait Wakrime, RB Ayed, S Collart-Dutilleul International Workshop on Formal Methods for Industrial Critical Systems, 93-109, 2019 | 14* | 2019 |
| Cloud service composition using minimal unsatisfiability and genetic algorithm A Ait Wakrime, M Rekik, S Jabbour Concurrency and Computation: Practice and Experience 32 (15), e5282, 2020 | 13 | 2020 |
| Automating Data warehouse design using ontology B Aadil, A Ait Wakrime, L Kzaz, A Sekkaki 2016 International Conference on Electrical and Information Technologies …, 2016 | 11 | 2016 |
| A Model-based Approach for the Modeling and the Verification of Railway Signaling System R Bougacha, A Ait Wakrime, S Kallel, RB Ayed, S Collart-Dutilleul Proceedings of the 14th International Conference on Evaluation of Novel …, 2019 | 10 | 2019 |
| Formal Approach for QoS-Aware Cloud Service Composition A Ait Wakrime, S Jabbour 2017 IEEE 26th International Conference on Enabling Technologies …, 2017 | 10 | 2017 |
| Relaxation based saas for repairing failed queries over the cloud computing A Ait Wakrime, S Benbernou, S Jabbour 2015 IEEE 12th International Conference on e-Business Engineering, 245-250, 2015 | 10* | 2015 |
| Autonomous solution for controller placement problem of software-defined networking using MuZero based intelligent agents O Benoudifa, AA Wakrime, R Benaini Journal of King Saud University-Computer and Information Sciences 35 (10 …, 2023 | 8 | 2023 |
| Satisfiability-Based Privacy-Aware Cloud Computing A Ait Wakrime The Computer Journal 60 (12), 1760-1769, 2017 | 8 | 2017 |
| A deep reinforcement learning framework with formal verification Z Boudi, AA Wakrime, M Toub, M Haloua Formal Aspects of Computing 35 (1), 1-17, 2023 | 7 | 2023 |
| Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control Z Boudi, A Ait Wakrime, S Collart-Dutilleul, M Haloua Proceedings of the 14th International Conference on Evaluation of Novel …, 2019 | 7 | 2019 |
| Formal approach to model complex adaptive computing systems A Jarrar, A Ait Wakrime, Y Balouki Complex Adaptive Systems Modeling 8 (1), 3, 2020 | 6 | 2020 |
| Formalising the Requirements of an E-Voting Software Product Line Using Event-B A Ait Wakrime, JP Gibson, JL Raffy 2018 IEEE 27th International Conference on Enabling Technologies …, 2018 | 6 | 2018 |
| Place-liveness of comsa applications A Ait Wakrime, S Limet, S Robert International Conference on Formal Aspects of Component Software, 346-363, 2014 | 6* | 2014 |
| A SAT-Based Formal Approach for Verifying Business Process Configuration A Ait Wakrime, S Boubaker, S Kallel, W Gaaloul International Conference on Big Data Innovations and Applications, 47-62, 2019 | 5 | 2019 |
| On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques M Rekik, A Ait Wakrime, N Cheniki, Y Sam 2019 IEEE 28th International Conference on Enabling Technologies …, 2019 | 5 | 2019 |
| A separation of concerns approach for the verified modelling of railway signalling rules Y Ledru, A Idani, RB Ayed, A Ait Wakrime, P Bon International Conference on Reliability, Safety, and Security of Railway …, 2019 | 5 | 2019 |
| Formalizing ontologies for AI models validation: from OWL to Event-B MO Bah, Z Boudi, M Toub, AA Wakrime, G Aniba 2021 IEEE 15th International Conference on Semantic Computing (ICSC), 455-462, 2021 | 4 | 2021 |
