Algebraic Elimination of epsilon-transitions - Gérard Duchamp; Hatem Hadj Kacem; Éric Laugerotte (CoRR, 2004)

An unexpected application of minimization theory to module decompositions - Gérard Duchamp; Hatem Hadj Kacem; Éric Laugerotte (CoRR, 2004)

Algebraic elimination of epsilon-transitions. - Gérard Duchamp; Hatem Hadj Kacem; Éric Laugerotte (Discret. Math. Theor. Comput. Sci., 2005)

Moderate Growth Time Series for Dynamic Combinatorics Modelisation - Luaï Jaff; Gérard Henry Edmond Duchamp; Hatem Hadj Kacem; Cyrille Bertelle (CoRR, 2007)

Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model. - Nesrine Ouled Abdallah; Hatem Hadj Kacem; Mohamed Mosbah 001; Akka Zemmari (NOTERE, 2010)

Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. - Sirine Rebai; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2012)

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

A formal approach to model and verify the behaviour of publish/subscribe architectural style. - Hatem Hadj Kacem; Imen Loulou; Ahmed Hadj Kacem (Int. J. Inf. Technol. Commun. Convergence, 2012)

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

PROMASC Track Report. - Riadh Ben Halima; Hatem Hadj Kacem; Wajdi Louati (WETICE, 2013)

Randomized broadcasting in wireless mobile sensor networks. - Nesrine Ouled Abdallah; Hatem Hadj Kacem; Mohamed Mosbah 001; Akka Zemmari (Concurr. Comput. Pract. Exp., 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)

Workflow Scheduling in Cloud Computing: A Survey. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (EDOC Workshops, 2014)

Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014). - Hatem Hadj Kacem; Riadh Ben Halima; Samir Tata (WETICE, 2014)

A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Cédric Eichler; Ahmed Hadj Kacem; Alberto Calixto Simon (WETICE, 2014)

A service-oriented architecture (SOA) framework for choreography verification. - Sirine Rebai; Hatem Hadj Kacem; Mohamed Karaa; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (ICIS, 2015)

A Provisioning Approach of Cloud Resources for Dynamic Workflows. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (CLOUD, 2015)

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

Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2015)

FISA 2015 Track Report: Future Internet Services and Applications. - Hatem Hadj Kacem; Anderson Santana de Oliveira; Mohamed Sellami; Sylvain Lefebvre 002 (WETICE, 2015)

A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (WETICE, 2015)

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. - Sirine Rebai; Hatem Hadj Kacem; Mohamed Karaa; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (WETICE, 2015)

Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing. - Alberto Calixto Simon; Saúl E. Pomares Hernández; Jose Roberto Perez Cruz; Riadh Ben Halima; Hatem Hadj Kacem (Int. J. Auton. Adapt. Commun. Syst., 2016)

An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem; Cédric Eichler; Alberto Calixto Simon (J. Syst. Softw., 2016)

Simulation tools for cloud computing: A survey and comparative study. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (ICIS, 2017)

A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (AICCSA, 2017)

CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (SERA, 2017)

Track Report of Future Internet Services and Applications (FISA 2017). - Hatem Hadj Kacem; Vanilson Arruda Burégio; Mohamed Sellami (WETICE, 2017)

An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Softw. Innov., 2017)

Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms. - Mariano Vargas-Santiago; Saúl E. Pomares Hernández; Luis Alberto Morales-Rosales; Hatem Hadj Kacem (J. Softw., 2017)

Dealing with structural changes on provisioning resources for deadline-constrained workflow. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (J. Supercomput., 2017)

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (EMCIS, 2018)

Preserving the Correctness of Dynamic Workflows within a Cloud Environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem; Faten Fakhfakh (KES, 2018)

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

A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. - Amine Guidara; Saúl E. Pomares Hernández; Lil María Rodríguez-Henríquez; Hatem Hadj Kacem; Ahmed Hadj Kacem (SDS, 2019)

Track Report of Future Internet Services and Applications (FISA'2019). - Mohamed Sellami; Hatem Hadj Kacem; Anderson Santana de Oliveira (WETICE, 2019)

Ensuring the correctness of adaptive business processes: a systematic literature review. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Comput. Appl. Technol., 2020)

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

Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ojilvie Avila-Cortés (ISCC, 2023)

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

MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández (TACC, 2023)

Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects. - Houda Khlif; Hatem Hadj Kacem; Ojilvie Avila-Cortés; Saúl E. Pomares Hernández; Julio Cesar Perez Sansalvador; Lil María Rodríguez-Henríquez (WETICE, 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)