Raouda Kamoun

Head of the « Big Data and Digital Marketing » Master Program and Associate Professor in Computer Science
ESME

Overview of research area

My research interests lie in :

1. the formal verification of software architectures based on components, services and component services,

2. the formalization of the UML2.0 component model using the Model Driven Engineering approach,

3. modeling and verification services composed with formal ADLs,

4. formalization and verification of the specification of resources in Cloud environments, and formalization and verification for Big Software.

Short biography

Raouda KAMOUN is an associate professor at the ESME Engineering School since 2019. Doctor in Computer Science since May 2017 from the Faculty of Economics and Management of Sfax (Tunisia). Her main research expertise and interests concern the formal verification of software architectures based on components, services and component services, the formalization of the UML2.0 component model using the Model Driven Engineering approach, modeling and verification services composed with formal ADLs, formalization and verification of the specification of resources in Cloud environments, and formalization and verification for Big Software.

Publications

• S. Kotel, F. Sbiaa, R. Maraoui Kamoun, and L. Hamel, A Blockchain-based approach for secure IoT, 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023), Athens, Greece, September 2023.
• R. Maraoui and E. Cariou , A Mediation Based Approach for Formal Verication of Web Services Composition, International Conference on Engineering and MIS 2017 (ICEMIS 2017), Monastir, Tunisia, May 2017.
• M. Graiet, I. Abbassi, R. Maraoui, J. Sindyana, and L. Hamel, A Formal Approach for Ensuring a Correct Reconfigurable Composite Service, IEEE International Conference on Services Computing (SCC 2015), pp. 411-418, New York, USA, July 2015.
• R. Maraoui and B. El Ayeb , Integrating the SysML and ACME in a Model Driven Engineering approach to verify the Web service composition, IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015), Larnaca, Cyprus, June 2015.
• R. Maraoui, E. Cariou, and B. El Ayeb, A Model-Driven Engineering Approach for the Formal Verication of Composite Web Services, IEEE 22nd International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2013), Hammamet, Tunisia, June 2013.
• M. Graiet, R. Maraoui, M. Kmimech, M. Tahar Bhiri, and W. Gaaloul, Towards an approach of formal verification of mediation protocol based on web services of MDE type, International Journal of Web Information System (IJWIS), Vol. 8, Issue 1, pp. 32-54, 2012.
• M. Graiet, L. Hamel, R. Maraoui, M. Kmimech, M. Tahar Bhiri, and W. Gaaloul, Towards an Approach of Formal Verication of Web Service Composition, International Journal On Advances in Intelligent Systems (IJAIS), Vol. 4, No 3 and 4, pp. 332-342, 2011.
• R. Maraoui, A. Mhamdi, M. Graiet, M. Kmimech, M. Tahar Bhiri, W. Gaaloul, and E. Cariou, Towards a transformation of composite web service with QoS extension into ACME/Armani, International Conference on Information Integration and Web based Application and Services (iiWAS 2011), Ho Chi Minh City, Vietnam, December 2011.
• A. Mhamdi, R. Maraoui, M. Graiet, M. Kmimech, M. Tahar Bhiri, and E. Cariou, Towards an IDM Approach, Conference on semantics, knowledge and grids (SKG), Beijing, China, October 2011.
• A. Mhamdi, R. Maraoui, M. Graiet, M. Kmimech, M. Tahar Bhiri, and E. Cariou, Transformation of Composite Web Service for QoS Extension into ACME Armani, The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Barcelone, Spain, October 2011.
• R. Maraoui, M. Graiet, M. Kmimech, M. Tahar Bhiri, and B. El Ayeb, Formalisation of Mediation Protocol for Web Services Composition with ACME/ARMANI ADL, SERVICE COMPUTATION, Lisbon, Portugal, November, 2010.
• M. Graiet, R. Maraoui, M. Kmimech, M. Tahar Bhiri, and W. Gaaloul, Towards an approach of formal verification of mediation protocol based on Web services, 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS 2010), pp. 75 – 82, Paris, France, October 2010.

PhD

• 2012-2017

  PhD in Computer Science

  Sfax University, Sfax, Tunisia
• 2011-2012

  Msc in COMPUTER Sciences

  Institut Supérieur d’Informatique et de Mathématiques de Monastir (ISIMM), Monastir, Tunisia
• 2008-2010

  Msc in Informatics

  Faculté des Sciences de Monastir (FSM), Monastir, Tunisia
• 2004-2008

  Diploma of informatics and Mathematics

  Institut Supérieur d’Informatique et de Mathématiques de Monastir (ISIMM), Monastir, Tunisia

Head of the « Big Data and Digital Marketing » Master Program and Associate Professor in Computer Science

• Since 2021

  Associate Professor in Computer Science

  ESME, Ivry-sur-Seine, France
• Since 2019

  Head of the « Big Data and Digital Marketing » Master Program

  ESME, Ivry-sur-Seine, France
• 2018-2019

  Temporarily Attached to Education and Research

  Paris 11 University, Orsay, France
• 2014-2018

  Assistant in the department of Computing Sciences

  Institut Supérieur d’Informatique et de Mathématiques de Monastir (ISIMM), Monastir, Tunisia