Aida Lahouij

17 papers A 1B 2C 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Dilated Causal CNNs for Energy Forecasting and Optimization in LoRaWAN Networks.
WiMob
Sana Slama, Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2025 J jnl
Ensuring the Correctness and Reliability of CBPS System Using Event-B.
Softw. Test. Verification Reliab.
Sarah Hussein Toman, Lazhar Hamel, Aida Lahouij, Zinah Hussein Toman, Mohamed Graiet
2025 J jnl
Secure and scalable IoT healthcare with a permissioned blockchain and encryption techniques.
Computing
Arije Yahyaoui, Sonia Kotel, Lazhar Hamel, Aida Lahouij, Raouda Maraoui Kamoun
2024 — conf
A Scalable Approach for Improving IoT Healthcare Systems with Privacy and Permissioned Blockchain.
WISE (3)
Arije Yahyaoui, Sonia Kotel, Fatma Sbiaa, Lazhar Hamel, Aida Lahouij, Raouda Maraoui Kamoun
2024 J jnl
Service to service communication based on CBPS system: refinement and verification.
Soft Comput.
Sarah Hussein Toman, Aida Lahouij, Sonia Kotel, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2023 C conf
A Correct by Construction Model for CBPS Systems Verification.
ISCC
Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2023 J jnl
Formal reconfiguration model for cloud resources.
Softw. Syst. Model.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2022 J jnl
An Event-B model for dynamically managing cloud resources.
Innov. Syst. Softw. Eng.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2022 J jnl
An optimization approach for cloud composite services.
J. Supercomput.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2020 J jnl
An Event-B based approach for cloud composite services verification.
Formal Aspects Comput.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb
2020 B conf
Dynamic Reconfiguration of Cloud Composite Services Using Event-B.
ICSR
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2018 — conf
A Formal Approach for Cloud Composite Services Verification.
SOCA
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki
2018 — conf
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.
OTM Conferences (1)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2016 — conf
A Global SLA-Aware Approach for Aggregating Services in the Cloud.
OTM Conferences
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul
2015 A conf
Formal Behavioral Modeling for Verifying SCA Composition with Event-B.
ICWS
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
2015 C conf
Formal Modeling for Verifying SCA Dynamic Composition with Event-B.
WETICE
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2013 — conf
Formal Verification of SCA Assembly Model with Event-B.
SKG
Aida Lahouij, Lazhar Hamel, Mohamed Graiet