E-LIB Suche - Ergebnisse für: Ait Wakrime, Abderrahim

1

Risks and Security of Internet and Systems: 18th Internatio..

Lecture Notes in Computer Science, 14529

Ait Wakrime, Abderrahim ; Navarro-Arribas, Guillermo ; Cuppens, Frédéric.. - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

2

Smart Mining and Consensus Protocols in Blockchain-enabled ..:

, In: Proceedings of the 7th International Conference on Future Networks and Distributed Systems,

Elgharbi, Salah Eddine ; Ouchani, Samir ; Ait Wakrime, Abderrahim. - p. 769-778 , 2023

Link: https://dl.acm.org/doi/1..

3

A transformation methodology for Capella to Event-B models ..:

Bouba, Khaoula ; Ait Wakrime, Abderrahim ; Ouhammou, Yassine.
Journal of Computer Languages. 77 (2023) - p. 101241 , 2023

Link: https://doi.org/10.1016/..

4

Autonomous solution for Controller Placement Problem of Sof..:

Benoudifa, Ouafae ; Ait Wakrime, Abderrahim ; Benaini, Redouane
Journal of King Saud University - Computer and Information Sciences. 35 (2023) 10 - p. 101842 , 2023

Link: https://doi.org/10.1016/..

5

Towards the Strengthening of Capella Modeling Semantics by ..:

, In: Model and Data Engineering; Lecture Notes in Computer Science,

Bouba, Khaoula ; Ait Wakrime, Abderrahim ; Ouhammou, Yassine. - p. 119-132 , 2022

Link: https://doi.org/10.1007/..

6

Advances in modeling, verification and testing of safety-cr..:

Ait Wakrime, Abderrahim ; Ouhammou, Yassine
Innovations in Systems and Software Engineering. 18 (2022) 4 - p. 483-484 , 2022

Link: https://doi.org/10.1007/..

7

Future internet services and applications:

Ait Wakrime, Abderrahim ; Sellami, Mohamed ; Ben Halima, Riadh
Concurrency and Computation: Practice and Experience. 35 (2022) 11 - p. , 2022

Link: https://doi.org/10.1002/..

8

Advances in Model and Data Engineering in the Digitalizatio..

Communications in Computer and Information Science, 1751

Fournier-Viger, Philippe ; Hassan, Ahmed ; Bellatreche, Ladjel... - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

9

Guest editorial: Special issue on modeling, verification an..:

Ouhammou, Yassine ; Ait Wakrime, Abderrahim
Journal of Systems Architecture. 114 (2021) - p. 101974 , 2021

Link: https://doi.org/10.1016/..

10

A Formal Model for Configurable Business Process with Optim..:

Ait Wakrime, Abderrahim ; Boubaker, Souha ; Kallel, Slim..
JUCS - Journal of Universal Computer Science. 27 (2021) 7 - p. 693-713 , 2021

Link: https://doi.org/10.3897/..

11

Toward Reconfiguration of BPaaS Based on SaaS Services usin..:

Ait Wakrime, Abderrahim ; Labbaci, Hamza ; Rekik, Mouna..
SN Computer Science. 1 (2020) 3 - p. , 2020

Link: https://doi.org/10.1007/..

12

Building Valid Career Ontologies with B-CPNs:

, In: Communications in Computer and Information Science; Smart Applications and Data Analysis,

Boudi, Zakaryae ; Ait Wakrime, Abderrahim ; Toub, Mohamed. - p. 33-46 , 2020

Link: https://doi.org/10.1007/..

13

An Event-B Based Approach for Formal Modelling and Verifica..:

, In: Advanced Information Networking and Applications; Advances in Intelligent Systems and Computing,

Lahbib, Asma ; Ait Wakrime, Abderrahim ; Laouiti, Anis.. - p. 1303-1318 , 2020

Link: https://doi.org/10.1007/..

14

Formal approach to model complex adaptive computing systems:

Jarrar, Abdessamad ; Ait Wakrime, Abderrahim ; Balouki, Youssef
Complex Adaptive Systems Modeling. 8 (2020) 1 - p. , 2020

Link: https://doi.org/10.1186/..

15

On the Fly Reconfiguration of BPaaS Based on SaaS Services ..:

, In: 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE),

Rekik, Mouna ; Ait Wakrime, Abderrahim ; Cheniki, Nasredine. - p. 37-42 , 2019

Link: https://doi.org/10.1109/..