Abderrahim Ait Wakrime

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 37

Top Venues

WETICE

AICCSA

Concurr. Comput. Pract. Exp.

RSSRail

University of Orléans, France (PHD)

Education History

University of Orléans, France

PHD

Publications

Abderrahim Ait Wakrime, Mohamed Sellami, Riadh Ben Halima
Future internet services and applications. Concurr. Comput. Pract. Exp. 35 (11) (2023)
Ouafae Benoudifa, Abderrahim Ait Wakrime, Rédouane Benaini
Autonomous solution for Controller Placement Problem of Software-Defined Networking using MuZero based intelligent agents. J. King Saud Univ. Comput. Inf. Sci. 35 (10) (2023)
Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini
A transformation methodology for Capella to Event-B models with DSL verification. J. Comput. Lang. 77 (2023)
Salah Eddine Elgharbi, Samir Ouchani, Abderrahim Ait Wakrime, Yassine Ouhammou
Smart Mining and Consensus Protocols in Blockchain-enabled Industrial Cyber-Physical Systems: A Survey. ICFNDS (2023)
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
A Deep Reinforcement Learning Framework with Formal Verification. Formal Aspects Comput. 35 (1) (2023)
Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini
Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems. MEDI (2022)
Abderrahim Ait Wakrime, Yassine Ouhammou
Advances in modeling, verification and testing of safety-critical software architectures. Innov. Syst. Softw. Eng. 18 (4) (2022)
Mohamed Ould Bah, Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime, Ghassane Aniba
Formalizing Ontologies for AI Models Validation: from OWL to Event-B. ICSC (2021)
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul
A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. J. Univers. Comput. Sci. 27 (7) (2021)
Yassine Ouhammou, Abderrahim Ait Wakrime
Guest editorial: Special issue on modeling, verification and testing of dependable critical systems. J. Syst. Archit. 114 (2021)
Abderrahim Ait Wakrime, Saïd Jabbour, Nabil Hameurlain
A MaxSAT based approach for QoS cloud services. Int. J. Parallel Emergent Distributed Syst. 35 (6) (2020)
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
Building Valid Career Ontologies with B-CPNs. SADASC (2020)
Abderrahim Ait Wakrime, Riadh Ben Halima, Mohamed Sellami
Track report of Future Internet Services and Applications (FISA'2020). WETICE (2020)
Abderrahim Ait Wakrime, Mouna Rekik, Saïd Jabbour
Cloud service composition using minimal unsatisfiability and genetic algorithm. Concurr. Comput. Pract. Exp. 32 (15) (2020)
Abderrahim Ait Wakrime, Hamza Labbaci, Mouna Rekik, Nasredine Cheniki, Yacine Sam
Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability. SN Comput. Sci. 1 (3) (2020)
Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. AINA (2020)
Abdessamad Jarrar, Abderrahim Ait Wakrime, Youssef Balouki
Formal approach to model complex adaptive computing systems. Complex Adapt. Syst. Model. 8 (2020)
Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul
A Model-based Approach for the Modeling and the Verification of Railway Signaling System. ENASE (2019)
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data (2019)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. FMICS (2019)
Mouna Rekik, Abderrahim Ait Wakrime, Nasredine Cheniki, Yacine Sam
On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques. WETICE (2019)
Najla Fattouch, Mouna Rekik, Abderrahim Ait Wakrime, Khouloud Boukadi
A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition. AICCSA (2019)
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. RSSRail (2019)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. RSSRail (2019)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. ENASE (2019)
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. MEDI (2018)
Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy
Formalising the Requirements of an E-Voting Software Product Line Using Event-B. WETICE (2018)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. MEDI Workshops (2018)
Abderrahim Ait Wakrime, Saïd Jabbour
Formal Approach for QoS-Aware Cloud Service Composition. WETICE (2017)
Abderrahim Ait Wakrime
Satisfiability-Based Privacy-Aware Cloud Computing. Comput. J. 60 (12) (2017)
Abderrahim Ait Wakrime
Deadlock-freedom of scientific applications using strict colored FIFO nets. CoDIT (2017)
Abderrahim Ait Wakrime, Saïd Jabbour
On repairing queries in cloud computing. AICCSA (2016)
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
On the fly reconfiguration of interactive scientific visualization applications. HPCS (2015)
Abderrahim Ait Wakrime, Saïd Jabbour
Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. ISDA (2015)
Bouchra Aadil, Abderrahim Ait Wakrime, Larbi Kzaz, Abderrahim Sekkaki
Ontological approach for Data WareHouse design. CFIP/NOTERE (2015)
Abderrahim Ait Wakrime, Salima Benbernou, Saïd Jabbour
Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. ICEBE (2015)
Abderrahim Ait Wakrime, Saïd Jabbour
On QoS web service composition using satisfiability. ICTA (2015)
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
Place-Liveness of ComSA Applications. FACS (2014)
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives. CAL (2012)

Abderrahim Ait Wakrime.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abderrahim Ait Wakrime