Nom & Prénom : | Hachicha Marwa |
Date de naissance : | Vendredi 03 Novembre 1989 à Sfax |
Email : | marwahachicha@gmail.com |
Adresse : | marwa.hachicha@isims.usf.rnu.tn marwa.hachicha@redcad.org |
Bibliographie : | Maître assistante de l’enseignement supérieur en Informatique |
Télécharger Curriculum vitae |
Software engineering for self-adaptive systems Formal methods Wireless sensor networks MAPE-K patterns |
Diplôme de Docteur en Informatique, Faculté des Sciences Economiques et de Gestion , Sfax , 2018. Diplôme de Mastère de recherche en Systèmes d’information et Nouvelles Technologies , Faculté des Sciences Economiques et de Gestion , Sfax, 2013. Licence Sciences, Technologies, Santé dans le domaine de Sciences, Technologies, Santé mention Informatique , Université du Maine, France, 2011. Licence Fondamentale en Informatique de Gestion, Faculté des Sciences Economiques et de Gestion , Sfax, 2011. Diplôme du baccalauréat section sciences expérimentales, Lycée Mahmoud Megdich, Sfax, 2008. |
2019-2022 Assistante contractuelle à l’institut supérieur d’informatique et de multimédia de Sfax (ISIMS) 2018-2019 Enseignante vacataire à l’institut international de technologie (IIT) et l’institut supérieur d’administration des affaires de Sfax (ISAS) 2015-2017 Assistante contractuelle à l’institut supérieure d’administration des affaires de Sfax (ISAS) |
Publications dans des revues scientifiques (5) [1] International journal of supercomputing Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal and Ahmed Hadj Kacem : MAPE-K patterns for self-adaptation in Cyber Physical Systems, 2022. [2] International journal of software innovation Marwa Hachicha, Riadh Ben Halima and Ahmed Hadj Kacem : Modeling autonomic systems: Review, classification and research challenges, 2022. [3] Vietnam Journal of Computer Science 2021 Marwa Hachicha, Riadh Ben Halima, Ahmed Jemal. An estimation approach to optimize energy consumption in WSN : A Health-care Application, vietnam journal of computer science. [4] Innovations in Systems and Software Engineering 2021 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem. Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems, Innovations in Systems and Software Engineering , 2021. [5] International Journal of Computer Applications in Technology 2018 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem. Modeling, Specifying and Verifying Self-adaptive Systems instantiating MAPE patterns, International Journal of Computer Applications in Technology, IJCAT 57(1): 28-44, 2018. Publications dans des conférences internationales (9) [1] KES 2019 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Formal Verification approaches of Self-adaptive Systems: A Survey, KES 2019, Budapest, Hungary , Elsevier. [2] RCIS 2018 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Formalizing Compound MAPE patterns for Decentralized Control in Self-adaptive Systems, RCIS 2018: 1-10, Nantes, France, IEEE. 3/9 [3] ISDA 2018 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Translation of UML models for self-adaptive systems into Event-B specifications, ISDA(2) 2018: 421-430, Vellore, India, Springer. [4] ISDA 2017 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Designing Compound MAPE Patterns for Self-adaptive Systems, ISDA 2017: 92-101, Delhi, India , Springer. [5] ICIS 2017 Marwa Hachicha,Riadh Ben Halima, Ahmed Hadj Kacem, Design and timed verification of self-adaptive systems, ICIS 2017: 227-232, Wuhan, China, IEEE. [6] SMC 2016 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modeling and Verifying Self-adaptive Systems:A Refinement Approach, SMC 2016: 3967-3972, Budapest, Hungary, IEEE. [7] SNPD 2016 Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem, A Correct by Construction Approach For Modeling and Formalizing Self-adaptive Systems, SNPD 2016: 379-384, Shanghai, China, IEEE. [8] CAL 2015 Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, A Formal modeling and verification of self-adaptive WSN deployed in a marine environment, 9ème Conférence francophone sur les Architectures Logicielles CAL 2015, Hammamet, Tunisia. [9] ANT/SEIT 2014 Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel: Energy Saving in WSN Using Monitoring Values Prediction. ANT/SEIT 2014 : 1154-1159, Hasselt, Belgium, Elsevier. |
Co-encadrement des projets de fin d’études à l’Institut Supérieur d’Informatique et de Multimédia de Sfax (ISIMS) Participation à l’encadrement des projets de fin d’études à l’Institut Supérieur d’Informatique et de Multimédia de Sfax (ISIMS) Co-encadrement des projets de mastère de recherche à l’Institut Supérieur d’Informatique et de Multimédia de Sfax (ISIMS) et à la Faculté des Sciences Economiques et de Gestion de Sfax (FSEGS) Participation aux jurys d’évaluation des stages de PFE à l’Institut Supérieur d’Informatique et de Multimédia de Sfax (ISIMS) |
Outils développés dans le cadre de mes travaux de recherches: 2015 MOGEVE: MOdeling,Generating Event-B specications and VErifying self-adaptive systems { Code source disponible sur https://github.com/MarwaHachicha15/MOGEVE}
2013 MPaaS : Monitoring Prediction as a service { Code source disponible sur https://github.com/MarwaHachicha15/MPAAS} |
Certifications Microsoft: Mars 2021 Microsoft Technology Associate : Introduction to programming using Python Mars 2021 Microsoft Technology Associate : Introduction to programming using HTML and CSS Juin 2021 Microsoft Technology Associate : Introduction to programming using java Juin 2021 Microsoft Certified Educator : Technology Literacy for Educators-21st Century Learning Design
Projet de recherche Juin 2021 Je me suis impliquée dans un projet de recherche accepté dans le cadre du Programme d’Encouragement des Jeunes Chercheurs (PEJC) dans sa 3ème Edition et au titre de l’année 2020. Nom du projet : Plateforme pour le Monitoring Préventif de l’Environnement Maritime Méditerranéen : PEM-MED.
|