Home



Publications by Dates
 
Publication by types | Conference A*

Search:

By Year:

All | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993

2007
[28] 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]
[27] 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]
[26] 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]
[25] Tarak Chaari, Adaptation d'applications pervasives dans des environnements multi-contextes, PhD thesis, Institut National des Sciences Appliquées de LYON, 2007. [bibtex]
[24] Lamia Yangui Bouaziz, Une démarche de validation de spécifications formelles des architectures logicielles , Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2007. [bibtex]
[23] 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]
[22] 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]
[21] 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]
[20] 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]
[19] 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]
[18] 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]
[17] Nouha Baccour, Heni Kaaniche, Mohamed Chtourou, Maher Ben Jemaa, F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In International Multi-Conference on Systems, Signals and Devices (SSD 2007), 2007. [bibtex]
[16] 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]
[15] 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]
[14] 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]
[13] 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]
[12] Fakhreddine Ghaffari, Michel Auguin, Mohamed Abid, Maher Ben Jemaa, Dynamic and On-line Design Space Explora¬tion for Reconfigurable Architecture, In Transactions on HiPEAC I, Lecture Notes in Computer Sciences 4050, 2007. [bibtex]
[11] Ikram Smaoui, Maher Ben Jemaa, Anis Koubaa, QOS-PCF: an enhanced mechanism of PCF for QOS support in IEEE 802.11 wireless LANS, In IASTED European Conference on Proceedings of the IASTED European Conference: internet and multimedia systems and applications, 2007. [bibtex]
[10] 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]
[9] 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]
[8] Luaî Jaff, Gerard H. E. Duchamp, Hatem Hadj Kacem, Cyrille Bertelle, Moderate Growth Time Series Dynamic Combinatorics Modelisation, In International Conference on Economics, Law and Management ICELM2, 2007. [bibtex]
[7] 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]
[6] 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]
[5] Kaouthar Fakhfakh, Hamamache Kheddouci, Hamida Seba, Outils pour le passage à l’échelle dans la composition des protocoles métier, In , volume 0, 2007. [bibtex]
[4] Mohamed Abid, Ahmed Hadj Kacem, Mohamed Jmaiel, Mongi Lahiani, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2007. [bibtex]
[3] 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]
[2] Riadh Ben Halima, Khalil Drira, Karim Guennoun, Francisco Jose Moo-Mena, Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 1, Technical report, , 2007. (Projet IST WS-DIAMOND N°516933) [bibtex]
[1] Amin Ben Abdallah, Omar Cheikhrouhou, Maryline LaurentMaknavicius, Hakima Chaouchi, Maher Ben Jemaa, Architecture de sécurité dans un réseau mesh multi sauts, In 8ème Colloque Francophone de Gestion de REseaux et de Services, (GRES2007), 2007. [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

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