Abderrahim Ait Wakrime

According to our database, Abderrahim Ait Wakrime authored at least 39 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Autonomous solution for Controller Placement Problem of Software-Defined Networking using MuZero based intelligent agents.

Ouafae Benoudifa, Abderrahim Ait Wakrime, Rédouane Benaini

J. King Saud Univ. Comput. Inf. Sci., December, 2023

A transformation methodology for Capella to Event-B models with DSL verification.

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini

J. Comput. Lang., November, 2023

A Deep Reinforcement Learning Framework with Formal Verification.

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua

Formal Aspects Comput., March, 2023

Future internet services and applications.

Abderrahim Ait Wakrime, Mohamed Sellami, Riadh Ben Halima

Concurr. Comput. Pract. Exp., 2023

2022

Advances in modeling, verification and testing of safety-critical software architectures.

Abderrahim Ait Wakrime, Yassine Ouhammou

Innov. Syst. Softw. Eng., 2022

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, Rédouane Benaini

Proceedings of the Model and Data Engineering: 11th International Conference, 2022

2021

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation.

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul

J. Univers. Comput. Sci., 2021

Guest editorial: Special issue on modeling, verification and testing of dependable critical systems.

Yassine Ouhammou, Abderrahim Ait Wakrime

J. Syst. Archit., 2021

Formalizing Ontologies for AI Models Validation: from OWL to Event-B.

Mohamed Ould Bah, Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime, Ghassane Aniba

Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

2020

Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability.

Abderrahim Ait Wakrime, Hamza Labbaci, Mouna Rekik, Nasredine Cheniki, Yacine Sam

SN Comput. Sci., 2020

A MaxSAT based approach for QoS cloud services.

Abderrahim Ait Wakrime, Saïd Jabbour, Nabil Hameurlain

Int. J. Parallel Emergent Distributed Syst., 2020

Cloud service composition using minimal unsatisfiability and genetic algorithm.

Abderrahim Ait Wakrime, Mouna Rekik, Saïd Jabbour

Concurr. Comput. Pract. Exp., 2020

Formal approach to model complex adaptive computing systems.

Abdessamad Jarrar, Abderrahim Ait Wakrime, Youssef Balouki

Complex Adapt. Syst. Model., 2020

Track report of Future Internet Services and Applications (FISA'2020).

Abderrahim Ait Wakrime, Riadh Ben Halima, Mohamed Sellami

Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020

Building Valid Career Ontologies with B-CPNs.

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua

Proceedings of the Smart Applications and Data Analysis - Third International Conference, 2020

An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.

Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin

Proceedings of the Advanced Information Networking and Applications, 2020

2019

On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques.

Mouna Rekik, Abderrahim Ait Wakrime, Nasredine Cheniki, Yacine Sam

Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules.

Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation.

Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

A SAT-Based Formal Approach for Verifying Business Process Configuration.

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul

Proceedings of the Big Data Innovations and Applications, 2019

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

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

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition.

Najla Fattouch, Mouna Rekik, Abderrahim Ait Wakrime, Khouloud Boukadi

Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

2018

Formalising the Requirements of an E-Voting Software Product Line Using Event-B.

Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.

Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

Satisfiability-Based Privacy-Aware Cloud Computing.

Abderrahim Ait Wakrime

Comput. J., 2017

Formal Approach for QoS-Aware Cloud Service Composition.

Abderrahim Ait Wakrime, Saïd Jabbour

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Deadlock-freedom of scientific applications using strict colored FIFO nets.

Abderrahim Ait Wakrime

Proceedings of the 4th International Conference on Control, 2017

2016

On repairing queries in cloud computing.

Abderrahim Ait Wakrime, Saïd Jabbour

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

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

PhD thesis, 2015

Ontological approach for Data WareHouse design.

Bouchra Aadil, Abderrahim Ait Wakrime, Larbi Kzaz, Abderrahim Sekkaki

Proceedings of the International Conference on Protocol Engineering, 2015

Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing.

Abderrahim Ait Wakrime, Saïd Jabbour

Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, 2015

On the fly reconfiguration of interactive scientific visualization applications.

Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert

Proceedings of the 2015 International Conference on High Performance Computing & Simulation, 2015

On QoS web service composition using satisfiability.

Abderrahim Ait Wakrime, Saïd Jabbour

Proceedings of the 5th International Conference on Information & Communication Technology and Accessibility, 2015

Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing.

Abderrahim Ait Wakrime, Salima Benbernou, Saïd Jabbour

Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

2014

Place-Liveness of ComSA Applications.

Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2012

Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives.

Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert

Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012