Hatem Hadj Kacem
Orcid: 0000-0002-9908-4042
According to our database1,
Hatem Hadj Kacem
authored at least 44 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects.
Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023
MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023
Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective.
Proceedings of the IEEE Symposium on Computers and Communications, 2023
2020
J. Netw. Syst. Manag., 2020
Ensuring the correctness of adaptive business processes: a systematic literature review.
Int. J. Comput. Appl. Technol., 2020
2019
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019
A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates.
Proceedings of the 6th International Conference on Software Defined Systems, 2019
2018
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018
Proceedings of the Information Systems, 2018
2017
Dealing with structural changes on provisioning resources for deadline-constrained workflow.
J. Supercomput., 2017
J. Softw., 2017
Int. J. Softw. Innov., 2017
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017
CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment.
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017
2016
An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability.
J. Syst. Softw., 2016
Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing.
Int. J. Auton. Adapt. Commun. Syst., 2016
2015
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015
A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015
Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015
2014
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014
2013
Int. J. Web Portals, 2013
Concurr. Comput. Pract. Exp., 2013
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013
Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing.
Proceedings of the CLOSER 2013, 2013
2012
A formal approach to model and verify the behaviour of publish/subscribe architectural style.
Int. J. Inf. Technol. Commun. Convergence, 2012
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
2010
Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
2007
2005
Discret. Math. Theor. Comput. Sci., 2005
2004