Publications

International Journals

• Souad AMGHAR, Safae CHERDAL and Salma MOULINE, «Storing, Preprocessing and Analyzing Tweets : Finding the suitable NoSQL System». International Journal of Computers and Applications 2020, Link Reserachgate

• Safae CHERDAL, Salma MOULINE and Souad AMGHAR, « SBGN2HFPN Transformation of SBGN-PD into Petri Nets Illustrated on the Glycolysis Pathway ». International Journal of Intelligent Engineering and Systems, Volume 11 N° 5, 2018. Link Researchgate

• Safae CHERDAL and Salma MOULINE, « Modelling and Simulation of Biochemical Processes Using Petri Nets ». Processes 2018, Volume 6 N° 8, 97, 2018. Link Researchgate

International Conferences & Workshops

• Souad AMGHAR, Safae CHERDAL and Salma MOULINE, « Data Integration and NoSQL Systems: A State of the Art », The 4th International Conference On Big Data and Internet of Things - BDIoT 2019, October 23 & 24, 2019, Tangier-Tetuan, Morocco. Link Researchgate

• Souad AMGHAR, Safae CHERDAL and Salma MOULINE, « Which NoSQL Database for IoT applications? », International Workshop on Architectures for Future Mobile Computing and Internet of Things (FMCIoT2018), June 20-22, 2018, Tangier, Morocco. Link Researchgate

• Safae CHERDAL and Salma MOULINE, «A Petri Net Model to Simulate and Analyse Cerebral Folate Deficiency and Hyperhomocysteinemia effects in Autism Spectrum Disorder», IEEE 2016, 7th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications, SETIT 2016, December 18-20, 2016, Hammamet, Tunisia. Link Researchgate

• Safae CHERDAL and Salma MOULINE, «Petri Nets for Modelling and Analyzing a Complex System Related to Alzheimer’s Disease», SAC 2016, 31^st ACM Symposium on Applied Computing, April 4-8, 2016, Pisa, Italy. Link Researchgate

• Safae CHERDAL and Salma MOULINE, « A Petri Net Model for a Composed Biological System», IEEE 2015 International Conference on Information and Communication Technology and Accessibility, ICTA 2015, December 21-23, 2015, Marrakech, Morocco. Link Researchgate

• Safae CHERDAL and Salma MOULINE, « La vérification des modèles : cas des systèmes biologiques», SITA’14, 7 & 8 Mai 2014 à Rabat

National Conferences & Doctoral days

• Safae CHERDAL and Salma MOULINE, « Contribution à la vérification formelle des modèles : Cas des Systèmes biologiques », JURAC’15, November 18^th, 2015, Rabat, Morocco.

• Safae CHERDAL, Salma MOULINE, « La vérification des modèles : cas des systèmes biologiques », DOCTORIALES’14, February 06, 07 & 08^th, 2014, Rabat, Morocco.

• Safae CHERDAL, Salma MOULINE, « Les approches de vérification des modèles », JDTIC’13, November 30 & 3th, 2013, Kenitra, Morocco.

• Safae CHERDAL, Salma MOULINE, « Etat de l’art sur la vérification des modèles exécutables », JURAC’13, May 30^th, 2013, Rabat, Morocco.