Hatem Hadj Kacem

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 20

Top Topics

Business Process

Internet Services

Simulation Tools

Comparative Study

Top Venues

Publications

Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ojilvie Avila-Cortés
Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective. ISCC (2023)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández
MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems. TACC (2023)
Ryhem Essid, Wael Sellami, Hatem Hadj Kacem
MW4BPM: A middleware for blockchain-based business process monitoring. TACC (2023)
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
Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects. WETICE (2023)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. J. Netw. Syst. Manag. 28 (2) (2020)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Ensuring the correctness of adaptive business processes: a systematic literature review. Int. J. Comput. Appl. Technol. 62 (3) (2020)
Mohamed Sellami, Hatem Hadj Kacem, Anderson Santana de Oliveira
Track Report of Future Internet Services and Applications (FISA'2019). WETICE (2019)
Amine Guidara, Saúl E. Pomares Hernández, Lil María X. Rodríguez Henríquez, Hatem Hadj Kacem, Ahmed Hadj Kacem
A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. SDS (2019)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh
Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES (2018)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Elastic Multi-Tenant Business Process Based on Temporal Constraints. WETICE (2018)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. EMCIS (2018)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Dealing with structural changes on provisioning resources for deadline-constrained workflow. J. Supercomput. 73 (7) (2017)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. SERA (2017)
Hatem Hadj Kacem, Vanilson Arruda Burégio, Mohamed Sellami
Track Report of Future Internet Services and Applications (FISA 2017). WETICE (2017)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. Int. J. Softw. Innov. 5 (4) (2017)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. AICCSA (2017)
Mariano Vargas-Santiago, Saúl E. Pomares Hernández, Luis Alberto Morales-Rosales, Hatem Hadj Kacem
Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms. J. Softw. 12 (7) (2017)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Simulation tools for cloud computing: A survey and comparative study. ICIS (2017)
Alberto Calixto Simon, Saúl E. Pomares Hernández, Jose Roberto Perez Cruz, Riadh Ben Halima, Hatem Hadj Kacem
Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing. Int. J. Auton. Adapt. Commun. Syst. 9 (3/4) (2016)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simon
An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. J. Syst. Softw. 122 (2016)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. WETICE (2015)
Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
A service-oriented architecture (SOA) framework for choreography verification. ICIS (2015)
Hatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre
FISA 2015 Track Report: Future Internet Services and Applications. WETICE (2015)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
A Provisioning Approach of Cloud Resources for Dynamic Workflows. CLOUD (2015)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. WETICE (2015)
Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. WETICE (2015)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Controlling Elasticity Dependencies for Multi-tenant Business Process. ICEBE (2015)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. WETICE (2014)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. CloudCom (2014)
Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata
Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014). WETICE (2014)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Towards a Multi-tenancy Aware Cloud Service Composition. AINA Workshops (2014)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Workflow Scheduling in Cloud Computing: A Survey. EDOC Workshops (2014)
Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari
Randomized broadcasting in wireless mobile sensor networks. Concurr. Comput. Pract. Exp. 25 (2) (2013)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. CLOSER (2013)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
A Formal Approach for the Validation of Web Service Orchestrations. Int. J. Web Portals 5 (1) (2013)
Riadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati
PROMASC Track Report. WETICE (2013)
Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem
A formal approach to model and verify the behaviour of publish/subscribe architectural style. Int. J. Inf. Technol. Commun. Convergence 2 (3) (2012)
Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem
A Formal Approach for the Validation of Web Service Orchestrations. WETICE (2012)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
BpelVT: A Tool for Formal Validation of Web Service Orchestrations. WETICE (2012)
Sirine Rebai, Hatem Hadj Kacem, Ahmed Hadj Kacem
Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. WETICE (2012)
Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari
Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model. NOTERE (2010)
Luaï Jaff, Gérard Henry Edmond Duchamp, Hatem Hadj Kacem, Cyrille Bertelle
Moderate Growth Time Series for Dynamic Combinatorics Modelisation CoRR (2007)
Gérard Duchamp, Hatem Hadj Kacem, Éric Laugerotte
-transitions. Discret. Math. Theor. Comput. Sci. 7 (1) (2005)
Gérard Duchamp, Hatem Hadj Kacem, Éric Laugerotte
Algebraic Elimination of epsilon-transitions CoRR (2004)
Gérard Duchamp, Hatem Hadj Kacem, Éric Laugerotte
An unexpected application of minimization theory to module decompositions CoRR (2004)