Marwa Hachicha

15 papers B 3C 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A survey on TRIX index and machine learning applications in marine pollution context.
Int. J. Data Sci. Anal.
Rim Zouari-Ktari, Raïda Ktari, Yosr Ghozzi, Hajer Bendaya, Marwa Hachicha
2025 J jnl
PreSA: an intelligent blockchain-based platform for monitoring and predicting water quality for smart aquaculture.
Neural Comput. Appl.
Marwa Hachicha, Riadh Ben Halima, Tarek Frikha
2023 J jnl
MAPE-K patterns for self-adaptation in cyber-physical systems.
J. Supercomput.
Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem
2022 J jnl
An Estimation Approach to Optimize Energy Consumption in Wireless Sensor Network: A Health-Care Application.
Vietnam. J. Comput. Sci.
Marwa Hachicha, Riadh Ben Halima, Ahmed Jemal
2022 J jnl
Modeling Autonomic Systems: Review, Classification, and Research Challenges.
Int. J. Softw. Innov.
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2022 J jnl
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems.
Innov. Syst. Softw. Eng.
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2019 B conf
Formal Verification approaches of Self-adaptive Systems: A Survey.
KES
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018 B conf
Formalizing compound MAPE patterns for decentralized control in self-adaptive systems.
RCIS
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018 J jnl
Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns.
Int. J. Comput. Appl. Technol.
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018 — conf
Translation of UML Models for Self-adaptive Systems into Event-B Specifications.
ISDA (2)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017 C conf
Design and timed verification of self-adaptive systems.
ICIS
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017 C conf
Designing Compound MAPE Patterns for Self-adaptive Systems.
ISDA
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2016 C conf
A correct by construction approach for modeling and formalizing self-adaptive systems.
SNPD
Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem
2016 B conf
Modeling and verifying self-adaptive systems: A refinement approach.
SMC
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2014 — conf
Energy Saving in WSN Using Monitoring Values Prediction.
ANT/SEIT
Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel