Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lahouij, Aida
9  Ergebnisse:
Personensuche X
?
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

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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/..
 
?
8

Deadlock-Freeness Verification of Cloud Composite Services ..:

, In: Lecture Notes in Computer Science; On the Move to Meaningful Internet Systems. OTM 2018 Conferences,
Lahouij, Aida ; Hamel, Lazhar ; Graiet, Mohamed - p. 604-622 , 2018
Link: https://doi.org/10.1007/..
 
?
9

A Formal Approach for Cloud Composite Services Verification:

, In: 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA),
Lahouij, Aida ; Hamel, Lazhar ; Graiet, Mohamed. - p. 161-168 , 2018
Link: https://doi.org/10.1109/..
 
1-9