Marwa Hachicha

Orcid: 0000-0001-5210-0263

According to our database1, Marwa Hachicha authored at least 15 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
MAPE-K patterns for self-adaptation in cyber-physical systems.
J. Supercomput., March, 2023

2022
An Estimation Approach to Optimize Energy Consumption in Wireless Sensor Network: A Health-Care Application.
Vietnam. J. Comput. Sci., 2022

Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems.
Innov. Syst. Softw. Eng., 2022

Modeling Autonomic Systems: Review, Classification, and Research Challenges.
Int. J. Softw. Innov., 2022

2020
Prediction of Plant Growth Based on Statistical Measurements Using Satellite Image Time Series.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

2019
Formal Verification approaches of Self-adaptive Systems: A Survey.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

2018
Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns.
Int. J. Comput. Appl. Technol., 2018

Formalizing compound MAPE patterns for decentralized control in self-adaptive systems.
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Translation of UML Models for Self-adaptive Systems into Event-B Specifications.
Proceedings of the Intelligent Systems Design and Applications, 2018

Forecasting of the normalized difference vegetation index time series in Jbeniana.
Proceedings of the 4th International Conference on Advanced Technologies for Signal and Image Processing, 2018

2017
Designing Compound MAPE Patterns for Self-adaptive Systems.
Proceedings of the Intelligent Systems Design and Applications, 2017

Design and timed verification of self-adaptive systems.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016
A correct by construction approach for modeling and formalizing self-adaptive systems.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Modeling and verifying self-adaptive systems: A refinement approach.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2014
Energy Saving in WSN Using Monitoring Values Prediction.
Proceedings of the 5th International Conference on Ambient Systems, 2014


  Loading...