| 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 |
| 2023 | ISCC | Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Ojilvie Avila-Corts |
| 2023 | WETICE | Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects. | Houda Khlif, Hatem Hadj Kacem, Ojilvie Avila-Corts, Sal E. Pomares Hernndez, Julio Cesar Perez Sansalvador, Lil Mara Rodrguez-Henrquez |
| 2019 | WETICE | Track Report of Future Internet Services and Applications (FISA'2019). | Mohamed Sellami, Hatem Hadj Kacem, Anderson Santana de Oliveira |
| 2018 | KES | Preserving the Correctness of Dynamic Workflows within a Cloud Environment. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh |
| 2018 | WETICE | Elastic Multi-Tenant Business Process Based on Temporal Constraints. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2017 | AICCSA | A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Ahmed Hadj Kacem |
| 2017 | WETICE | Track Report of Future Internet Services and Applications (FISA 2017). | Hatem Hadj Kacem, Vanilson Arruda Burgio, Mohamed Sellami |
| 2017 | SERA | CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2015 | WETICE | Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2015 | WETICE | FISA 2015 Track Report: Future Internet Services and Applications. | Hatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre |
| 2015 | WETICE | A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Ahmed Hadj Kacem |
| 2015 | WETICE | CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. | Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Sal E. Pomares Hernndez, 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 |
| 2014 | EDOC | Workflow Scheduling in Cloud Computing: A Survey. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | WETICE | Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014). | Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata |
| 2014 | WETICE | A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Cdric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon |
| 2013 | CLOSER | Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2013 | WETICE | PROMASC Track Report. | Riadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati |
| 2012 | WETICE | A Formal Approach for the Validation of Web Service Orchestrations. | Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem |
| 2012 | WETICE | Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. | Sirine Rebai, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2012 | WETICE | BpelVT: A Tool for Formal Validation of Web Service Orchestrations. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |