| 2024 | ICSOC | Smart Contract Automation: Solutions for Agriculture. | Ryhem Essid, Hatem Hadj Kacem, Wael Sellami |
| 2024 | ICSOC | Towards Automatic Smart Contract Generation: Application in Agriculture. | Ryhem Essid, Wael Sellami, Hatem Hadj Kacem, Layth Sliman |
| 2018 | WETICE | Elastic Multi-Tenant Business Process Based on Temporal Constraints. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | AINA | Towards a Multi-tenancy Aware Cloud Service Composition. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | CloudCom | Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2013 | CLOSER | Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2012 | WETICE | A Formal Approach for the Validation of Web Service Orchestrations. | Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem |
| 2012 | WETICE | BpelVT: A Tool for Formal Validation of Web Service Orchestrations. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |