E-LIB Suche - Ergebnisse für: Hamel, Lazhar

1

Service to service communication based on CBPS system: refi..:

Toman, Sarah Hussein ; Lahouij, Aida ; Kotel, Sonia...
Soft Computing. , 2024

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

2

Refinement and Verification for IoT Service Composition:

, In: 2023 IEEE Symposium on Computers and Communications (ISCC),

Toman, Sarah Hussein ; Hamel, Lazhar ; Graiet, Mohamed - p. 483-486 , 2023

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

3

A Correct by Construction Model for CBPS Systems Verificati..:

, In: 2023 IEEE Symposium on Computers and Communications (ISCC),

Toman, Sarah Hussein ; Lahouij, Aida ; Hamel, Lazhar.. - p. 1299-1304 , 2023

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

4

A Blockchain-based approach for secure IoT:

Kotel, Sonia ; Sbiaa, Fatma ; Kamoun, Raouda Maraoui.
Procedia Computer Science. 225 (2023) - p. 3876-3886 , 2023

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

5

Formal verification for security and attacks in IoT physica..:

Toman, Zinah Hussein ; Hamel, Lazhar ; Toman, Sarah Hussein..
Journal of Reliable Intelligent Environments. 10 (2023) 1 - p. 73-91 , 2023

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

6

Formal modelling and verification of scalable service compo..:

Toman, Sarah Hussein ; Hamel, Lazhar ; Toman, Zinah Hussein..
Service Oriented Computing and Applications. 17 (2023) 3 - p. 213-231 , 2023

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

7

Correct-by-Construction Approach for Formal Verification of..:

Toman, Zinah Hussein ; Hamel, Lazhar ; Toman, Sarah Hussein.
Procedia Computer Science. 207 (2022) - p. 2598-2609 , 2022

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

8

A Formal Verification Model for IoT Based Applications Usin..:

, In: Advances in Computational Collective Intelligence; Communications in Computer and Information Science,

Omri, Rihab ; Toman, Zinah Hussein ; Hamel, Lazhar - p. 528-541 , 2022

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

9

Formal reconfiguration model for cloud resources:

Lahouij, Aida ; Hamel, Lazhar ; Graiet, Mohamed
Software and Systems Modeling. 22 (2022) 1 - p. 225-245 , 2022

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

10

UML Profile for IoT-Based Applications:

, In: Advances in Computational Collective Intelligence; Communications in Computer and Information Science,

Ltaief, Malek ; Hussein Toman, Sarah ; Hamel, Lazhar - p. 515-527 , 2022

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

11

An Event-B-Based Approach to Model and Verify Behaviors for..:

Mammar, Amel ; Hamel, Lazhar ; Graiet, Mohamed
The Computer Journal. , 2021

Link: https://doi.org/10.1093/..

12

An optimization approach for cloud composite services:

Lahouij, Aida ; Hamel, Lazhar ; Graiet, Mohamed
The Journal of Supercomputing. 78 (2021) 3 - p. 3621-3645 , 2021

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

13

An Event-B model for dynamically managing cloud resources:

Lahouij, Aida ; Hamel, Lazhar ; Graiet, Mohamed
Innovations in Systems and Software Engineering. 18 (2021) 1 - p. 85-104 , 2021

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

14

An Event-B based approach for cloudcomposite services verif..:

Lahouij, Aida ; Hamel, Lazhar ; Graiet, Mohamed.
Formal Aspects of Computing. 32 (2020) 4-6 - p. 361-393 , 2020

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

15

Dynamic Reconfiguration of Cloud Composite Services Using E..:

, In: Lecture Notes in Computer Science; Reuse in Emerging Software Engineering Practices,

Lahouij, Aida ; Hamel, Lazhar ; Graiet, Mohamed - p. 69-84 , 2020

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