Hatem Hadj Kacem

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