Aida Lahouij

According to our database, Aida Lahouij authored at least 13 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Service to service communication based on CBPS system: refinement and verification.

Sarah Hussein Toman, Aida Lahouij, Sonia Kotel, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet

Soft Comput., October, 2024

2023

Formal reconfiguration model for cloud resources.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Softw. Syst. Model., February, 2023

A Correct by Construction Model for CBPS Systems Verification.

Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2022

An optimization approach for cloud composite services.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

J. Supercomput., 2022

An Event-B model for dynamically managing cloud resources.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Innov. Syst. Softw. Eng., 2022

2020

An Event-B based approach for cloud composite services verification.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb

Formal Aspects Comput., 2020

Dynamic Reconfiguration of Cloud Composite Services Using Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the Reuse in Emerging Software Engineering Practices, 2020

2018

A Formal Approach for Cloud Composite Services Verification.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki

Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2016

A Global SLA-Aware Approach for Aggregating Services in the Cloud.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

2015

Formal Modeling for Verifying SCA Dynamic Composition with Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Formal Behavioral Modeling for Verifying SCA Composition with Event-B.

Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

2013

Formal Verification of SCA Assembly Model with Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013