Publications by Types
 
Publication by dates | Conference A*

Search:

By Type:

All | Books | Book Chapters | Refereed Articles | Conference Papers | PhD Thesis | Master Theisis | Other publications


Refereed Articles
2017
[113] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Recognition of Learner’s Personality Traits through Digital Annotations in Distance Learning, In International Journal of Distance Education Technologies, volume Volume 15, 2017. [bibtex]
2016
[112] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex]
[111] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture, In Revue des Nouvelles Technologies de l'Information, volume Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, RNTI-L-8, 2016. [bibtex]
[110] Mariano Vargas Santiago, Saul Eduardo Pomares Hernandez, Luis Alberto Morales Rosales, Hatem Hadj Kacem, Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes, In IEEE Latin America Transactions, IEEE, volume 14, 2016. [bibtex]
[109] Houda Khlif, Hatem Hadj Kacem, Saúl E Pomares Hernandez, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simón, An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex]
[108] Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, From Event-B specifications to programs for distributed algorithms, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS),, volume 9, 2016. [bibtex] [pdf] [doi]
[107] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [pdf] [doi]
[106] 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]
[105] 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]
[104] 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]
[103] Slim Kallel, Ismail Bouassida Rodriguez, Khalil Drira, Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex]
[102] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Comparative study of web annotation systems used by learners to enhance educational practices: features and services, In International Journal of Technology Enhanced Learning, Inderscience, volume 8, 2016. [bibtex] [doi]
[101] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview, In International Journal of Emerging Technologies in Learning, volume 11, 2016. [bibtex] [doi]
[100] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, Vers une modélisation formelle basée sur le rafinnement des systèmes multi-agents auto-organisateurs, In Revue d'Intelligence Artificielle, volume 30, 2016. [bibtex] [doi]
[99] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In International Journal of Agent-Oriented Software Engineering, 2016. [bibtex]
[98] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [pdf] [doi]
[97] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, volume 9, 2016. [bibtex] [pdf] [doi]
[96] 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]
[95] Djamel Belaïd, Imen Ben Lahmar, Walid Gaaloul, Developing correct adapters for software architectural dynamic reconfiguration, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS), volume 9, 2016. [bibtex]
[94] Hajer Ayadi, Mouna Torjmen Khemakhem, Mariam Daoud, Jimmy Xiangji Huang, Maher Ben Jemaa, Mining correlations between medically dependent features and image retrieval models for query classification, In Journal of the Association for Information Science Technology (JASIST 2016), Wiley-Blackwell, 2016. [bibtex]
[93] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, SoLDES: Service-oriented Lexical Database Exploitation System, In Research in Computing Science, volume 109, 2016. [bibtex]
2015
[92] Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel, A comparative evaluation of state-of-the-art load and stress testing approaches, In IJCAT, volume 51, 2015. [bibtex] [pdf] [doi]
[91] Afef Jmal Maâlej, Moez Krichen, Study on the Limitations of WS-BPEL Compositions Under Load Conditions, In Comput. J., volume 58, 2015. [bibtex] [pdf] [doi]
[90] Wassef Louati, Walid Ben-Ameur, Djamal Zeghlache, A bottleneck-free tree-based name resolution system for Information-Centric Networking, In Computer Networks, volume 91, 2015. [bibtex] [doi]
[89] 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]
[88] 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]
[87] 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]
[86] 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]
[85] Nesrine Khabou, Ismael Bouassida Rodriguez, Threshold-based context analysis approach for ubiquitous systems, In Concurrency and Computation: Practice and Experience (CPE 2013), Wiley, volume 27, 2015. [bibtex] [doi]
[84] Slim Kallel, Mohamed Jmaiel, Sumitra Reddy, Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [pdf] [doi]
[83] 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]
[82] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, 2015. [bibtex] [pdf] [doi]
[81] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, 2015. [bibtex] [pdf] [doi]
[80] Ghofrane Fersi, Middleware for Internet of Things: a study, In , IEEE, 2015. [bibtex] [pdf] [doi]
[79] 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]
[78] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A refinement-based approach for building valid SOA design patterns, In IJCC, volume 4, 2015. [bibtex] [pdf] [doi]
[77] 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]
[76] Sofien Khemakhem, Semantic web service discovery in a mobile environment, In International Journal of Internet Manufacturing and Services, volume 4, 2015. [bibtex] [doi]
2014
[75] 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]
[74] Wafa Gabsi, Bechir Zalila, Jérôme Hugues, A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers, 2014. [bibtex]
[73] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A Refinement-Based Approach for Building Valid SOA Design Patterns, In International Journal of Cloud Computing, IJCC (to appear), 2014. [bibtex]
[72] Alberto Calixto Simon, Saul E. Hernandez Pomares, Jose Roberto Perez Cruz, Riadh Ben Halima, Hatem Hadj Kacem, Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publisher, Inderscience Publishers, 2014. [bibtex]
[71] Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem, Vers une architecture d’auto-réparation sur le Cloud Computing, In Revue des Nouvelles Technologies de l'Information, volume 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, 2014. [bibtex]
[70] 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]
[69] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services, In IJMSO, volume 9, 2014. [bibtex] [doi]
[68] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, A New Annotation System based on a Semantic Analysis of Learnerís Annotative Activity to Invoke Web Services, In International Journal of Metadata, Semantics and Ontologies, Inderscience, volume 9, 2014. [bibtex] [doi]
[67] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, Interoperability for medical information systems: an overview, In Health and Technology, Springer Berlin Heidelberg, volume 4, 2014. [bibtex] [doi]
2013
[66] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Handling Nodes Mobility and Failure During Bootstrapping in Randomly Deployed Ring-based Wireless Sensor Networks, In International Journal of Recent Contributions from Engineering, Science & IT (iJES), IJES, volume 1, 2013. [bibtex] [doi]
[65] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Distributed Hash table-based routing and data management in wireless sensor networks: a survey, In ACM/Springer Wireless Networks (WINET):The Journal of Mobile Communication, Computation and Information, ACM/Springer, volume 19, 2013. [bibtex] [doi]
[64] Akram Eddahech, Sofien Chtourou, Mohamed Chtourou, Hierarchical neural networks based prediction and control of dynamic reconfiguration for multilevel embedded systems, In ELSEVIER, journal of Systems Architecture, ELSEVIER, volume 59, 2013. [bibtex] [doi]
[63] Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata, Communities of Web service registries: Construction and management, In Journal of Systems and Software, volume 86, 2013. [bibtex] [doi]
[62] 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]
[61] Sirine Rebai, Nawal Guermouche, Hatem Hadj-Kacem, Ahmed Hadj-Kacem, Towards error-handling-aware choreography to orchestration transformation approach, In Intnational Journal of Collaborative Enterprise, volume 3, 2013. [bibtex]
[60] 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]
[59] 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]
[58] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi]
[57] Anis Koubâa, Maissa Ben Jamâa, Taxonomy of Fundamental Concepts of Localization in Cyber-Physical and Sensor Networks, In Wireless Personal Communications, volume 72, 2013. [bibtex] [doi]
[56] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, An Approach of Assistance of Learner's Annotative Activity through Web Services, In Australian Journal of Intelligent Information Processing Systems (AJIIPS), volume 13, 2013. [bibtex]
[55] Nasreddine Hajlaoui, Issam Jabri, Maher Ben Jemaa, Experimental Performance Evaluation and Frame Aggregation Enhancement in IEEE 802.11n WLANs, In International Journal of Communication Networks and Information Security, volume 5, 2013. [bibtex]
[54] 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]
[53] Mouna Torjmen Khemakhem, Karen Pinel-Sauvagnat, Mohand Boughanem, Investigating the document structure as a source of evidence for multimedia fragment retrieval, In Inf. Process. Manage., volume 49, 2013. [bibtex] [doi]
[52] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013. [bibtex] [doi]
[51] Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari, Randomized broadcasting in wireless mobile sensor networks, In Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex] [doi]
[50] 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]
[49] Fatma Abdennadher, Maher Ben Jemaa, Mobility Management in Publish/Subscribe Middleware., In Mobility Management in Publish/Subscribe Middleware, IGI, volume 4, 2013. [bibtex] [doi]
2012
[48] Nouha Baccour, Anis Koubaa, Luca Mottola, Marco Antonio Zuniga, Habib Youssef, Carlo Alberto, Boanoand Mario Alves, Radio link quality estimation in wireless sensor networks: A survey, In ACM Trans. Sen. Netw., ACM, volume 8, 2012. [bibtex] [doi]
[47] Moez Krichen, A formal framework for black-box conformance testing of distributed real-time systems, In IJCCBS, volume 3, 2012. [bibtex] [doi]
[46] Nathalie Bertrand, Thierry Jeron, Amelie Stainer, Moez Krichen, Off-line test selection with test purposes for non-deterministic timed automata, In Logical Methods in Computer Science, volume 8, 2012. [bibtex] [doi]
[45] 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]
[44] 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]
[43] Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem, A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012. [bibtex]
[42] Hatem Aouadi, Mouna Torjmen-Khemakhem, Maher Ben Jemaa, Combination of document structure and links for multimedia object retrieval, In Journal of Information Science, volume 38, 2012. [bibtex] [doi]
2011
[41] Nouha Baccour, Anis Koubaa, Maissa Ben Jamaa, Denis do Rosario, Habib Youssef, Mario Alves, Leandro B. Becker, RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks, In Ad Hoc Netw., Elsevier Science Publishers B. V., volume 9, 2011. [bibtex] [doi]
[40] Soumaya Ghorbel, Maher Ben Jemaa, Mohamed Chtourou, Object-based Video compression using neural networks, In , 2011. [bibtex]
[39] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Research Article Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices, In , Hindawi Publishing Corporation, 2011. [bibtex] [doi]
[38] 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
[37] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, Energy-aware Virtual Ring Routing in Wireless Sensor Networks , In Network Protocols and Algorithms, Macrothink Institute, volume 2, 2010. [bibtex] [doi]
[36] 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]
[35] 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]
[34] 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]
[33] 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]
[32] 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]
[31] Nasreddine Hajlaoui, Caroline Chaux, Guillaume Perrin, Frédéric Falzon, Amel Benazza-Benyahia, Satellite image restoration in the context of a spatially varying point spread function, In Journal of The Optical Society of America A-optics Image Science and Vision, volume 27, 2010. [bibtex] [doi]
[30] 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]
[29] 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]
[28] 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
[27] 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]
[26] 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]
[25] 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]
[24] Moez Krichen, Stavros Tripakis, Conformance testing for real-time systems, In Formal Methods in System Design, volume 34, 2009. [bibtex] [doi]
[23] 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]
[22] 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]
[21] Maher Ben Jemaa, Nahla Abid, Maryline Laurent Maknavicius, Hakima Chaouchi, Experimental measurements of host identity protocol for mobile nodes networks, In Journal of Computer Systems, Networks, and Communications), 2009. [bibtex]
[20] Maher Ben Jemaa, Mariem Kallel Zouari, Bachar Zouari, A new approach to services differentiation between mobile terminals of a wireless LAN , In International Journal of Computer Science and Information Security, volume 3, 2009. [bibtex]
[19] 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
[18] 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]
[17] 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]
[16] 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]
[15] 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
[14] 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]
[13] Ahmed Hadj Kacem, Najla Hadj Kacem, From Formal Specification to Model Cheking of MAS unsing CSP-Z and SPIN, In International Journal of Computing & Information Sciences, volume 5, 2007. [bibtex] [pdf]
[12] 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]
[11] 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]
[10] 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
[9] 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
[8] 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]
[7] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, Algebraic elimination of epsilon-transitions, In Discrete Mathematics and Theoretical Computer Science, volume 7, 2005. [bibtex] [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]


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

Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an Email
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