BpelVT: A Tool for Formal Validation of Web Service Orchestrations. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2012)

Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (CLOSER, 2013)

A Formal Approach for the Validation of Web Service Orchestrations. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Web Portals, 2013)

Towards a Multi-tenancy Aware Cloud Service Composition. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (AINA Workshops, 2014)

Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (CloudCom, 2014)

Controlling Elasticity Dependencies for Multi-tenant Business Process. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (ICEBE, 2015)

Elastic Multi-Tenant Business Process Based on Temporal Constraints. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2018)

Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (J. Netw. Syst. Manag., 2020)

MW4BPM: A middleware for blockchain-based business process monitoring. - Ryhem Essid; Wael Sellami; Hatem Hadj Kacem (TACC, 2023)

Smart Contract Automation: Solutions for Agriculture. - Ryhem Essid; Hatem Hadj Kacem; Wael Sellami (ICSOC Workshops (2), 2024)

Towards Automatic Smart Contract Generation: Application in Agriculture. - Ryhem Essid; Wael Sellami; Hatem Hadj Kacem; Layth Sliman (ICSOC Workshops (2), 2024)