| 2022 | MEDI | Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems. | Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rdouane Benaini |
| 2020 | AINA | An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. | Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin |
| 2020 | WETICE | Track report of Future Internet Services and Applications (FISA'2020). | Abderrahim Ait Wakrime, Riadh Ben Halima, Mohamed Sellami |
| 2019 | AICCSA | A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition. | Najla Fattouch, Mouna Rekik, Abderrahim Ait Wakrime, Khouloud Boukadi |
| 2019 | ENASE | Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. | Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua |
| 2019 | ENASE | A Model-based Approach for the Modeling and the Verification of Railway Signaling System. | Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | FMICS | Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | WETICE | On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques. | Mouna Rekik, Abderrahim Ait Wakrime, Nasredine Cheniki, Yacine Sam |
| 2018 | MEDI | Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. | Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua |
| 2018 | MEDI | Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
| 2018 | WETICE | Formalising the Requirements of an E-Voting Software Product Line Using Event-B. | Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy |
| 2017 | CoDIT | Deadlock-freedom of scientific applications using strict colored FIFO nets. | Abderrahim Ait Wakrime |
| 2017 | WETICE | Formal Approach for QoS-Aware Cloud Service Composition. | Abderrahim Ait Wakrime, Sad Jabbour |
| 2016 | AICCSA | On repairing queries in cloud computing. | Abderrahim Ait Wakrime, Sad Jabbour |
| 2015 | ISDA | Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. | Abderrahim Ait Wakrime, Sad Jabbour |