The list of publications of Prof. Dr. Ahmed Hadj Kacem
Books
| 2016 | |
| [6] | , Special issue Editorial: New technologies of distributed systems, volume 28, 2016. [bibtex] [doi] |
| 2013 | |
| [5] | , 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] | , Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), IEEE, 2010. [bibtex] |
| 2009 | |
| [3] | , 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] | , Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2007. [bibtex] |
| 2006 | |
| [1] | , Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2006. [bibtex] |
Refereed Articles
| 2023 | |
| [48] | , MAPE-K patterns for self-adaptation in cyber-physical systems, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] |
| 2022 | |
| [47] | , A model transformation approach for multiscale modeling of software architectures applied to smart cities, In Concurrency and Computation: Practice and Experience, volume 34, 2022. [bibtex] [pdf] [doi] |
| [46] | , Modeling Autonomic Systems: Review, Classification, and Research Challenges, In International Journal of Software Innovation (IJSI), volume 10, 2022. [bibtex] [pdf] |
| [45] | , Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems, In Innov. Syst. Softw. Eng., volume 18, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [44] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Software, volume 15, 2021. [bibtex] [pdf] [doi] |
| [43] | , Special issue on risk and security of smart systems, In J. Inf. Secur. Appl., volume 61, 2021. [bibtex] [pdf] [doi] |
| [42] | , MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Softw., volume 15, 2021. [bibtex] [pdf] [doi] |
| 2020 | |
| [41] | , Ensuring the correctness of adaptive business processes: a systematic literature review, In IJCAT, volume 62, 2020. [bibtex] [pdf] [doi] |
| [40] | , Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment, In J. Network Syst. Manage., volume 28, 2020. [bibtex] [pdf] [doi] |
| [39] | , A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi] |
| 2019 | |
| [38] | , Feature models as service contracts in service oriented architecture, In International Journal of Services Technology and Management, volume 25, 2019. [bibtex] [pdf] [doi] |
| [37] | , Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019. [bibtex] [doi] |
| 2018 | |
| [36] | , Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex] |
| [35] | , Exact and heuristic MapReduce scheduling algorithms for cloud federation, In Computers & Electrical Engineering, Pergamon, volume 69, 2018. [bibtex] |
| [34] | , Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns, In International Journal of Computer Applications in Technology, volume 57, 2018. [bibtex] [doi] |
| 2017 | |
| [33] | , A Multi-scale Modeling Approach for Systems of Systems Architectures, In SIGAPP Applied Computing Review, ACM, volume 17, 2017. [bibtex] [pdf] [doi] |
| [32] | , 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] | , Generating reusable, searchable and executable “architecture constraints as services, In Journal of Systems and Software, Elsevier, volume 127, 2017. [bibtex] |
| [30] | , Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning, In IJDET, volume 15, 2017. [bibtex] [doi] |
| [29] | , Accountability management for multi-tenant cloud services, In International Journal of Grid and Utility Computing, volume 8, 2017. [bibtex] |
| [28] | , 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] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In J. Supercomput., volume 73, 2017. [bibtex] [pdf] [doi] |
| [26] | , Proving Distributed Coloring of Forests in Dynamic Networks, In Computación y Sistemas, volume 21, 2017. [bibtex] [pdf] [doi] |
| [25] | , An Evaluative Review and Research Challenges of the Simulation in Cloud Environment, In Int. J. Softw. Innov., volume 5, 2017. [bibtex] [pdf] [doi] |
| 2016 | |
| [24] | , Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex] |
| [23] | , 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] |
| [22] | , An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex] |
| [21] | , Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [doi] |
| [20] | , 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] |
| [19] | , 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] |
| [18] | , 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] |
| [17] | , 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] |
| [16] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [doi] |
| 2015 | |
| [15] | , A refinement-based approach for building valid SOA design patterns, In IJCC, volume 4, 2015. [bibtex] [doi] |
| 2014 | |
| [14] | , Interoperability for medical information systems: an overview, In Health and Technology, Springer Berlin Heidelberg, volume 4, 2014. [bibtex] [doi] |
| [13] | , 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] | , 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] | , 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] | , A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013. [bibtex] [doi] |
| [9] | , 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] | , 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] | , 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] | , A Distributed Computational Model for Mobile Agents, In International Journal of Grid Computing and Multi Agent Systems (GCMAS), volume 1, 2009. [bibtex] |
| 2007 | |
| [5] | , 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] | , ForMAAD: A Formal Method For Agent-Based Application Design, In Journal of Web Intelligence and Agent Systems, volume 5, 2007. [bibtex] |
| 2006 | |
| [3] | , 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] | , 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] | , A handshake algorithm for scheduling communications in wireless sensor networks, In Concurrency and Computation: Practice and Experience, volume . [bibtex] [doi] |
Refereed Conference Papers
| 2022 | |
| [151] | , Annotation Systems in the Medical Domain: A Literature Review, In Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27--30, 2022, Proceedings, 2022. [bibtex] |
| [150] | , Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients, In Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, Springer, volume 13287, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [149] | , A persuasive system to improve physical activities of older adults., In TACC, 2021. [bibtex] |
| [148] | , A Meta-Modeling Approach to Describe Internet of Things Architectures, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| 2020 | |
| [147] | , 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] |
| [146] | , Personalized and Contextualized Persuasion System for Older Adults? Physical Activity Promoting, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [145] | , 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 | |
| [144] | , 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] |
| [143] | , 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] |
| [142] | , 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 | |
| [141] | , 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] |
| [140] | , 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] |
| [139] | , Efficient distribution of mapreduce jobs for maximizing profit on federated cloud, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018. [bibtex] |
| [138] | , 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] |
| [137] | , 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] |
| [136] | , 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] |
| [135] | , 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] |
| [134] | , 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] |
| [133] | , Optimal Evidence Collection for Accountability in the Cloud, In 15th International Conference on e-Business Engineering ICEBE, 2018. [bibtex] |
| [132] | , 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] |
| [131] | , 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] |
| [130] | , 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] |
| [129] | , 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] |
| [128] | , 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 | |
| [127] | , 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] |
| [126] | , 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] |
| [125] | , Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation, In Proceedings of 14th IEEE International Conference on Services Computing (SCC), IEEE, 2017. [bibtex] |
| [124] | , 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] |
| [123] | , Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] |
| [122] | , 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] | , A Formal Approach for Maintaining Forest Topologies in Dynamic Networks, In 16th International Conference on Computer and Information Science (ICIS), Springer, 2017. [bibtex] |
| [120] | , 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] |
| [119] | , 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] | , 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] |
| [117] | , 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] |
| [116] | , 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] |
| [115] | , 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] |
| [114] | , 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] |
| [113] | , 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] |
| [112] | , 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] |
| [111] | , 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] |
| [110] | , 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 | |
| [109] | , 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] |
| [108] | , Modeling and Formal Specification Of Multi-scale Software Architectures, In Proceedings of the 11th International Conference on Software Engineering Advances, (ICSEA'2016), 2016. [bibtex] |
| [107] | , 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] |
| [106] | , 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] |
| [105] | , 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] |
| [104] | , 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] |
| [103] | , i-Read: A Collaborative Learning Environment to Support Students with Low Reading Abilities, In International Conference on Intelligent Tutoring Systems, 2016. [bibtex] |
| [102] | , 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] |
| [101] | , Modeling and Verifying Self-adaptive Systems:A Refinement Approach, In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016), 2016. [bibtex] |
| [100] | , 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] |
| [99] | , Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi] |
| [98] | , 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] |
| [97] | , 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] |
| [96] | , 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] |
| [95] | , 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 | |
| [94] | , 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] |
| [93] | , 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] |
| [92] | , 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] |
| [91] | , 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] | , 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] |
| [89] | , Automatic Translation of Architecture Constraint Specifications into Components, In Proceedings of the European conference on Software Architecture (ECSA), Springer, 2015. [bibtex] |
| [88] | , 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] |
| [87] | , 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] |
| [86] | , A service-oriented architecture (SOA) framework for choreography verification, In 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2015. [bibtex] [doi] |
| [85] | , 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] | , 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] |
| [83] | , 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] |
| [82] | , 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] |
| [81] | , 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] |
| [80] | , 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] |
| [79] | , 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] |
| [78] | , 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] |
| [77] | , 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] |
| [76] | , Automatic Recognition of Personality from Digital Annotations, In Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. [bibtex] [doi] |
| [75] | , A formal pattern for dynamic networks through evolving graphs, In 12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015, IEEE Computer Society, 2015. [bibtex] [pdf] [doi] |
| [74] | , 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] |
| [73] | , 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] | , Formal Security Framework For Agent Based Cloud Systems, In 3rd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE'14), 2014. [bibtex] |
| [71] | , Interoperability of healthcare information systems, In Networks, Computers and Communications, The 2014 International Symposium on, 2014. [bibtex] [doi] |
| [70] | , G n ration de m ta-programmes Java partir de contraintes d'architecture OCL, In In proceedings of the French Speaking Conference on Software Engineering (CIEL'14), 2014. [bibtex] |
| [69] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] |
| [51] | , 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] |
| [50] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , Making Sound Policies for Self-healing Systems, In 9ème Conférence Internationale sur les Nouvelles Technologies de lREpartition (NOTERE'09), 2009. [bibtex] |
| [33] | , Fault Tolerant Distributed Algorithms for Mobile Agents, In 9ème Conférence Internationale sur les Nouvelles Technologies de REpartition (NOTERE'09), 2009. [bibtex] |
| [32] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] |
| [15] | , 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] |
| [14] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , 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] | , An Operational Semantics for Negotiating Agents, In Intelligent Agents and Multi-Agent Systems, Springer, volume 2413, 2002. [bibtex] [doi] |
| 2001 | |
| [4] | , A formal negociation model for cooperating agents, In Proceedings of the AAAI Workshop on Negotiation Methods for Autonomous Cooperative Systems, 2001. [bibtex] |
| [3] | , 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] | , 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] | , 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.tnWeb: 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