An optimization approach for cloud composite services
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed
Published in The Journal of supercomputing (01.02.2022)
Published in The Journal of supercomputing (01.02.2022)
Get full text
Journal Article
An Event-B model for dynamically managing cloud resources
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed
Published in Innovations in systems and software engineering (2022)
Published in Innovations in systems and software engineering (2022)
Get full text
Journal Article
Formal reconfiguration model for cloud resources
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed
Published in Software and systems modeling (01.02.2023)
Published in Software and systems modeling (01.02.2023)
Get full text
Journal Article
An Event-B based approach for cloudcomposite services verification
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, el Ayeb, Béchir
Published in Formal aspects of computing (01.11.2020)
Published in Formal aspects of computing (01.11.2020)
Get full text
Journal Article
An Event-B based approach for cloud composite services verification
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, el Ayeb, Béchir
Published in Formal aspects of computing (01.11.2020)
Published in Formal aspects of computing (01.11.2020)
Get full text
Journal Article
A Correct by Construction Model for CBPS Systems Verification
Toman, Sarah Hussein, Lahouij, Aida, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed
Published in 2023 IEEE Symposium on Computers and Communications (ISCC) (09.07.2023)
Published in 2023 IEEE Symposium on Computers and Communications (ISCC) (09.07.2023)
Get full text
Conference Proceeding
A Formal Approach for Cloud Composite Services Verification
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, El Malki, Mohammed
Published in 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) (01.11.2018)
Published in 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) (01.11.2018)
Get full text
Conference Proceeding
Formal Behavioral Modeling for Verifying SCA Composition with Event-B
Graiet, Mohamed, Lahouij, Aida, Abbassi, Imed, Hamel, Lazhar, Kmimech, Mourad
Published in 2015 IEEE International Conference on Web Services (01.06.2015)
Published in 2015 IEEE International Conference on Web Services (01.06.2015)
Get full text
Conference Proceeding
Formal Verification of SCA Assembly Model with Event-B
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed
Published in 2013 Ninth International Conference on Semantics, Knowledge and Grids (01.10.2013)
Published in 2013 Ninth International Conference on Semantics, Knowledge and Grids (01.10.2013)
Get full text
Conference Proceeding