Aida Lahouij

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 11

Top Topics

Composite Services

Event Detection

Top Venues

OTM Conferences

Publications

Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
A Correct by Construction Model for CBPS Systems Verification. ISCC (2023)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal reconfiguration model for cloud resources. Softw. Syst. Model. 22 (1) (2023)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
An Event-B model for dynamically managing cloud resources. Innov. Syst. Softw. Eng. 18 (1) (2022)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
An optimization approach for cloud composite services. J. Supercomput. 78 (3) (2022)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb
An Event-B based approach for cloud composite services verification. Formal Aspects Comput. 32 (4-6) (2020)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Dynamic Reconfiguration of Cloud Composite Services Using Event-B. ICSR (2020)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki
A Formal Approach for Cloud Composite Services Verification. SOCA (2018)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. OTM Conferences (1) (2018)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul
A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences (2016)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal Modeling for Verifying SCA Dynamic Composition with Event-B. WETICE (2015)
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS (2015)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal Verification of SCA Assembly Model with Event-B. SKG (2013)