Abderrahim Ait Wakrime

45 papers B 3C 12Journal 14Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Securing SDN controller placement with MuZero and blockchain-based smart contracts.
J. King Saud Univ. Comput. Inf. Sci.
Ouafae Benoudifa, Abderrahim Ait Wakrime, Rédouane Benaini
2024 — conf
Advances in the Security of SDNs: Exploration of Recent ML-Based Approaches.
SADASC (2)
Ilyasse Mellal, Abderrahim Ait Wakrime, Khaoula Boukir
2024 J jnl
Model-driven and component-based framework for scientific applications.
Int. J. Model. Simul. Sci. Comput.
Abderrahim Ait Wakrime, Yassine Ouhammou, Milouda Bouichou
2024 C ed.
Risks and Security of Internet and Systems - 18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6-8, 2023, Revised Selected Papers
CRiSIS
Abderrahim Ait Wakrime, Guillermo Navarro-Arribas, Frédéric Cuppens, Nora Cuppens, Rédouane Benaini
2023 J jnl
A Deep Reinforcement Learning Framework with Formal Verification.
Formal Aspects Comput.
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
2023 J jnl
A transformation methodology for Capella to Event-B models with DSL verification.
J. Comput. Lang.
Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini
2023 J jnl
Autonomous solution for Controller Placement Problem of Software-Defined Networking using MuZero based intelligent agents.
J. King Saud Univ. Comput. Inf. Sci.
Ouafae Benoudifa, Abderrahim Ait Wakrime, Rédouane Benaini
2023 J jnl
Future internet services and applications.
Concurr. Comput. Pract. Exp.
Abderrahim Ait Wakrime, Mohamed Sellami, Riadh Ben Halima
2023 — conf
Smart Mining and Consensus Protocols in Blockchain-enabled Industrial Cyber-Physical Systems: A Survey.
ICFNDS
Salah Eddine Elgharbi, Samir Ouchani, Abderrahim Ait Wakrime, Yassine Ouhammou
2022 — ed.
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings
MEDI Workshops
Philippe Fournier-Viger, Ahmed Hassan Yousef, Ladjel Bellatreche, Ahmed Awad, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune
2022 J jnl
Advances in modeling, verification and testing of safety-critical software architectures.
Innov. Syst. Softw. Eng.
Abderrahim Ait Wakrime, Yassine Ouhammou
2022 C conf
Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems.
MEDI
Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini
2021 J jnl
A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation.
J. Univers. Comput. Sci.
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul
2021 — conf
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.
ICSC
Mohamed Ould Bah, Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime, Ghassane Aniba
2021 J jnl
Guest editorial: Special issue on modeling, verification and testing of dependable critical systems.
J. Syst. Archit.
Yassine Ouhammou, Abderrahim Ait Wakrime
2020 J jnl
A MaxSAT based approach for QoS cloud services.
Int. J. Parallel Emergent Distributed Syst.
Abderrahim Ait Wakrime, Saïd Jabbour, Nabil Hameurlain
2020 B conf
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.
AINA
Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin
2020 — conf
Building Valid Career Ontologies with B-CPNs.
SADASC
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
2020 J jnl
Cloud service composition using minimal unsatisfiability and genetic algorithm.
Concurr. Comput. Pract. Exp.
Abderrahim Ait Wakrime, Mouna Rekik, Saïd Jabbour
2020 J jnl
Formal approach to model complex adaptive computing systems.
Complex Adapt. Syst. Model.
Abdessamad Jarrar, Abderrahim Ait Wakrime, Youssef Balouki
2020 J jnl
Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability.
SN Comput. Sci.
Abderrahim Ait Wakrime, Hamza Labbaci, Mouna Rekik, Nasredine Cheniki, Yacine Sam
2020 C conf
Track report of Future Internet Services and Applications (FISA'2020).
WETICE
Abderrahim Ait Wakrime, Riadh Ben Halima, Mohamed Sellami
2019 C conf
A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition.
AICCSA
Najla Fattouch, Mouna Rekik, Abderrahim Ait Wakrime, Khouloud Boukadi
2019 B conf
A Model-based Approach for the Modeling and the Verification of Railway Signaling System.
ENASE
Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul
2019 — conf
A SAT-Based Formal Approach for Verifying Business Process Configuration.
Innovate-Data
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
2019 — conf
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules.
RSSRail
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
2019 C conf
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -.
FMICS
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul
2019 B conf
Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.
ENASE
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
2019 C conf
On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques.
WETICE
Mouna Rekik, Abderrahim Ait Wakrime, Nasredine Cheniki, Yacine Sam
2019 — conf
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation.
RSSRail
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
2018 C conf
Formalising the Requirements of an E-Voting Software Product Line Using Event-B.
WETICE
Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy
2018 C conf
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.
MEDI
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani
2018 — conf
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.
MEDI Workshops
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
2017 C conf
Deadlock-freedom of scientific applications using strict colored FIFO nets.
CoDIT
Abderrahim Ait Wakrime
2017 C conf
Formal Approach for QoS-Aware Cloud Service Composition.
WETICE
Abderrahim Ait Wakrime, Saïd Jabbour
2017 J jnl
Satisfiability-Based Privacy-Aware Cloud Computing.
Comput. J.
Abderrahim Ait Wakrime
2016 C conf
On repairing queries in cloud computing.
AICCSA
Abderrahim Ait Wakrime, Saïd Jabbour
2015 C conf
Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing.
ISDA
Abderrahim Ait Wakrime, Saïd Jabbour
2015 — conf
On QoS web service composition using satisfiability.
ICTA
Abderrahim Ait Wakrime, Saïd Jabbour
2015 — conf
On the fly reconfiguration of interactive scientific visualization applications.
HPCS
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
2015 — conf
Ontological approach for Data WareHouse design.
CFIP/NOTERE
Bouchra Aadil, Abderrahim Ait Wakrime, Larbi Kzaz, Abderrahim Sekkaki
2015 — conf
Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing.
ICEBE
Abderrahim Ait Wakrime, Salima Benbernou, Saïd Jabbour
2015 — —
Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques. (A component-based approach for interactive visual analysis of numerical simulation results).
Abderrahim Ait Wakrime
2014 — conf
Place-Liveness of ComSA Applications.
FACS
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
2012 — conf
Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives.
CAL
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert