( en | de | ru )

 

Disambiguation of "Hachicha, Marwa"

Author of the publication

copydeleteadd this publication to your clipboard
A correct by construction approach for modeling and formalizing self-adaptive systems.

, , , and . SNPD, page 379-384. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Samir Hachicha

Tarek Hachicha

Conrad Marwan

Georg Marwan

Marwa Tallawi

 

Other publications of authors with the same name

Design and timed verification of self-adaptive systems., , and . ICIS, page 227-232. IEEE Computer Society, (2017)Formal Verification approaches of Self-adaptive Systems: A Survey., , and . KES, volume 159 of Procedia Computer Science, page 1853-1862. Elsevier, (2019)Formalizing compound MAPE patterns for decentralized control in self-adaptive systems., , and . RCIS, page 1-10. IEEE, (2018)Translation of UML Models for Self-adaptive Systems into Event-B Specifications., , and . ISDA (2), volume 941 of Advances in Intelligent Systems and Computing, page 421-430. Springer, (2018)Modeling and verifying self-adaptive systems: A refinement approach., , and . SMC, page 3967-3972. IEEE, (2016)MAPE-K patterns for self-adaptation in cyber-physical systems., , , and . J. Supercomput., 79 (5): 4917-4943 (March 2023)Designing Compound MAPE Patterns for Self-adaptive Systems., , and . ISDA, volume 736 of Advances in Intelligent Systems and Computing, page 92-101. Springer, (2017)Forecasting of the normalized difference vegetation index time series in Jbeniana., , and . ATSIP, page 1-4. IEEE, (2018)Prediction of Plant Growth Based on Statistical Measurements Using Satellite Image Time Series., , , and . IGARSS, page 136-139. IEEE, (2020)A correct by construction approach for modeling and formalizing self-adaptive systems., , , and . SNPD, page 379-384. IEEE Computer Society, (2016)