Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives. - Abderrahim Ait Wakrime; Sébastien Limet; Sophie Robert 001 (CAL, 2012)

Place-Liveness of ComSA Applications. - Abderrahim Ait Wakrime; Sébastien Limet; Sophie Robert 001 (FACS, 2014)

Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. - Abderrahim Ait Wakrime; Salima Benbernou; Saïd Jabbour (ICEBE, 2015)

On QoS web service composition using satisfiability. - Abderrahim Ait Wakrime; Saïd Jabbour (ICTA, 2015)

On the fly reconfiguration of interactive scientific visualization applications. - Abderrahim Ait Wakrime; Sébastien Limet; Sophie Robert 001 (HPCS, 2015)

Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. - Abderrahim Ait Wakrime; Saïd Jabbour (ISDA, 2015)

Ontological approach for Data WareHouse design. - Bouchra Aadil; Abderrahim Ait Wakrime; Larbi Kzaz; Abderrahim Sekkaki (CFIP/NOTERE, 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 (2015)

On repairing queries in cloud computing. - Abderrahim Ait Wakrime; Saïd Jabbour (AICCSA, 2016)

Deadlock-freedom of scientific applications using strict colored FIFO nets. - Abderrahim Ait Wakrime (CoDIT, 2017)

Formal Approach for QoS-Aware Cloud Service Composition. - Abderrahim Ait Wakrime; Saïd Jabbour (WETICE, 2017)

Satisfiability-Based Privacy-Aware Cloud Computing. - Abderrahim Ait Wakrime (Comput. J., 2017)

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. - Zakaryae Boudi; Abderrahim Ait Wakrime; Simon Collart Dutilleul; Mohamed Haloua (MEDI Workshops, 2018)

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. - Abderrahim Ait Wakrime; Rahma Ben Ayed; Simon Collart Dutilleul; Yves Ledru; Akram Idani (MEDI, 2018)

Formalising the Requirements of an E-Voting Software Product Line Using Event-B. - Abderrahim Ait Wakrime; J. Paul Gibson; Jean-Luc Raffy (WETICE, 2018)

A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition. - Najla Fattouch; Mouna Rekik 001; Abderrahim Ait Wakrime; Khouloud Boukadi (AICCSA, 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 (ENASE, 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 (ENASE, 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 (FMICS, 2019)

A SAT-Based Formal Approach for Verifying Business Process Configuration. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Walid Gaaloul (Innovate-Data, 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 (RSSRail, 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 (RSSRail, 2019)

On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques. - Mouna Rekik 001; Abderrahim Ait Wakrime; Nasredine Cheniki; Yacine Sam (WETICE, 2019)

An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. - Asma Lahbib; Abderrahim Ait Wakrime; Anis Laouiti; Khalifa Toumi; Steven Martin 001 (AINA, 2020)

Building Valid Career Ontologies with B-CPNs. - Zakaryae Boudi; Abderrahim Ait Wakrime; Mohamed Toub; Mohamed Haloua (SADASC, 2020)

Track report of Future Internet Services and Applications (FISA'2020). - Abderrahim Ait Wakrime; Riadh Ben Halima; Mohamed Sellami (WETICE, 2020)

Formal approach to model complex adaptive computing systems. - Abdessamad Jarrar; Abderrahim Ait Wakrime; Youssef Balouki (Complex Adapt. Syst. Model., 2020)

Cloud service composition using minimal unsatisfiability and genetic algorithm. - Abderrahim Ait Wakrime; Mouna Rekik 001; Saïd Jabbour (Concurr. Comput. Pract. Exp., 2020)

A MaxSAT based approach for QoS cloud services. - Abderrahim Ait Wakrime; Saïd Jabbour; Nabil Hameurlain (Int. J. Parallel Emergent Distributed Syst., 2020)

Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability. - Abderrahim Ait Wakrime; Hamza Labbaci; Mouna Rekik 001; Nasredine Cheniki; Yacine Sam (SN Comput. Sci., 2020)

Formalizing Ontologies for AI Models Validation: from OWL to Event-B. - Mohamed Ould Bah; Zakaryae Boudi; Mohamed Toub; Abderrahim Ait Wakrime; Ghassane Aniba (ICSC, 2021)

Guest editorial: Special issue on modeling, verification and testing of dependable critical systems. - Yassine Ouhammou; Abderrahim Ait Wakrime (J. Syst. Archit., 2021)

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Emna Guermazi 001; Walid Gaaloul (J. Univers. Comput. Sci., 2021)

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 (MEDI, 2022)

Advances in modeling, verification and testing of safety-critical software architectures. - Abderrahim Ait Wakrime; Yassine Ouhammou (Innov. Syst. Softw. Eng., 2022)

Smart Mining and Consensus Protocols in Blockchain-enabled Industrial Cyber-Physical Systems: A Survey. - Salah Eddine Elgharbi; Samir Ouchani; Abderrahim Ait Wakrime; Yassine Ouhammou (ICFNDS, 2023)

Future internet services and applications. - Abderrahim Ait Wakrime; Mohamed Sellami; Riadh Ben Halima (Concurr. Comput. Pract. Exp., 2023)

A Deep Reinforcement Learning Framework with Formal Verification. - Zakaryae Boudi; Abderrahim Ait Wakrime; Mohamed Toub; Mohamed Haloua (Formal Aspects Comput., 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., 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., 2023)

Advances in the Security of SDNs: Exploration of Recent ML-Based Approaches. - Ilyasse Mellal; Abderrahim Ait Wakrime; Khaoula Boukir (SADASC (2), 2024)

Model-driven and component-based framework for scientific applications. - Abderrahim Ait Wakrime; Yassine Ouhammou; Milouda Bouichou (Int. J. Model. Simul. Sci. Comput., 2024)

Securing SDN controller placement with MuZero and blockchain-based smart contracts. - Ouafae Benoudifa; Abderrahim Ait Wakrime; Rédouane Benaini (J. King Saud Univ. Comput. Inf. Sci., 2025)