Prof. Dr.-Ing. Ahmed Hadj Kacem
DBLP

The list of publications of Prof. Dr. Ahmed Hadj Kacem


Books
2016
[6] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Special issue Editorial: New technologies of distributed systems, volume 28, 2016. [bibtex] [doi]
2013
[5] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Special Issue: Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems, Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex]
2010
[4] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), IEEE, 2010. [bibtex]
2009
[3] Khalil Drira, Ahmed Hadj Kacem, Special Issue: The International Conference on Risks and Security of Internet And Systems, International Journal of Information and Computer Security, InderScience Publisher, volume 3/4, 2009. [bibtex]
2007
[2] Mohamed Abid, Ahmed Hadj Kacem, Mohamed Jmaiel, Mongi Lahiani, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2007. [bibtex]
2006
[1] Mohamed Abid, Ahmed Hadj Kacem, Mohamed Jmaiel, Mongi Lahiani, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2006. [bibtex]
Refereed Articles
2020
[40] 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]
[39] 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]
[38] Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem, A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi]
2019
[37] Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem, Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019. [bibtex] [doi]
2018
[36] Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony, Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex]
[35] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Exact and heuristic MapReduce scheduling algorithms for cloud federation, In Computers & Electrical Engineering, Pergamon, volume 69, 2018. [bibtex]
[34] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns, In International Journal of Computer Applications in Technology, volume 57, 2018. [bibtex] [doi]
[33] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Feature models as service contracts in service oriented architecture, In International Journal of Services Technology and Management, Inderscience, 2018. [bibtex]
2017
[32] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Recognition of Learner’s Personality Traits through Digital Annotations in Distance Learning, In International Journal of Distance Education Technologies, volume Volume 15, 2017. [bibtex]
[31] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Generating reusable, searchable and executable “architecture constraints as services, In Journal of Systems and Software, Elsevier, volume 127, 2017. [bibtex]
[30] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning, In IJDET, volume 15, 2017. [bibtex] [doi]
[29] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem, Accountability management for multi-tenant cloud services, In International Journal of Grid and Utility Computing, volume 8, 2017. [bibtex]
[28] Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem, Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents, In IJSSC, volume 7, 2017. [bibtex] [doi]
[27] 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]
[26] 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
[25] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex]
[24] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Processus pour la génération automatique de composants exécutables partir de contraintes d'architecture, In Revue des Nouvelles Technologies de l'Information, volume Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, RNTI-L-8, 2016. [bibtex]
[23] 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]
[22] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [doi]
[21] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Comparative study of web annotation systems used by learners to enhance educational practices: features and services, In International Journal of Technology Enhanced Learning, Inderscience, volume 8, 2016. [bibtex] [doi]
[20] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview, In International Journal of Emerging Technologies in Learning, volume 11, 2016. [bibtex] [doi]
[19] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, Vers une modélisation formelle basée sur le rafinnement des systèmes multi-agents auto-organisateurs, In Revue d'Intelligence Artificielle, volume 30, 2016. [bibtex] [doi]
[18] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In International Journal of Agent-Oriented Software Engineering, 2016. [bibtex]
[17] 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]
2015
[16] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A refinement-based approach for building valid SOA design patterns, In IJCC, volume 4, 2015. [bibtex] [doi]
2014
[15] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, Interoperability for medical information systems: an overview, In Health and Technology, Springer Berlin Heidelberg, volume 4, 2014. [bibtex] [doi]
[14] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A Refinement-Based Approach for Building Valid SOA Design Patterns, In International Journal of Cloud Computing, IJCC (to appear), 2014. [bibtex]
[13] Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem, Vers une architecture d’auto-réparation sur le Cloud Computing, In Revue des Nouvelles Technologies de l'Information, volume 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, 2014. [bibtex]
[12] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services, In IJMSO, volume 9, 2014. [bibtex] [doi]
[11] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, A New Annotation System based on a Semantic Analysis of Learnerís Annotative Activity to Invoke Web Services, In International Journal of Metadata, Semantics and Ontologies, Inderscience, volume 9, 2014. [bibtex] [doi]
2013
[10] 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]
[9] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, An Approach of Assistance of Learner's Annotative Activity through Web Services, In Australian Journal of Intelligent Information Processing Systems (AJIIPS), volume 13, 2013. [bibtex]
2012
[8] 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]
2010
[7] Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem, P/S-CoM: Building Correct by Design Publish/Subscribe Architectural Styles with Safe Reconfiguration, In Journal of Systems and Software, volume 83, 2010. [bibtex] [doi]
2009
[6] Mohamed Amine Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, A Distributed Computational Model for Mobile Agents, In International Journal of Grid Computing and Multi Agent Systems (GCMAS), volume 1, 2009. [bibtex]
2007
[5] Ahmed Hadj Kacem, Najla Hadj Kacem, From Formal Specification to Model Cheking of MAS unsing CSP-Z and SPIN, In International Journal of Computing & Information Sciences, volume 5, 2007. [bibtex]
[4] Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel, ForMAAD: A Formal Method For Agent-Based Application Design, In Journal of Web Intelligence and Agent Systems, volume 5, 2007. [bibtex]
2006
[3] Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel, ForMAAD method: An experimental Design for Air Traffic Control, In International Transactions on Systems Science and Applications, volume 1, 2006. (Electronic Journal) [bibtex]
2005
[2] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants, In Information Sciences for Decision Making, Special Issue of The 8th MCSEAI'04, 2005. (Electronic Journal) [bibtex]
[1] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Abdessalem Mnif, Ahmed Hadj Kacem, A handshake algorithm for scheduling communications in wireless sensor networks, In Concurrency and Computation: Practice and Experience, volume . [bibtex] [doi]
Refereed Conference Papers
2020
[146] Ilhem Khlif, Mohamed Hadj Kacem, Khalil Drira, Ahmed Hadj Kacem, A Tool for Multi-scale Modeling of Software Architectures: Application to the Smart Home for Telemonitoring Elderly People at Home, In Digital Health in Focus of Predictive, Preventive and Personalised Medicine, Springer, volume Chapter 18, 2020. [bibtex] [pdf] [doi]
[145] Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem, Personalized and Contextualized Persuasion System for Older Adults? Physical Activity Promoting, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex]
[144] Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem, Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi]
2019
[143] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Formal Verification approaches of Self-adaptive Systems: A Survey, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019 (Imre J. Rudas, János Csirik, Carlos Toro, János Botzheim, Robert J. Howlett, Lakhmi C. Jain, eds.), Elsevier, volume 159, 2019. [bibtex] [pdf] [doi]
[142] 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]
[141] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Energy Efficient Handshake Algorithm for Wireless Sensor Networks, In Distributed Computing for Emerging Smart Networks - First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers (Imen Jemili, Mohamed Mosbah, eds.), Springer, volume 1130, 2019. [bibtex] [pdf] [doi]
2018
[140] Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony, Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models, In International Conference on Current Trends in Theory and Practice of Informatics, 2018. [bibtex]
[139] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Geo-distributed bigdata processing for maximizing profit in federated clouds environment, In 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2018. [bibtex]
[138] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Efficient distribution of mapreduce jobs for maximizing profit on federated cloud, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018. [bibtex]
[137] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Formalizing compound MAPE patterns for decentralized control in self-adaptive systems, In 12th International Conference on Research Challenges in Information Science, RCIS 2018, Nantes, France, May 29-31, 2018, 2018. [bibtex] [doi]
[136] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Translation of UML models for self-adaptive systems into Event-B specifications, In Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017, 2018. [bibtex]
[135] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Distributed Computations in Wireless Sensor Networks by Local Interactions, In 17th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now) , Springer, volume 11104, 2018. [bibtex]
[134] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, IEEE Computer Society, 2018. [bibtex]
[133] Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem, A refinement-based approach for specifying multi-scale software architectures: application to SoS, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, ACM, 2018. [bibtex] [pdf] [doi]
[132] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem, Optimal Evidence Collection for Accountability in the Cloud, In 15th International Conference on e-Business Engineering ICEBE, 2018. [bibtex]
[131] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks, In The 30th International Conference on Software Engineering and Knowledge Engineering, Redwood City, California, USA, July 1-3, 2018., 2018. [bibtex]
[130] 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]
[129] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex]
[128] 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]
[127] 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
[126] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Feature model based on design pattern for the service provider in the service oriented architecture, In Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS'2017), 2017. [bibtex]
[125] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Optimal MapReduce Job Scheduling algorithm across Cloud Federation, In Proceedings of 23rd Int'l Conf on Parallel and Distributed Processing Techniques and Applications (PDPTA), CSREA Press, 2017. [bibtex]
[124] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation, In Proceedings of 14th IEEE International Conference on Services Computing (SCC), IEEE, 2017. [bibtex]
[123] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Designing Compound MAPE Patterns for Self-adaptive Systems, In Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017), 2017. [bibtex] [doi]
[122] 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]
[121] 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]
[120] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem, A Formal Approach for Maintaining Forest Topologies in Dynamic Networks, In 16th International Conference on Computer and Information Science (ICIS), Springer, 2017. [bibtex]
[119] 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]
[118] 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]
[117] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Algorithms for Finding Maximal and Maximum Cliques: A Survey, In Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) held in Delhi, India, December 14-16, 2017, 2017. [bibtex]
[116] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Transformation of compound SOA Design Patterns, In The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 2017. [bibtex] [doi]
[115] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Design and timed verification of self-adaptive systems, In 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017 (Guobin Zhu, Shaowen Yao, Xiaohui Cui, Simon Xu, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi]
[114] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem, From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability, In 31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017, Taipei, Taiwan, March 27-29, 2017, 2017. [bibtex] [doi]
[113] Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem, Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations, In The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 2017. [bibtex] [doi]
[112] 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]
[111] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, rMatcher: A Tool for Semantic Web Services Discovery & Publication, In 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017, 2017. [bibtex] [doi]
[110] Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems, In Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex] [doi]
[109] Imen Graja, Slim Kallel, Nawal guermouche, Ahmed Hadj Kacem, Modeling and verification of temporal properties in Cyber-Physical Systems, In Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex]
2016
[108] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Feature model for the service provider in the service oriented architecture, In Proceedings of the IEEE 17th International Conference on Sciences and Techniques of Automatic control & computer engineering (STA'2017), 2016. [bibtex]
[107] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Modeling and Formal Specification Of Multi-scale Software Architectures, In Proceedings of the 11th International Conference on Software Engineering Advances, (ICSEA'2016), 2016. [bibtex]
[106] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, A Novel Approach for Semantic Web Service Discovery, In 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi]
[105] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Multiple Software Product Lines for Service Oriented Architecture., In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'2016), 2016. [bibtex] [doi]
[104] Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem, Software architectures: multi-scale refinement, In Proceedings of the 14th IEEE/ACIS, International Conference on Software Engineering Research, Management and Applications (SERA'2016), IEEE Computer Society, 2016. [bibtex]
[103] Nizar Omheni, Ahmed Hadj Kacem, Improving Students’ Reading Comprehension Achievement through Sharing Annotations in Peer Learning Environment, In the 20th Global Chinese Conference on Computers in Education 2016. Hong Kong, 2016. [bibtex]
[102] Nizar Omheni, Ahmed Hadj Kacem, i-Read: A Collaborative Learning Environment to Support Students with Low Reading Abilities, In International Conference on Intelligent Tutoring Systems, 2016. [bibtex]
[101] Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem, Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents, In Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA),, IEEE Computer Society, 2016. [bibtex]
[100] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modeling and Verifying Self-adaptive Systems:A Refinement Approach, In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016), 2016. [bibtex]
[99] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, BPMN4CPS: A BPMN Extension for modeling cyber-physical systems, In Proceedings of the 25th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, volume , 2016. [bibtex] [doi]
[98] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi]
[97] Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2016. [bibtex] [doi]
[96] Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem, A correct by construction approach for modeling and formalizing self-adaptive systems, In 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016, 2016. [bibtex] [doi]
[95] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing, In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, 2016. [bibtex] [doi]
[94] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions, In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016. Proceedings, 2016. [bibtex]
2015
[93] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A formal Approach for SOA Design Patterns Composition, In Proceedings of the ACS/IEEE 12th International Conference on Computer Systems and Applications (AICCSA), IEEE Computer Society, 2015. [bibtex]
[92] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, An Approach for SOA Design Patterns Composition, In Proceedings of the IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA), IEEE Computer Society, 2015. [bibtex]
[91] Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem, Traduction de spécifications de contraintes d’architecture en composants exécutables, In Proceedings of the 14th French Conference on Software Architecture (CAL'15), Hammamet, Tunisia, 2015. [bibtex]
[90] Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of OCL Meta-Level Constraints into Java Meta-programs, In Proceedings of the 14th International Conference on Software Engineering Research, Management and Applications (SERA'15), Hammamet, Tunisia, Springer, 2015. [bibtex]
[89] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Towards a Multi-scale Modeling Approach for Software Architectures, In Proceedings of the 30th Annual ACM Symposium on Applied Computing, ACM, 2015. [bibtex] [doi]
[88] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A UML-based Approach for Multi-scale Software Architectures., In Proceedings of the 17th International Conference on Enterprise Information Systems, (ICEIS'2015), SciTePress, volume 2, 2015. [bibtex]
[87] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of Architecture Constraint Specifications into Components, In Proceedings of the European conference on Software Architecture (ECSA), Springer, 2015. [bibtex]
[86] Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of Architecture Constraint Specifications into Components, In Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings, volume 9278, 2015. [bibtex]
[85] 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]
[84] 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]
[83] 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]
[82] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT 2015, Hualien, Taiwan, July 6-9, 2015, 2015. [bibtex] [doi]
[81] Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah, Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Dynamic Networks, In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),, IEEE Computer Society, 2015. [bibtex]
[80] 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]
[79] Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem, An Interactive Annotation System to Support the Learner with Web Services Assistance, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT, 2015. [bibtex] [doi]
[78] Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem, How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations, In Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, 2015. [bibtex] [doi]
[77] Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira, An Approach for Multiple-Instance Based Service Composition, In 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015, 2015. [bibtex] [doi]
[76] 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]
[75] Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs, In Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD, 2015. [bibtex]
[74] Nizar Omheni, Anis Kalboussi, mar Mazhoud, Ahmed Hadj Kacem, Automatic Recognition of Personality from Digital Annotations, In Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. [bibtex] [doi]
[73] 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
[72] Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem, Formal Security Framework For Agent Based Cloud Systems, In 3rd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE'14), 2014. [bibtex]
[71] Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony, Ahmed Hadj Kacem, Gnration de mta-programmes Java partir de contraintes d'architecture OCL, In In proceedings of the French Speaking Conference on Software Engineering (CIEL'14), 2014. [bibtex]
[70] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, Interoperability of healthcare information systems, In Networks, Computers and Communications, The 2014 International Symposium on, 2014. [bibtex] [doi]
[69] Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem, Prediction of Human Personality Traits From Annotation Activities, In Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014), SciTePress, 2014. [bibtex] [doi]
[68] Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem, The Annotation: A Track of Reader’s Personality Traits On Paper, In Proceedings of the 52nd Annual ACM Southeast Conference, ACM, 2014. [bibtex] [doi]
[67] 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]
[66] 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]
[65] Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem, Multi-tenant Services Monitoring for Accountability in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [doi]
[64] Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem, Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B, In Proceedings of the 12 th International Conference on Software Engineering and Formal Methods (SEFM), Springer Verlagkeywords=MAS, Formal, 2014. [bibtex]
[63] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Feature model for modeling compound SOA design patterns, In Proceedings of the 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2014. [bibtex]
[62] Ahmed Jemal, Marwa Hachicha, Riadh BEN Halima, Ahmed HADJ Kacem, Khalil Drira, Mohamed Jmaiel, Energy Saving in WSN Using Monitoring Values Prediction, In , volume 32, 2014. (The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)) [bibtex] [doi]
[61] Imen Graja, Imen Loulou, Ahmed Hadj Kacem, SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE, 2014. [bibtex] [doi]
[60] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs, In Actes des 22 ème Journées Francophones sur les Systèmes Multi-Agents (JFSMA), 2014. [bibtex]
[59] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem, A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B, In Proceedings of the 6 th International Conference on Agents and Artificial Intelligence (ICAART), INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 2014. [bibtex]
[58] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In Proceedings of the the 2nd international workshop on Emgineering Multiagent Systems, 2014. [bibtex]
[57] 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]
[56] Imen Graja, Imen Loulou, Ahmed Hadj Kacem, SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28-30 April, 2014, 2014. [bibtex] [doi]
[55] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Enhancing Proofs of Local Computations Through Formal Event-B Modularization, In 23rd IEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises, IEEE Computer Society, 2014. [bibtex]
2013
[54] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni, A Formal Model of Learner's Annotations Dedicated to Web Services Invocation, In Proceedings of the 21st International Conference on Computers in Education (ICEE 2013), Asia-Pacific Society of Computers in Education (APSCE), 2013. [bibtex]
[53] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni, An Approach of Assistance of Learner’s Annotative Activity through Web Services, In Proceedings of the 8th International Conference on E-Learning and Games (Edutainment 2013), Springer, 2013. [bibtex]
[52] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Building Correct by Construction SOA Design Patterns: Modeling and Refinement, In Software Architecture: Proceedings of the 7th European Conference (ECSA), Springer, volume 7957, 2013. [bibtex] [doi]
[51] Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), 2013. [bibtex] [doi]
[50] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, An Approach for Modeling and Formalizing SOA Design Patterns, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[49] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Annotative Activity as a Potential Source of Web Service Invocation, In Proceedings of the 9th International Conference on Web Information Systems and Technologies (WEBIST 2013), SciTePress, 2013. [bibtex]
[48] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani, Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B, In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), ACM, 2013. [bibtex]
[47] 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]
2012
[46] Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem, P/S-CoM+: a Formal Approach to Design Correct Publish/Subscribe Architectural Styles, In Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, IEEE Computer Society, 2012. [bibtex]
[45] Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem, MDA-Based Approach for Implementing Secure Mobile Agent Systems, In proceedings of the International Workshop on Agent-Oriented Software Engineering (AOSE), Springer, volume 7852, 2012. [bibtex]
[44] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange, In 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, volume 0, 2012. [bibtex] [doi]
[43] 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]
[42] 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]
[41] 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]
[40] Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem, Modeling Secure Mobile Agent Systems, In Proceedings of the 6th KES International Conference on Agent and Multi-Agent Systems. Technologies and Applications (KES-AMSTA), Springer, volume 7327, 2012. [bibtex] [doi]
2011
[39] Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem, Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles, In Proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, SciTePress Digital Library, 2011. [bibtex] [doi]
[38] Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem, ForMAAD: Towards a Model Driven Approach for Agent Based Application Design, In Agent-Oriented Software Engineering XI (D. Weyns, M.-P. Gleizes (Eds.), eds.), Springer-Verlag Berlin Heidelberg, volume 6788, 2011. [bibtex] [doi]
2010
[37] Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Orchestrating Safe Behavioural Adaptations of Component-based Systems, In Proceedings of the 6th International Conference on Autonomic and Autonomous Systems, IEEE Computer Society, 2010. [bibtex] [doi]
[36] Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A Formal Approach to Enforcing Consistency in Self-adaptive Systems, In Proceedings of the 4th European Conference on Software Architecture, Springer, 2010. [bibtex] [doi]
[35] Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem, RDyMASS: Reliable and dynamic enforcement of security policies for mobile agent systems, In International workshop on autonomous and spontaneous security (SETOP 2009) at the 14th European Symposium on Research in Computer Security (ESORICS 2009), Springer-Verlag, volume LNCS 5939, 2010. [bibtex]
2009
[34] Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Making Sound Policies for Self-healing Systems, In 9ème Conférence Internationale sur les Nouvelles Technologies de lREpartition (NOTERE'09), 2009. [bibtex]
[33] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, Fault Tolerant Distributed Algorithms for Mobile Agents, In 9ème Conférence Internationale sur les Nouvelles Technologies de REpartition (NOTERE'09), 2009. [bibtex]
[32] Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, A formal architecture-centric approach for safe self-repair, In In Second International Conference on Web and Information Technologies (ICWIT'09), 2009. [bibtex]
2008
[31] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, Electing a Leader in the Local Computation Model Using Mobile Agents, In Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), 2008. [bibtex] [doi]
[30] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks, In Proceedings of the 9th International Conference on Distributed Computing and Networking ICDCN'2008 (Army L. Murphy, Jan Vitek, eds.), Springer, volume 4904, 2008. [bibtex] [doi]
[29] Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Towards modelling and analysis of a coordination protocol for dynamic software adaptation, In CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, ACM, 2008. [bibtex] [doi]
[28] 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
[27] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles, In In ECSA'07 The First European Conference on Software Architecture, Springer-Verlag, volume 4758, 2007. [bibtex] [doi]
[26] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Consistent Reconfiguration for Publish/Subscribe Architecture Styles, In proceedings of the 1st International Workshop on Verification and Evaluation of Computer and Communication Systems, Electronic Workshops in Computing EWIC Series, The British Computer Society, 2007. [bibtex] [doi]
[25] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, A Distributed Computational Model for Mobile Agents, In Proceedings of the Pacific Rim International WorkShop On Multi-Agents, Springer-Verlag, volume , 2007. [bibtex] [doi]
[24] Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah, A Formal Approach to prevent Attacks on Mobile Agent Systems, In Proceedings of the International Conference on Emerging Security Information, Systems and Technologies, IEEE Computer Society, 2007. [bibtex] [doi]
2006
[23] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, A formally specified framework for elaborating event-based architectural styles correct by design, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'06), 2006. [bibtex]
[22] Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Describing Dynamic Software Architecture using an Extended UML Model, In Proceeding of the 2006 ACM Symposium on Applied Computing : Session track Model Transformation (Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright, Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, Christophe Nicolle, eds.), ACM, 2006. [bibtex] [doi]
[21] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Compositional specification of event-based software architectural styles, In Proceedings of the 4th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'06), 2006. [bibtex]
[20] Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah, A Conceptual Model for Secure Mobile Agent Systems, In Proceedings of the IEEE International Conference on Computational Intelligence and Security (CIS'2006), 2006. [bibtex]
[19] Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, An UML-based approach for validation of software architecture descriptions, In Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers (Dirk Draheim, Gerald Weber, eds.), Springer, volume 4473, 2006. [bibtex] [doi]
2005
[18] Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira, Using \mboxUML2.0 and Graph Grammars for describing the dynamic software architectures, In Proceedings of the IEEE International Conference on Information Technology and Applications ICITA'05, 2005. [bibtex]
[17] Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira, Evaluation and Comparison of \mboxADL based approaches for the description of Dynamic software architectures, In Proceedings of the Seventh International Conference on Enterprise Information Systems ICEIS'05, 2005. [bibtex]
[16] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Towards a Formal Methodology for Developing Multi-Agent Applications using Temporal \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex] [doi]
[15] Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, A Formal Model for Mobile Agent Systems Using \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex]
[14] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Towards a Formal Methodology for Designing Multi-agent Applications, In Proceedings of Third German Conference on Multi-Agent Technologis MATES 2005 (T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch, M.N. Huhns, eds.), Springer, volume 3550, 2005. [bibtex] [doi]
2004
[13] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Specification and Verification of Multi-agent Applications using Temporal \mboxZ, In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2004 (IAT'2004), 2004. [bibtex] [doi]
[12] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Toward a Unified Graph-Based Framework for Dynamic Component-Based Architectures Descriptionin \mboxZ, In Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'2004), 2004. [bibtex] [doi]
[11] Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Agent et SMA : Modélisation de la Coopération et de la Négociation selon la notation Z, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence, 2004. [bibtex]
[10] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence, 2004. [bibtex]
[9] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Specification and Design of Multi-agent Applications Using Temporal Z, In Proceedings of Pacific Rim International Workshop on Multi-Agents (M.W. Barley, N. Kasabov, eds.), Springer, volume 3371, 2004. [bibtex] [doi]
[8] Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Formalization of Cooperation in MAS: Towards a Generic Conceptual Model, In Proceedings of the IX Ibero-American Conference on Artificial Intelligence (IBERAMIA), Springer, volume 3315, 2004. [bibtex] [doi]
2003
[7] Ahmed Jmal, Mohamed Jmaiel, Ahmed Hadj Kacem, Support de communication asynchrone dédié aux agents distribués, In Actes des Journées Scientifiques Francophones JSF'03 en Electronique, Télécommunication et Informatique, 2003. [bibtex]
2002
[6] Mohamed Jmaiel, Ahmed Hadj Kacem, Amira Regayeg, An Operational Semantics Dedicated to the Coordination of Cooperating Agents, In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2002. [bibtex]
[5] Mohamed Jmaiel, Ahmed Hadj Kacem, An Operational Semantics for Negotiating Agents, In Intelligent Agents and Multi-Agent Systems, Springer, volume 2413, 2002. [bibtex] [doi]
2001
[4] Ahmed Hadj Kacem, Mohamed Jmaiel, A formal negociation model for cooperating agents, In Proceedings of the AAAI Workshop on Negotiation Methods for Autonomous Cooperative Systems, 2001. [bibtex]
[3] Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Cooperative systems for information sharing and exchange, In Proceedings of 10th IEEE Workshops on Enabling Technologies: Infrastructre for Collaborative Entreprise8, 2001. [bibtex] [doi]
2000
[2] Mohamed Jmaiel, Ahmed Hadj Kacem, A formal definition of cooperation and agency among multi-agent systems, In Proceedings of the International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications, 2000. [bibtex]
1999
[1] Ahmed Hadj Kacem, Mohamed Jmaiel, Towards a formal definition of the cooperation among Multi-Agent Systems, In Proceedings of the first IFAC Workshop on Multi-Agent-Systems in production, 1999. [bibtex]


ReDCAD


National School of Engineering of Sfax
www.enis.rnu.tn

University of Sfax, Tunisia
www.uss.rnu.tn

Contact


Prof. Dr. Eng. Mohamed Jmaiel

Email: mohamed.jmaiel@enis.rnu.tn
Web: www.redcad.org/members/jmaiel
Phone: +216 74 666 578

Address


National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia