ReDCAD laboratory   |  ENIS   |  University of Sfax   My vCard
  Research Unit on Development and Control of Distributed Applications

 


Refereed Articles
2020
[13] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Ensuring the correctness of adaptive business processes: a systematic literature review, In IJCAT, volume 62, 2020. [bibtex] [pdf] [doi]
[12] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment, In J. Network Syst. Manage., volume 28, 2020. [bibtex] [pdf] [doi]
2017
[11] Mariano Vargas-Santiago, Saúl E. Pomares Hernández, Luis A. Morales Rosales, Hatem Hadj Kacem, Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms, In JSW, volume 12, 2017. [bibtex] [pdf] [doi]
[10] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dealing with structural changes on provisioning resources for deadline-constrained workflow, In J. Supercomput., volume 73, 2017. [bibtex] [pdf] [doi]
[9] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, An Evaluative Review and Research Challenges of the Simulation in Cloud Environment, In Int. J. Softw. Innov., volume 5, 2017. [bibtex] [pdf] [doi]
2016
[8] Mariano Vargas Santiago, Saul Eduardo Pomares Hernandez, Luis Alberto Morales Rosales, Hatem Hadj Kacem, Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes, In IEEE Latin America Transactions, IEEE, volume 14, 2016. [bibtex]
[7] Houda Khlif, Hatem Hadj Kacem, Saúl E Pomares Hernandez, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simón, An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex]
[6] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [doi]
2014
[5] Alberto Calixto Simon, Saul E. Hernandez Pomares, Jose Roberto Perez Cruz, Riadh Ben Halima, Hatem Hadj Kacem, Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publisher, Inderscience Publishers, 2014. [bibtex]
2013
[4] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013. [bibtex] [doi]
[3] Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari, Randomized broadcasting in wireless mobile sensor networks, In Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex] [doi]
2012
[2] Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem, A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012. [bibtex]
2005
[1] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, Algebraic elimination of epsilon-transitions, In Discrete Mathematics and Theoretical Computer Science, volume 7, 2005. [bibtex]
Refereed Conference Papers
2019
[35] Mohamed Sellami, Hatem Hadj Kacem, Anderson Santana de Oliveira, Track Report of Future Internet Services and Applications (FISA'2019), In 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019 (Sumitra Reddy, ed.), IEEE, 2019. [bibtex] [pdf] [doi]
[34] Mohamed Sellami, Hatem Hadj Kacem, Anderson Santana de Oliveira, Track Report of Future Internet Services and Applications (FISA'2019), In 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019 (Sumitra Reddy, ed.), IEEE, 2019. [bibtex] [pdf] [doi]
[33] Amine Guidara, Saúl E. Pomares Hetná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, In 6th International Conference on Software Defined Systems, SDS 2019, Rome, Italy, June 10-13, 2019, IEEE, 2019. [bibtex] [pdf] [doi]
2018
[32] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud, In Information Systems - 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings (Marinos Themistocleous, Paulo Rupino da Cunha, eds.), Springer, volume 341, 2018. [bibtex] [pdf] [doi]
[31] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh, Preserving the Correctness of Dynamic Workflows within a Cloud Environment, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex]
[30] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Elastic Multi-Tenant Business Process Based on Temporal Constraints, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2018. [bibtex] [doi]
2017
[29] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex]
[28] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex]
[27] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment, In IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017. [bibtex]
[26] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment, In IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017. [bibtex]
[25] Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernandez, Ahmed Hadj Kacem, A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems, In The 14th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2017), October 30th to November 3rd, 2017, Hammemet, Tunisia, 2017. [bibtex]
[24] Hatem Hadj Kacem, Vanilson Arruda Burégio, Mohamed Sellami, Track Report of Future Internet Services and Applications (FISA 2017), In 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017 (Sumitra Reddy, Wojciech Cellary, Mariagrazia Fugini, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi]
2015
[23] 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, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[22] 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, In 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2015. [bibtex] [doi]
[21] 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, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[20] 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, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[19] Hatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre, FISA 2015 Track Report: Future Internet Services and Applications, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[18] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE , Larnaca, Cyprus, June 15-17, 2015. [bibtex]
[17] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Provisioning Approach of Cloud Resources for Dynamic Workflows, In 8th IEEE International Conference on Cloud Computing, CLOUD 2015, New York City, NY, USA, June 27 - July 2, 2015 (Calton Pu, Ajay Mohindra, eds.), IEEE Computer Society, 2015. [bibtex] [pdf] [doi]
[16] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Controlling Elasticity Dependencies For Multi-tenant Business Process, In 12th International Conference on e-Business Engineering (ICEBE), Beijing, China, October 23-25, 2015, 2015. [bibtex]
2014
[15] Houda Khlif, Hatem Hadj Kacem, Saul E Pomares Hernandez, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon, A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems, In Proceedings of the 23nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014. [bibtex]
[14] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [doi]
[13] Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata, PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2014. [bibtex]
[12] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Workflow Scheduling in Cloud Computing: A survey, In Proceedings of the 18th International conference on Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Ulm, Germany, September 01-05, 2014. [bibtex]
2013
[11] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Position paper: Multi-tenants context-aware service composition in cloud computing, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex]
[10] Riadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati, PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
2012
[9] Wael SELLAMI, Hatem Hadj Kacem, Ahmed Hadj Kacem, BPELVT: A tool for formal validation of web service orchestrations., In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[8] Sirine REBAI, Hatem Hadj Kacem, Ahmed Hadj Kacem, Position paper: An integration approach of web service composition models: From choreography to orchestration, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[7] Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
2010
[6] 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, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex]
2008
[5] Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem, Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures., In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),, 2008. [bibtex]
2007
[4] Luaî Jaff, Gerard H. E. Duchamp, Hatem Hadj Kacem, Cyrille Bertelle, Moderate Growth Time Series Dynamic Combinatorics Modelisation, In International Conference on Economics, Law and Management ICELM2, 2007. [bibtex]
2006
[3] Hakima Kadri, Rawan Ghnemat, Hatem Hadj Kacem, Cyrille Bertelle, Gerard H. E. Duchamp, Emerging Decision Support System for Geographical Information Systems., In International Conference on Economics, Law and Management ICELM2, 2006. [bibtex]
2005
[2] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, On the decomposition of Boolean functions, In Boolean Functions: Cryptography and Applications, BFCA'05 (P. Valarcher JF. Michon, JB. Yunès, eds.), Publications des universités de Rouen et du Havre, 2005. [bibtex]
2004
[1] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, Algebraic erasure of letter-transitions., In Jordan International Conference on Computer Sciences and Engineering, (JICCSE), 2004. [bibtex]
Masters Thesis
2002
[1] Hatem Hadj Kacem, Rationalité et composition d’automate multiplicités, Master's thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2002. [bibtex]
PhD Thesis
2005
[1] Hatem Hadj Kacem, Contribution la Contributions la théorie et aux applications des automates multiplicités, PhD thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2005. [bibtex]
Contact Webmaster