Prof. Dr.-Ing. Mohamed Jmaiel

The list of publications of Prof. Dr. Mohamed Jmaiel


Books
2013
[8] Sumitra Reddy, Mohamed Jmaiel, Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex]
[7] 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
[6] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), IEEE, 2010. [bibtex]
2008
[5] Mohamed Jmaiel, Mohamed Mosbah, Proceedings of the Third International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE, 2008. [bibtex]
[4] Mohamed Abid, Chafik Aloulou, Mohamed Chaabane, Mohamed Jmaiel, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2008. [bibtex]
2007
[3] 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
[2] Mohamed Abid, Ahmed Hadj Kacem, Mohamed Jmaiel, Mongi Lahiani, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2006. [bibtex]
2004
[1] Abdelmajid Ben Hamadou, Faiez Gargouri, Mohamed Jmaiel, Génie Logiciel et Intelligence Artificielle, Centre de Publication Universitaire, 2004. [bibtex]
Book Chapters
2014
[3] Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel, Handbook of Research on Architectural Trends in Service-Driven Computing, Chapter in Discovering Services in Mobile Environments: Discussion and Evaluation of Trends, IGI Global, volume 2, 2014. [bibtex] [doi]
2011
[2] Mohamed Nadhmi Miladi, Mariam Lahami, Mohamed Jmaiel, Khalil Drira, Methodologies for Non-functional Requirements in Service-oriented Architecture, Chapter in A Unified Deployment and Management Model for Dynamic and Distributed Software Architectures (N. Milanovic (Ed.), ed.), IGI Global, volume ch010, 2011. [bibtex] [doi]
[1] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, Modern Software Engineering Concepts and Practices: Advanced Approaches, Chapter in Description, classification and discovery approaches for software components: a comparative study (Ali H. Dogru, Veli Biçer, eds.), IGI Global, 2011. [bibtex] [doi]
Refereed Articles
2016
[54] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi]
[53] Imene Lahyani, Mohamed Jmaiel, Christophe Chassot, Analytical decisional model for latency aware publish/subscribe systems on \MANET\, In Journal of Systems and Software, 2016. () [bibtex] [pdf] [doi]
[52] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, In Science of Computer Programming (SCP), Elsevier, volume 122, 2016. [bibtex]
[51] Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel, The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA, In Service Oriented Computing and Applications, Springer, 2016. [bibtex] [pdf]
[50] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, SoLDES: Service-oriented Lexical Database Exploitation System, In Research in Computing Science, volume 109, 2016. [bibtex]
2015
[49] Imene Lahyani, Mohamed Jmaiel, Khalil Drira, Christophe Chassot, Latency-aware publish/subscribe systems on MANET, In International Journal of Wireless and Mobile Computing (IJWMC), volume 8, 2015. [bibtex] [pdf] [doi]
[48] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, Runtime testing approach of structural adaptations for dynamic and distributed systems, In Journal of Computer Applications in Technology, volume 51, 2015. [bibtex] [pdf] [doi]
[47] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A Context Change Detection Approach For Ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers, 2015. [bibtex]
[46] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Context analysis approach for context aware applications deployed on pervasive environments, In EAI Endorsed Trans. Context-aware Syst. & Appl., volume 2, 2015. [bibtex] [doi]
[45] Slim Kallel, Mohamed Jmaiel, Sumitra Reddy, Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [pdf] [doi]
[44] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, Runtime testing approach of structural adaptations for dynamic and distributed systems, In IJCAT, volume 51, 2015. [bibtex] [pdf] [doi]
[43] Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Mohamed Jmaiel, Saïd Tazi, Time-Dependent QoS Aware Best Service Combination Selection, In Int. J. Web Service Res., volume 12, 2015. [bibtex] [pdf] [doi]
[42] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, The temporal perspective in business process modeling: a survey and research challenges, In Service Oriented Computing and Applications, volume 9, 2015. [bibtex] [pdf] [doi]
2014
[41] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, D-CEP4CMA: A Dynamic Architecture for Cloud Performance Monitoring and Analysis via Complex Event Processing, In International Journal of Big Data Intelligence, Inderscience Publishers, volume 1, 2014. [bibtex]
[40] Nesrine Khabou, Ismael Bouassida Rodriguez, Ghada Gharbi, Mohamed Jmaiel, A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus, In Procedia Computer Science, 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]
2013
[39] Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel, AO4AADL: Aspect oriented extension for AADL, In Central European Journal of Computer Science, Versita, Springer, volume 3, 2013. [bibtex] [doi]
[38] Mohamed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Towards an approach for managing dynamic deployment in distributed service oriented architectures, In International Journal of Collaborative Enterprise, volume Vol.3, 2013. [bibtex] [doi]
[37] Mohamed Jmaiel Soumaya Marzouk, A policy-based approach for strong mobility of composed Web services, In Service Oriented Computing and Applications, Springer-Verlag, volume 7, 2013. [bibtex] [doi]
[36] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi]
[35] Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Bernard Coulette, Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach, In Concurrency and Computation:Practice and Experience, Wiley, 2013. [bibtex]
[34] Amina Chaabane, Codé Diop, Wassef Louati, Mohamed Jmaiel, Jorge Gómez-Montalvo, Ernesto Exposito, Towards a semantic-driven and scalable publish/subscribe framework, In International Journal of Internet Protocol Technology, volume 7, 2013. [bibtex] [doi]
2012
[33] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In In the Journal of New technologies of Information (RNTI), CAL'2011, 2012. [bibtex]
[32] Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel, Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [doi]
2011
[31] Soumaya Marzouk, Mohamed Jmaiel, A Survey on Software Checkpointing and Mobility Techniques in Distributed Systems, In Concurrency and Computation: Practice and Experience, Wiley, volume 23, 2011. [bibtex] [doi]
2010
[30] Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel, A large-scale monitoring and measurement campaign for web services-based applications, In Concurrency and Computation: Practice and Experience, Wiley, volume 22, 2010. [bibtex] [doi]
[29] 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]
[28] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Mohamed Jmaiel, Ikbel Guidara, Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs, In revue des nouvelles technologies RNTI L5 CAL 2010, Cépaduès, 2010. [bibtex]
[27] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Khalil Drira, Mohamed Jmaiel, ODACE SLA: Ontology Driven Approach for automatic Establishment of Service Level Agreements, In International Journal of Systems and Service-Oriented Engineering 2010, IGI global, volume 1, 2010. [bibtex]
[26] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, An integration ontology for components composition, In International Journal of Web Portals (IJWP), IGI Global, volume 2, 2010. [bibtex] [doi]
[25] Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe chassot, Mohamed Jmaiel, A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars, In International Journal of Autonomic Computing, volume 1, 2010. [bibtex] [doi]
[24] Ismael Bouassida Rodriguez, Christophe chassot, Mohamed Jmaiel, Graph grammar-based transformation for context-aware architectures supporting group communication, In Revue des Nouvelles Technologies de l'Information, volume L, 2010. [bibtex]
[23] Ismael Bouassida Rodriguez, Khalil Drira, Christophe chassot, Mohamed Jmaiel, An architectural refinement model for group-wide communications with priorities applied to the ROSACE project senario, In International Tarnsactions on Systems Science and Applications, volume 6, 2010. [bibtex]
2009
[22] Mohamed Jmaiel, Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 7, 2009. [bibtex]
[21] Imene Lahyani, Soumaya Marzouk, Mohamed Jmaiel, QoS Aware Publish/Subscribe System Deployed on a Mobile Ad-hoc Network, In Communications of SIWN - The Systemics and Informatics World Network, volume 7, 2009. [bibtex]
[20] Monia Loulou, Mohamed Jmaiel, Mohamed Mosbah, Dynamic security framework for mobile agent systems: specification, verification and enforcement, In International Journal of Information and Computer Security, Inderscience Publishers, volume 3, 2009. [bibtex] [doi]
[19] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Khalil Drira, Mohamed Jmaiel, Semantic Enabled Framework for SLA Monitoring, In International Journal on Advances in Software, IARIA Journal, volume 2, 2009. [bibtex]
[18] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe, A Holistic Approach for Access Control Policies: from Formal Specification to Aspect-Based Enforcement, In International Journal of Information and Computer Security, Inderscience publishers, volume 3, 2009. [bibtex] [doi]
[17] 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]
2008
[16] Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel, An experimental evaluation of SEC+, an enhanced search engine for component-based software development, In SIGSOFT Softw. Eng. Notes, ACM, volume 33, 2008. [bibtex] [doi]
[15] Slim Kallel, Anis Charfi, Mohamed Jmaiel, Using Aspects for Enforcing Formal Architectural Invariants, In Electronic Notes in Theoretical Computer Science, Elsevier, volume 215, 2008. [bibtex] [doi]
[14] Ismael Bouassida Rodriguez, N. Van Wambeke, Khalil Drira, Christophe chassot, Mohamed Jmaiel, Multi-layer coordinated adaptation based on graph refinement for cooperative activities, In Communications of SIWN, volume 4, 2008. [bibtex]
[13] Riadh Ben Halima, Karim Guennoun, Khalil Drira, Mohamed Jmaiel, Providing predictive self-healing for web services: a QoS monitoring and analysis-based approach, In Journal of Information Assurance and Security (JIAS), volume 3, 2008. [bibtex] [doi]
2007
[12] Mohamed Jmaiel, Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 5, 2007. [bibtex]
[11] 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]
[10] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, SEC+: an enhanced search engine for component-based software development, In SIGSOFT Software Engineering Notes, ACM Press, volume 32, 2007. [bibtex] [doi]
[9] Ismael Bouassida Rodriguez, Khalil Drira, Christophe chassot, Mohamed Jmaiel, Context-Aware Adaptation for Group Communication Support Applications with Dynamic Architecture, In -System and Information Sciences Notes, volume 2, 2007. [bibtex] [doi]
2006
[8] 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] [doi]
2005
[7] 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] [pdf]
2003
[6] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, An Approach to the Formal Specification of Lingware, In Natural Language Engineering, Cambridge University Press, volume 9, 2003. [bibtex] [doi]
[5] Mohamed Jmaiel, Pepper Pepper, Development of Communication Protocols Using Algebraic and Temporal Specifications, In Computer Networks Journal, Elsevier Science Publisher, volume 42, 2003. [bibtex] [doi]
2002
[4] Kamel Barkaoui, Mohamed Jmaiel, Ali Mili, Guest editorial, In Journal of Systems and Software, volume 60, 2002. [bibtex] [doi]
[3] Kamel Barkaoui, Mohamed Jmaiel, Ali Mili, Guest editorial, In Journal of Systems and Software, , Special Issue on Artificial and Computational Intelligence for Decision Control, and Automation in Engineering and Industrial Applications, volume 60, 2002. [bibtex]
2001
[2] Walid Chainbi, Abdelmajid Ben Hamadou, Mohamed Jmaiel, A Belief-Goal-Role theory for multiagent systems, In International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing Company, volume 15, 2001. [bibtex] [doi]
1996
[1] Mohamed Jmaiel, Specification of Communication Protocols using Temporal Logic, In Journal of Systems and Software, Special Issue on Software Engineering for Distributed Systems, Elsevier Science Inc., volume 33, 1996. [bibtex] [doi]
Refereed Conference Papers
2016
[189] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira, Holistic Link Quality Estimation-based Routing Metric for RPL Networks in Smart Grids, In 2016 IEEE 27th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC): Mobile and Wireless Networks (IEEE PIMRC2016 Mobile and Wireless), 2016. [bibtex]
[188] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments, In Proceedings of The 30-th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 2016. [bibtex]
[187] Ahmed Jemal, Henda Ktait, Riadh Ben Halima, Mohamed Jmaiel, OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems, In Proceedings of the International Conference on Internet of Things and Cloud Computing, ACM, 2016. [bibtex] [doi]
[186] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira, Encoding Bigraphical Reactive Systems into Graph Transformation Systems, In Proceedings of the 14th Cologne Twente Workshop on Graphs and Combinatorial Optimization, (CTW), 2016. [bibtex]
[185] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance, In Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, 2016. [bibtex] [pdf] [doi]
[184] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems, In 14th IEEE International Conference on Software Engineering Research, Management and Applications, SERA, 2016. [bibtex] [pdf] [doi]
[183] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, AspectAda: An aspect oriented extension of ada for real-time systems, In 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2016. [bibtex] [pdf] [doi]
[182] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Recursive and RollingWindows for Medical Time Series Forecasting : a Comparative Study, In 14th IEEE /IFIP International Conference on Embedded and Ubiquitous Computing, EUC, 2016. [bibtex]
[181] Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, and Mohamed Jmaiel., Formal Verification of Time-Aware Cloud Resource Allocation in Business Process, In Proceedings of On the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, Springer, volume , 2016. [bibtex] [doi]
[180] Hatem Aouadi, Mouna Torjmen Khemakhem, Mohamed Jmaiel, An LDA Topic Model Adaptation for Context-Based Image Retrieval, In 16th International Conference on Electronic Commerce and Web Technologies, 2016. [bibtex]
[179] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, An overview of a decision approach for autonomic applications architectural adaptation, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi]
[178] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Towards ODRAH: an Ontology-based Data Reliability Assessment in mobile Health, In 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2016. [bibtex]
2015
[177] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, and Khalil Drira., Low-Power Link Quality Estimation in Smart Grid Environments, In The 11th International Wireless Communications & Mobile Computing Conference (IWCMC 2015), 2015. [bibtex]
[176] Nabil Baklouti, Bilel Gargouri, and Mohamed Jmaiel, Semantic-Based Approach to Improve the Description and the Discovery of Linguistic Web Services, In , Elsevier, 2015. [bibtex]
[175] Nabil Baklouti, Bilel Gargouri, and Mohamed Jmaiel, Towards Patterns-based Linguistic Web Service Composition, In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),, IEEE Computer Society, 2015. [bibtex]
[174] Monia Ben Brahim, Tarak Chaari, Mohamed Jmaiel, XPath translation to enhance the semantic matching of fine-grained Web service security policies, In 2015 12th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA), 2015. [bibtex]
[173] Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel, From AADL Model to LNT Specification, In Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Proceedings, 2015. [bibtex] [pdf] [doi]
[172] Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel, Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization, In 20th International Conference on Engineering of Complex Computer Systems, ICECCS, 2015. [bibtex] [pdf] [doi]
[171] Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel, Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations, In ICTSS, 2015. [bibtex]
[170] Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel, AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [pdf] [doi]
[169] Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel, From AADL Model to LNT Specification, In Reliable Software Technologies – Ada-Europe 2015 (Juan Antonio de la Puente, Tullio Vardanega, eds.), Springer International Publishing, volume 9111, 2015. [bibtex] [pdf] [doi]
[168] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A multi-scale modeling approach for software architecture deployment, In Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC), 2015. [bibtex] [doi]
[167] Emna Fki, Saïd Tazi, Mohamed Jmaiel, A Semantic Driven Approach for an Automated Composition Based on Abstract Services, In 12th IEEE International Conference on e-Business Engineering, ICEBE 2015, Beijing, China, October 23-25, 2015, 2015. [bibtex] [doi]
[166] Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel, Heuristic Based Time-Aware Service Selection Approach, In 2015 IEEE International Conference on Web Services, ICWS 2015, 2015. [bibtex] [pdf] [doi]
[165] Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari, A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes, In Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015. [bibtex] [pdf]
[164] Mariam Chaabane, Fatma Krichen, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Monitoring of Service-Oriented Applications for the Reconstruction of Interactions Models, In Proceedings of the 15th International Conference on Computational Science and its Applications (ICCSA), 2015. [bibtex] [pdf] [doi]
[163] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, Requirement-based lexical web service generation, In Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, ISDA, 2015. [bibtex] [pdf] [doi]
[162] Imen Abdennadher, Mohamed Jmaiel, Une étude de la décision pour l'adaptation autonomique des systèmes, In Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015. [bibtex]
[161] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Mariano Vargas-Santiago, Saúl E. Pomares Hernández, Towards a Decision Approach for Autonomic Systems Adaptation, In Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, MobiWac 2015, Cancun, Mexico, November 2-6, 2015, 2015. [bibtex] [doi]
[160] Imen Abdennadher, Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Designing energy efficient Smart Buildings in ubiquitous environments, In 15th International Conference on Intelligent Systems Design and Applications, ISDA 2015, Marrakech, Morocco, December 14-16, 2015, 2015. [bibtex] [doi]
2014
[159] Souhir Feki, Wassef Louati, Nadia Masmoudi, Mohamed Jmaiel, Q-learning-based Data Replication for Highly Dynamic Distributed Hash Tables, In Proceedings of the 5nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2014. [bibtex]
[158] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, CEP4Cloud: Complex Event Processing for Self-Healing Clouds, In the Proceedings of the 23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises (WETICE 2014), IEEE Computer Society Press, 2014. [bibtex]
[157] Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Said Tazi, Mohamed Jmaiel, Pruning based Service Selection Approach under QoS and Temporal Constraints, In Proceedings of the 21th IEEE International Conference on Web Services (ICWS), IEEE Computer Society, 2014. [bibtex]
[156] Fatma Krichen, Mohamed Jmaiel, Fairouz Fakhfakh, Modes Generation of Reconfigurable Embedded Systems, In Conférence internationale francophone sur l'Architecture Logicielle, 2014. [bibtex]
[155] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes, In Proceedings of the 11th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2014. [bibtex]
[154] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing, In Proceedings of the 2nd International Conference on NETworked sYStems (NETYS), Springer, 2014. [bibtex]
[153] Souhir Feki, Wassef Louati, Nadia Masmoudi, Mohamed Jmaiel, Q-learning-based Data Replication for Highly Dynamic Distributed Hash Tables, In Proceedings of the 5nd IEEE/IFIP International Conference on the Network of the Future (NoF 14), 2014. [bibtex]
[152] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, On Enabling Time-aware Consistency of Collaborative Cross-Organisational Business Processes, In Proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, Springer, 2014. [bibtex]
[151] Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel, Regularity Of Movement Based Approach for M2M Services Discovery, In Proceedings of the 2014 International Symposium on Networks, Computers and Communications, IEEE, 2014. [bibtex] [doi]
[150] Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Monitoring of Quality of Service in Dynamically Adaptive Systems, In Adaptive and Intelligent Systems, Springer International Publishing, volume 8779, 2014. [bibtex] [pdf] [doi]
[149] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Middleware for Dynamically Adaptive Systems, In Proceedingd of the 27th International Conference on Architecture of Computing Systems (ARCS), Springer, 2014. [bibtex]
[148] 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]
[147] Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari, Greedy Flooding in Redoubtable Sensor Networks, In The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2014. [bibtex]
[146] Ikbel Guidara, Tarak Chaari, Mohamed Jmaiel, An Efficient Service Selection Approach with Time-Dependent QoS, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014. [bibtex]
[145] Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, Toward a Verification of Time-centric Business Process Models, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex]
[144] Mariam Chaabane, Ismael Bouassida Rodriguez, Fatma Krichen, Mohamed Jmaiel, Service-oriented applications monitoring for the reconstruction of architectural interactions models, In Proceedings of the fourth International Symposium on Web Services (WSS), 2014. [bibtex]
[143] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Approche de sélection d'architecture basée augmentation de désordre pour les Systèmes Collaboratifs Ubiquitaires, In 8 ème Conférence francophone sur les Architectures Logicielles (CAL 2014), 2014. [bibtex]
2013
[142] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis, In IEEE 5th International Conference on Cloud Computing Technology and Science, 2013. [bibtex] [doi]
[141] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Runtime Adaptation of Component based Systems, In Proceedings of the first International Conference on Networked Systems (NETYS), Springer, volume 7853, 2013. [bibtex]
[140] Afef Jmal Maalej, Manel Hamza, Moez Krichen, Mohamed Jmaiel, Automated Significant Load Testing for WS-BPEL Compositions, In Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE Computer Society, 2013. [bibtex] [doi]
[139] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, WSCCT: A Tool for WS-BPEL Compositions Conformance Testing, In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), ACM, 2013. [bibtex] [doi]
[138] Afef Jmal Maalej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel, Conformance testing for quality assurance of clustering architectures, In Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, ACM, 2013. [bibtex] [doi]
[137] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi]
[136] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Toward a Time-centric modeling of Business Processes in BPMN 2.0, In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), ACM, 2013. [bibtex]
[135] Olfa Bouchaala, Samir Tata, Mohamed Jmaiel, A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes, In Proceedings of the 14th International Conference on E-Commerce and Web Technologies (EC-Web), Springer, volume 152, 2013. [bibtex] [doi]
[134] Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel, Linguistic Web Services Discovery, In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT), 2013. [bibtex]
[133] Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel, OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex]
[132] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Time-aware Automatic Process View Generation Saoussen, In Proceedings of the International Conference on E-Business Engineering (ICEBE), IEEE Computer Society, 2013. [bibtex]
[131] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Survey on Time-aware Business Process Modeling, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), ScitePress, 2013. [bibtex]
2012
[130] Amina Chaabane, Fatma Abdennadher, Wassef Louati, Mohamed Jmaiel, Handling Chrun in DHT-based Publish/Subscribe Systems, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex]
[129] Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel, Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi]
[128] Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel, Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi]
[127] Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel, Towards a Verification Approach for Reconfigurable Embedded Systems, In Computers and Communications (ISCC), 2012 IEEE Symposium on, 2012. [bibtex] [doi]
[126] Imene Lahyani, Lamia Ben Amor, Mohamed Jmaiel, Analytical framework for QoS aware publish/subscribe system deployed on MANET, In Proceedings of The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), IEEE Computer Society, 2012. [bibtex]
[125] Imene Lahyani, Mouna Guassara, Mohamed Jmaiel, Predictive schemes for QoS awareness of publish/subscribe systems on MANET, In Proceedings of the 11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), IEEE Computer Society, 2012. [bibtex]
[124] Imene Lahyani, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Christophe Chassot, Towards self healing publish/subscribe system on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Collaborative Technology for Coordinating Crisis Management (CT2CM 2012), IEEE Computer Society, 2012. [bibtex] [doi]
[123] Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Design-Time Verification of Reconfigurable Real-Time Embedded Systems, In Proceedings of the 9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), IEEE Computer Society, 2012. [bibtex]
[122] Amina Chaabane, Wassef Louati, Mohamed Jmaiel, Jorge R. Gomez-Montalvo, Code Diop, Ernesto Exposito, Towards an Ontology and DHT-based publish/subscribe scalable system, In 3rd IEEE International Workshop on SmArt COmmunications in NEtwork Technologies (ICC'12 WS - SaCoNet-III), 2012. [bibtex]
[121] Imene Lahyani, Nesrine Khabou, Mohamed Jmaiel, QoS Monitoring and Analysis approach for publish/subscribe systems deployed on MANET, In Proceedings of The 20th Euromicro International Conference on Parallel Distributed and Network-Based Computing(PDP 2012), Conference Publishing Services (CPS), 2012. [bibtex]
[120] Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel, An Ontology-Based Approach for Linguistic Web Service Description, In WETICE IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, 2012. [bibtex] [doi]
[119] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, Model-Based Conformance Testing of WS-BPEL Compositions, In COMPSAC Workshops, 2012. [bibtex] [doi]
[118] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, Conformance Testing of WS-BPEL Compositions under Various Load Conditions, In COMPSAC, 2012. [bibtex] [doi]
[117] Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel, Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In Proceedings of the 24th IFIP International Conference of Testing Software and Systems (ICTSS), 2012. [bibtex] [doi]
[116] Nesrine Khabou, Imene Lahyani, Mohamed Jmaiel, Une approche de monitoring et d’analyse des systèmes publier/souscrire déployés sur MANET. Application: Les systèmes de gestion de crise, In 1ère Conférence francophone sur les Systèmes Collaboratifs (SysCo2012), 2012. [bibtex]
[115] Ikbel Guidara, Tarak Chaari, Kaouthar Fakhfakh, Mohamed Jmaiel, A Comprehensive Survey on Intra and Inter Organizational Agreements, In Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi]
[114] Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid, A Middleware for Reconfigurable Distributed Real-Time Embedded Systems, In Software Engineering Research, Management and Applications, SERA'2012 (Roger Lee, ed.), Springer Berlin / Heidelberg, volume 430, 2012. [bibtex] [doi]
[113] Fatma Krichen, Amal Gassara, Bechir Zalila, Brahim Hamid, Mohamed Jmaiel, Modélisation et vérification des systèmes embarqués temps réel reconfigurables, In 6ème Conférence Internationale Francophone sur les Architectures Logicielles, 2012. [bibtex]
[112] Emna Fki, Mohamed Jmaiel, Chantal Soule Dupuy, Said Tazi, A flexible approach for service composition using service patterns, In Proceedings of the 27th Annual ACM Symposium on Applied Computing, ACM, 2012. [bibtex] [doi]
[111] Amina Chaabane, Fatma Abdennadher, Wassef Louati, Mohamed Jmaiel, Handling Churn in DHT-based Publish/Subscribe Systems, In Proceeding of the 3rd IEEE/IFIP International Conference on the Network of the Future (NoF), 2012. [bibtex] [doi]
[110] Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel, Semantic matching of web services security policies, In Proceedings of the 7th International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE Computer Society, 2012. [bibtex] [doi]
[109] Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel, Enhancing Linguistic Web Service Description with Non-functional NLP Properties, In ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, 2012. [bibtex]
[108] Mohamed Jmaiel, Slim Kallel, Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures, In Proceedings of the 21st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi]
2011
[107] Amina Chaabane, Wassef Louati, Mohamed Jmaiel, A framework for managing composed multimedia delivery in personal networks, In Second International Conference on Multimedia Computing and Systems, ICMCS, IEEE digital library, 2011. [bibtex] [doi]
[106] Emna Fki, Chantal Soule Dupuy, Said Tazi, Mohamed Jmaiel, Vers une composition de services basée sur les patrons de services et dirigée par les intentions, In 5ème Conférence Internationale Francophone sur les Architectures Logicielles, 2011. [bibtex]
[105] Afef Mdhaffar, Riadh Ben Halima, Ernst Juhnke, Mohamed Jmaiel, Bernd Freisleben, AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring, In Proceedings of the 11th IEEE International Conference on Computer and Information Technology, IEEE Press, 2011. [bibtex] [doi]
[104] Imene Lahyani, Mohamed Jmaiel, Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network, In , IEEE Computer Society, volume 0, 2011. [bibtex] [doi]
[103] Monia BEN BRAHIM, Tarak Chaari, Maher BEN JEMAA, Mohamed Jmaiel, Semantic matching of WS-SecurityPolicy Assertions, In Proceedings of the 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'11), Springer, 2011. [bibtex]
[102] Meriam Mahjoub, Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, A Comparative Study of the Current Cloud Computing Technologies and Offers, In Proceedings of the 2011 First International Symposium on Network Cloud Computing and Applications, IEEE Computer Society, 2011. [bibtex] [doi]
[101] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In 5ème Conférence Francophone sur les architectures logicielles, 2011. [bibtex]
[100] Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Towards a Model-Based Approach for Reconfigurable DRE Systems, In Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings, Springer, volume 6903, 2011. [bibtex] [doi]
[99] Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel, Modeling and Managing Communities of Web Service Registries, In Proceedings of the 7th International Conference on Web Information Systems and Technologies (WEBIST) - Revised Selected Papers, 2011. [bibtex] [doi]
[98] Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel, Graph-based Management of Communities of Web Service Registries, In WEBIST, 2011. [bibtex]
2010
[97] Monia Ben Brahim, Maher Ben Jemaa, Mohamed Jmaiel, Security Mapping To Enhance Matching Fine-Grained Security Policies, In Proceedings of the Second International Conference on Networked Digital Technologies (NDT 2010), Springer, 2010. [bibtex] [doi]
[96] Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel, Using Recommendation to Limit Search Space in Web Services Discovery, In 24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010, 2010. [bibtex] [doi]
[95] Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel, Toward an Aspect Oriented ADL for Embedded Systems, In Proccedings of the 4th European Conference on Software Architecture (ECSA), Springer, volume 6285, 2010. [bibtex] [doi]
[94] Soumaya Marzouk, Afef Jmal Maalej, Mohamed Jmaiel, Aspect-Oriented Checkpointing Approach of Composed Web Services, In ICWE Workshops, 2010. [bibtex] [doi]
[93] Kaouthar Fakhfakh, Said Tazi, Khalil Drira, Tarak Chaari, Mohamed Jmaiel, Enhancing Client Intentions Analysis for Service Level Agreements Establishment Assistance, In First International Conference on Models and Ontology-based Design of Protocols, Architectures and Services, IEEE Computer Society, 2010. [bibtex]
[92] Mariam Lahami, Moez Krichen, Akram Idani, Mohamed Jmaiel, A generic process to build reliable distributed software components from early to late stages of software development, In Proceedings of the Sixth International Conference on Computer Engineering and Systems, ICCES 2010, 2010. [bibtex]
[91] Mohamed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira, A UML based deployment and management modeling for cooperative and distributed applications, In Proceedings of the 8th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2010) (Springer's Studies in Computational Intelligence (SCI), ed.), Springer, 2010. [bibtex] [doi]
[90] Kaouthar Fakhfakh, Said Tazi, Khalil Drira, Tarak Chaari, Mohamed Jmaiel, Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers, In AINA Workshops, IEEE Computer Society, 2010. [bibtex] [doi]
[89] Emna Fki, Chantal Soule Dupuy, Said Tazi, Mohamed Jmaiel, Intention Driven Service Composition With Service Patterns, In 12th International Conference on Enterprise Information Systems (ICEIS 2010), 2010. [bibtex]
[88] Nabil Baklouti, Sonia Bouaziz, Bilel Gargouri, Chafik Aloulou, Mohamed Jmaiel, Towards the reuse of lingware systems: a proposed approach with a practical experiment, In Proceedings of the 12th International Conference on Information Integration and Web-based Applications &\38; Services, ACM, 2010. [bibtex] [doi]
[87] Ismael Bouassida Rodriguez, Riadh Ben Halima, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, A policy-driven dynamic reconfiguration for virtualized web services-based architectures, In the Business System Management and Engineering workshop (BSME 2010), 2010. (15 p.) [bibtex]
[86] Ismael Bouassida Rodriguez, Christophe Chassot, Mohamed Jmaiel, Graph grammar-based transformation for context-aware architectures supporting group communication, In 4ème Conférence francophone sur les Architectures Logicielles (CAL 2010), 2010. [bibtex]
[85] Afef Mdhaffar, Soumaya Marzouk, Riadh Ben Halima, Mohamed Jmaiel, A Runtime Performance Analysis for Web Service-Based Applications, In Proceedings of the 1st Workshop on Engineering SOA and the Web (ESW) Held in conjunction With the 10th International Conference on Web Engineering (ICWE), Springer, volume 6385, 2010. [bibtex] [doi]
2009
[84] Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel, Specifying and Monitoring Temporal Properties in Web services Compositions, In Proceedings of the 7th IEEE European Conference on Web Services (ECOWS), IEEE computer society, 2009. [bibtex] [doi]
[83] 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] [pdf]
[82] Riadh Ben Halima, Emna Fki, Mohamed Jmaiel, Khalil Drira, Experiments Results and Large Scale Measurement Data for Web Services Performance Assessment, In Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), IEEE Computer Society, 2009. [bibtex] [doi]
[81] 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] [pdf]
[80] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose, From Formal Access Control Policies to Runtime Enforcement Aspects, In Proceedings of the 1st International Symposium on Engineering Secure Software and Systems (ESSoS), Springer, volume 5429, 2009. [bibtex] [doi]
[79] Soumaya Marzouk, Afef Jmal Maalej, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Periodic Checkpointing for Strong Mobility of Orchestrated Web Services, In , IEEE Computer Society, 2009. [bibtex] [doi]
[78] Mohamed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira, An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures, In FSEN, Springer, volume 5961, 2009. [bibtex] [doi]
[77] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use, In Proceedings of the 4th Language & Technology Conference LTC 2007 (Z. Vetulani, H. Uszkoreit, eds.), Springer, volume 5603, 2009. [bibtex] [doi]
[76] 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] [pdf]
[75] Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems, In Software Architecture, 2009 European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on, 2009. [bibtex] [doi]
[74] Amina Chaabane, Mohamed Jmaiel, Security aware content-based publish/subscribe system, In Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), IEEE Computer Society, 2009. [bibtex] [doi]
[73] Amina Chaabane, Mohamed Jmaiel, A Secure Content-Based Publish/Subscribe Middleware, In Third International Conference on Information Technology: New Generations, IEEE Computer Society, 2009. [bibtex] [doi]
2008
[72] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, A QoS-oriented reconfigurable middleware for self-healing Web services, In Proceedings of the IEEE International Conference on Web Services (ICWS'08), IEEE Computer Society, 2008. [bibtex] [doi]
[71] Riadh Ben Halima, Karim Guennoun, Khalil Drira, Mohamed Jmaiel, Non-intrusive QoS monitoring and analysis for self-healing Web services, In Proceedings of the first IEEE International Conference on the Applications of Digital Information and Web Technologies (ICADIWT'08), IEEE Computer Society, 2008. [bibtex] [doi]
[70] Ismael Bouassida Rodriguez, N. Van Wambeke, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, Multi-layer coordinated adaptation based on graph refinement for cooperative activities, In Proceedings of the 4th International Conference on Self-organization and Adaptation of Computing and Communications (SSCC'2008), 2008. [bibtex]
[69] Monia Ben Brahim, Maher Ben Jemaa, Mohamed Jmaiel, Improving Java Card Grid Dependability with Fault Prevention and Fault Tolerance, In Proceedings of the 1st International Conference in Embedded Systems and Critical Applications, 2008. [bibtex] [pdf]
[68] 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]
[67] Mohamed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhriss, Mohamed Jmaiel, Khalil Drira, A UML rule-based approach for describing and checking dynamic software architectures, In Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), 2008. [bibtex] [doi]
[66] 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]
[65] Soumaya Marzouk, Mohamed Jmaiel, Towards Making WSRF Based Web Services Strongly Mobile, In Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'08), IEEE Computer Society, 2008. [bibtex] [doi]
[64] 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]
[63] Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism, In CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, ACM, 2008. [bibtex] [doi]
[62] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Khalil Drira, Mohamed Jmaiel, Modélisation et monitoring des contrats de qualité de services en utilisant les ontologies, In , volume 0, 2008. [bibtex] [pdf]
2007
[61] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, LMF-QL: A Graphical Tool to Query LMF databases, In Proc. of the 3rd Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (Zygmut Vetulani, ed.), Wydawnictwp Poznanskie, 2007. [bibtex] [doi]
[60] Mohamed Sellami, Mohamed Jmaiel, A Secured Service-Oriented Architecture for E-government in Tunisia, In Proceedings of the eGovernment Interoperability Campus 2007 Conference (eGovINTEROP'07), 2007. [bibtex] [pdf]
[59] 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]
[58] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants, In Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination), Springer, volume 4467, 2007. [bibtex] [doi]
[57] Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel, A Serialisation Based Approach for Processes Strong Mobility, In Proceedings of the 7th IFIP International Conference on Distributed Applications and Interoperable Systems (Dais) (Jadwiga Indulska, Kerry Raymond, eds.), Springer, volume 4531, 2007. [bibtex] [doi]
[56] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, Une approche orientée règle pour la spécification formelle des architectures dynamiquement configurables, In Actes de la 7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition NOTERE 2007, 2007. [bibtex] [pdf]
[55] 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]
[54] Mohamed Nadhmi Miladi, Mohamed Jmaiel, Mohamed Hadj Kacem, An UML Profile and a FUJABA PlugIn for modelling dynamic software architectures, In Proceedings of the Workshop on Model-Driven Software Evolution MoDSE2007, IEEE, 2007. [bibtex] [doi]
[53] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, A QoS-driven reconfiguration management system extending Web services with self-healing properties, In Proceeding of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises WETICE; In Workshop on Information Systems & Web Services ISWS, IEEE Computer Society, 2007. [bibtex] [doi]
[52] 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]
[51] Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel, A Serialisation Based Approach for Strong Mobility of Shared Object, In Proceedings of the 1st International Workshop on Java for Mobility (Ja4Mo 07) as part of the International Conf. on Principles and Practices of Programming In Java (PPPJ 2007), ACM, 2007. [bibtex] [doi]
[50] 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]
[49] Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, Context-aware adaptation for group communication support applications with dynamic architecture, In the 3rd International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2007), 2007. [bibtex]
2006
[48] Mehdi Ben Abderrahmen, Faten Chaari, Bilel Gargouri, Mohamed Jmaiel, Des services orientés besoin pour l'exploitation des bases lexicales normalisées, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'06), 2006. [bibtex] [pdf]
[47] 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] [pdf]
[46] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, SEC : A search engine for component based software engineering, In Proceeding of the 2006 ACM Symposium on Applied Computing : Session track Software Engineering (Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright, Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, Christophe Nicolle, eds.), ACM, 2006. [bibtex] [doi]
[45] 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]
[44] 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] [doi]
[43] 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] [doi]
[42] 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
[41] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, A Simulation Based Process for the Construction of Correct Models, In Proceedings of the International Conference on Conceptual Modeling and Simulation (CMS2005), 2005. [bibtex] [pdf]
[40] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, Graphical simulation of the dynamic evolution of the software architectures specified in \mboxZ, In Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE), 2005. [bibtex] [doi]
[39] 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] [doi]
[38] 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] [pdf]
[37] 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]
[36] 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] [doi]
[35] 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]
[34] Sonia Bouaziz, Bilel Gargouri, Mohamed Jmaiel, Component Based Lingware Development using the EJB Model and XML linguistic interface, In Proceedings of the L&TC'05, 2005. [bibtex] [pdf]
2004
[33] 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]
[32] 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]
[31] Raoudha Ben Jemaa, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Vers une méthode centrée-acteur pour la conception des applications Web, In Proceedings of the eigth Maghrebian Conference on Software Engineering and Artificial Intelligence, 2004. [bibtex] [pdf]
[30] 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]
[29] 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] [pdf]
[28] 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]
[27] 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
[26] Bassem Bouaziz, Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, EFLE : An environment for generating lingware systems code from formal requirements specification, In Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, 2003. [bibtex] [pdf]
[25] 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] [pdf]
2002
[24] 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] [pdf]
[23] 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
[22] 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] [doi]
[21] 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]
[20] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, An Environment for Formal Specification and Verification of Lingware, In Engineering of Intelligent Systems, Springer, volume 2070, 2001. [bibtex]
2000
[19] Mohamed Jmaiel, A Unified Algebraic Framework for Specifying Communication Protocols, In Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, Chapman and Hall, 2000. [bibtex] [doi]
[18] 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] [pdf]
[17] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Using a formal approach to evaluate grammars, In Proceedings of Second International Conference on Language Resources and Evaluation (LREC'2000), 2000. [bibtex]
1999
[16] 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]
[15] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, A formal approach to lingware development, In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer, volume 1611, 1999. [bibtex]
1998
[14] Najib Fourati, Abdelmajid Ben Hamadou, Mohamed Jmaiel, \mboxRSOO : Une Représentation Sémantique Orientée \mboxObjets de Requêtes en Langage Naturel, In Proceedings of the International conference on Natural Language Processing and Industrial Applications; NLP+IA 98, 1998. [bibtex]
[13] Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Multi-Agent Systems : from conception to Behavioral Semantics, In Proceeding of the IEEE International Conference on Intelligent Engineering Systems - INES'98, 1998. [bibtex]
[12] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Intérêts des Méthodes Formelles en Génie Linguistique, In Proceedings of the TALN98, 1998. [bibtex]
[11] Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou, A new Approach to the Conception and the Behavioral Semantics of a Multi-Agent System, In Proceedings of the fifth Maghrebian Conference on Software Engineering and Artificial Intelligence MCSEAI'98, 1998. [bibtex]
[10] Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou, A new Approach to the Conception and the Behavioral Semantics of a Multi-Agent System, In Proceedings of the 2nd IEEE International Conference on Intelligent Processing Systems -ICIPS'98, 1998. [bibtex]
[9] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Vers l'utilisation des méthodes formelles pour le développement de linguiciels, In Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics COLING/ACL, Morgan Kaufmann Publishers, 1998. [bibtex] [doi]
[8] Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems, In Proceedings of the 4th Australian Workshop on Distributed Artificial Intelligence on Multi-Agent Systems : Theories, Languages, and Applications (DAI-98), Springer, volume 1544, 1998. [bibtex] [doi]
1997
[7] Mohamed Jmaiel, A methodology for developing communication protocols, In Proceedings of the first workshop on many facets of processes, 1997. [bibtex]
1995
[6] Mohamed Jmaiel, Development of Communication Protocols by Composing and Refining Temporal Specifications, In Proceedings of the 4th Software Quality Conference, 1995. [bibtex]
[5] Mohamed Jmaiel, An Algebraic-Temporal Specification of a CSMA/CD-Protocol, In Proceedings of the IFIP WG 6.1 Fifteenth International Symposium on Protocol Specification, Testing and Verification, Chapman and Hall, 1995. [bibtex]
1994
[4] Mohamed Jmaiel, Development of Communication Protocols using Algebraic and Temporal Specifications, In Contributions to the Quality of Communication-Based Systems (G. Hommel, ed.), 1994. [bibtex]
[3] Mohamed Jmaiel, Pepper Pepper, Development of Communication Protocols using Algebraic and Temporal Specifications, In Proceedings of the International Workshop on Advanced Software Technology, 1994. [bibtex]
1993
[2] Mohamed Jmaiel, Development of Communication Protocols, In Forschungsprojekte des Graduiertenkollegs 'Kommunikationsbasierte Systeme' (G. Hommel, ed.), 1993. [bibtex]
[1] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Threshold-based context change detection for ubiquitous environments, In Third International Conference on Context-Aware Systems and Applications (ICCASA 2014), ACMYEAR=2014. [bibtex] [doi]
PhD Thesis
1996
[1] Mohamed Jmaiel, Development of Communication Protocols with Algebraic-Temporal Specifications, PhD thesis, Technical University of Berlin, 1996. [bibtex] [pdf]
Other Publications
1994
[1] Mohamed Jmaiel, Specifying Communication Protocols with Temporal Logic, Technical report, Technische Universität Berlin, Fachbereich Informatik, 1994. [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