Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbderrahim Ait Wakrime
Person information
- affiliation: Mohammed V University, Rabat, Morocco
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j11]Abderrahim Ait Wakrime
, Mohamed Sellami, Riadh Ben Halima:
Future internet services and applications. Concurr. Comput. Pract. Exp. 35(11) (2023)- [j10]Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua:
A Deep Reinforcement Learning Framework with Formal Verification. Formal Aspects Comput. 35(1): 5:1-5:17 (2023) - [j9]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: 101241 (2023) - 2022
- [j8]Abderrahim Ait Wakrime, Yassine Ouhammou:
Advances in modeling, verification and testing of safety-critical software architectures. Innov. Syst. Softw. Eng. 18(4): 483-484 (2022) - [c26]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: 119-132 - [e1]Philippe Fournier-Viger, Ahmed Hassan Yousef, Ladjel Bellatreche, Ahmed Awad, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune:
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. Communications in Computer and Information Science 1751, Springer 2022, ISBN 978-3-031-23118-6 [contents] - 2021
- [j7]Yassine Ouhammou, Abderrahim Ait Wakrime:
Guest editorial: Special issue on modeling, verification and testing of dependable critical systems. J. Syst. Archit. 114: 101974 (2021) - [j6]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): 693-713 (2021) - [c25]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: 455-462 - 2020
- [j5]Abdessamad Jarrar, Abderrahim Ait Wakrime, Youssef Balouki:
Formal approach to model complex adaptive computing systems. Complex Adapt. Syst. Model. 8 (2020) - [j4]Abderrahim Ait Wakrime, Mouna Rekik, Saïd Jabbour:
Cloud service composition using minimal unsatisfiability and genetic algorithm. Concurr. Comput. Pract. Exp. 32(15) (2020) - [j3]Abderrahim Ait Wakrime, Saïd Jabbour, Nabil Hameurlain:
A MaxSAT based approach for QoS cloud services. Int. J. Parallel Emergent Distributed Syst. 35(6): 641-651 (2020) - [j2]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): 156 (2020) - [c24]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: 1303-1318 - [c23]Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua:
Building Valid Career Ontologies with B-CPNs. SADASC 2020: 33-46 - [c22]Abderrahim Ait Wakrime, Riadh Ben Halima, Mohamed Sellami:
Track report of Future Internet Services and Applications (FISA'2020). WETICE 2020: 135-136
2010 – 2019
- 2019
- [c21]Najla Fattouch, Mouna Rekik, Abderrahim Ait Wakrime, Khouloud Boukadi:
A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition. AICCSA 2019: 1-8 - [c20]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: 350-358 - [c19]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: 367-376 - [c18]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: 93-109 - [c17]Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul:
A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data 2019: 47-62 - [c16]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: 23-40 - [c15]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: 173-190 - [c14]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: 37-42 - 2018
- [c13]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: 50-62 - [c12]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: 321-330 - [c11]Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy:
Formalising the Requirements of an E-Voting Software Product Line Using Event-B. WETICE 2018: 78-84 - 2017
- [j1]Abderrahim Ait Wakrime:
Satisfiability-Based Privacy-Aware Cloud Computing. Comput. J. 60(12): 1760-1769 (2017) - [c10]Abderrahim Ait Wakrime:
Deadlock-freedom of scientific applications using strict colored FIFO nets. CoDIT 2017: 102-107 - [c9]Abderrahim Ait Wakrime, Saïd Jabbour:
Formal Approach for QoS-Aware Cloud Service Composition. WETICE 2017: 30-35 - 2016
- [c8]Abderrahim Ait Wakrime, Saïd Jabbour:
On repairing queries in cloud computing. AICCSA 2016: 1-6 - 2015
- [b1]Abderrahim Ait Wakrime:
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). University of Orléans, France, 2015 - [c7]Abderrahim Ait Wakrime, Salima Benbernou, Saïd Jabbour:
Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. ICEBE 2015: 245-250 - [c6]Abderrahim Ait Wakrime, Saïd Jabbour:
On QoS web service composition using satisfiability. ICTA 2015: 1-6 - [c5]Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert:
On the fly reconfiguration of interactive scientific visualization applications. HPCS 2015: 468-475 - [c4]Abderrahim Ait Wakrime, Saïd Jabbour:
Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. ISDA 2015: 540-545 - [c3]Bouchra Aadil, Abderrahim Ait Wakrime, Larbi Kzaz, Abderrahim Sekkaki:
Ontological approach for Data WareHouse design. CFIP/NOTERE 2015: 1-7 - 2014
- [c2]Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert:
Place-Liveness of ComSA Applications. FACS 2014: 346-363 - 2012
- [c1]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: 103-122
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-12-08 00:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
