Towards an approach of formal verification of mediation protocol based on web services. - Mohamed Graiet; Raoudha Maraoui; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (iiWAS, 2010)

Towards a transformation of composite web service with QoS extension into ACME Armani. - Raoudha Maraoui; Amel Mhamdi; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (iiWAS, 2011)

Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. - Amel Mhamdi; Raoudha Maraoui; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Eric Cariou (SKG, 2011)

Towards an approach of formal verification of mediation protocol based on web services of MDE type. - Mohamed Graiet; Raoudha Maraoui; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (Int. J. Web Inf. Syst., 2012)

A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services. - Raoudha Maraoui; Eric Cariou; Bechir Ayeb (WETICE, 2013)

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. - Mohamed Graiet; Imed Abbassi; Raoudha Maraoui; Sindyana Jlassi; Lazhar Hamel (SCC, 2015)

Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition. - Raoudha Maraoui; Bechir Ayeb (WETICE, 2015)

A Blockchain-based approach for secure IoT. - Sonia Kotel; Fatma Sbiaa; Raouda Maraoui Kamoun; Lazhar Hamel (KES, 2023)

A Scalable Approach for Improving IoT Healthcare Systems with Privacy and Permissioned Blockchain. - Arije Yahyaoui; Sonia Kotel; Fatma Sbiaa; Lazhar Hamel; Aida Lahouij; Raouda Maraoui Kamoun (WISE (3), 2024)

Secure and scalable IoT healthcare with a permissioned blockchain and encryption techniques. - Arije Yahyaoui; Sonia Kotel; Lazhar Hamel; Aida Lahouij; Raouda Maraoui Kamoun (Computing, 2025)