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


Books
2023
[25] Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022, (Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel, eds.), CEUR-WS.org, volume 3333, 2023. [bibtex] [pdf]
2022
[24] Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2022. [bibtex] [pdf]
[23] Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, (Bo Luo, Mohamed Mosbah, Frédéric Cuppens, Lotfi Ben Othmane, Nora Cuppens, Slim Kallel, eds.), Springer, volume 13204, 2022. [bibtex] [pdf] [doi]
2021
[22] Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, Hammamet, Tunisie, 29-30 octobre 2019, (Ismael Bouassida Rodriguez, Abdelhak-Djamel Seriai, eds.), Éditions RNTI, volume L-9, 2021. [bibtex] [pdf]
2020
[21] Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel, The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24--26, 2020, Proceedings, Springer Nature, 2020. [bibtex]
[20]Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, (Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem, eds.), Springer, volume 12026, 2020. [bibtex] [doi]
2019
[19] Service-Oriented Computing - 17th International Conference, ICSOC Toulouse, France, October 28-31, 2019, Proceedings, (Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari, eds.), Springer, volume 11895, 2019. [bibtex] [pdf] [doi]
2017
[18] Monia Ben Brahim, Tarak Chaari, Mohamed Jmaiel, Modélisation et alignement des politiques de sécurité des Services Web: Approche sémantique basée sur le standard WS-SecurityPolicy, Editions universitaires europ ennes, 2017. [bibtex]
2016
[17] Carl K Chang, Lorenzo Chiari, Yu Cao, Hai Jin, Mounir Mokhtari, Hamdi Aloulou, Proceedings of the 14th International Conference on Inclusive Smart Cities and Digital Health-Volume 9677, Springer-Verlag, 2016. [bibtex]
[16]Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, (Mohamed Hadj Kacem, Ismael Bouassida Rodriguez, Ernesto Exposito, eds.), Hermann-Éditions, volume L-8, 2016. [bibtex]
[15] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Special issue Editorial: New technologies of distributed systems, volume 28, 2016. [bibtex] [doi]
2015
[14] Wajdi Elleuch, Mobilit Des Sessions Dans Les Communications Multim dias Etude se ma Mobilit ses Sessions bas es sur le Protocole SIP avant, durant et apr s l' tablissement des communications., 2015. [bibtex]
[13] Antoine Geissbühler, Jacques Demongeot, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Inclusive Smart Cities and E-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings, Springer, 2015. [bibtex]
[12] Hatem Hadj-Kacem, Riadh Ben Halima, Special issue: provisioning and management of cloud computing services, International Journal of Cloud Computing, volume 4, 2015. [bibtex]
2013
[11] Sumitra Reddy, Mohamed Jmaiel, Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex]
[10] 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]
[9] Nouha Baccour, Anis Koubâa, Carlo Alberto Boano, Luca Mottola, Hossein Fotouhi, Mário Alves, Habib Youssef, Marco Antonio Zúñiga, Daniele Puccinelli, Thiemo Voigt, Kay Römer, Claro Noda, Radio Link Quality Estimation in Low-Power Wireless Networks, Springer, 2013. [bibtex]
2010
[8] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), IEEE, 2010. [bibtex]
2009
[7] Tarak Chaari, Mohamed Zouari, Frédérique Laforest, Ontology Based Context-Aware Adaptation Approach, 2009. [bibtex]
[6] Khalil Drira, Ahmed Hadj Kacem, Special Issue: The International Conference on Risks and Security of Internet And Systems, International Journal of Information and Computer Security, InderScience Publisher, volume 3/4, 2009. [bibtex]
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
2021
[14] Ghaida Albakri, Rahma Bouaziz, A Scoping Review of the Literature on the Current Mental Health Status of Developers, Chapter in , Springer International Publishing, 2021. [bibtex] [doi]
2020
[13] Moez Krichen, Mariam Lahami, Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities, Chapter in Smart Infrastructure and Applications, Springer, Cham, 2020. [bibtex]
[12] Moez Krichen, Mariam Lahami, Omar Cheikhrouhou, Roobaea Alroobaea, Afef Jmal Maâlej, Security Testing of Internet of Things for Smart City Applications: A Formal Approach, Chapter in Smart Infrastructure and Applications, Springer, Cham, 2020. [bibtex]
2018
[11] Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel, Composite Event Handling over a Distributed Event-Based System, Chapter in (Roger Lee, ed.), Springer International Publishing, 2018. [bibtex] [doi]
2014
[10] 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]
[9] Emna Mezghani, Riadh Ben Halima, Khalil Drira, DRAAS: Dynamically Reconfigurable Architecture for Autonomic Services., Chapter in (Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, eds.), Springer, 2014. [bibtex] [doi]
[8] Maissa Ben Jamâa, Anis Koubâa, Nouha Baccour, Yasir Kayani, Khaled Al-Shalfan, Mohamed Jmaiel, EasyLoc: Plug-and-Play RSS-Based Localization in Wireless Sensor Networks, Chapter in (Anis Koubâa, Abdelmajid Khelil, eds.), Springer Berlin Heidelberg, volume 507, 2014. [bibtex] [doi]
2013
[7] Laurent Pautet, Bechir Zalila, Modélisation et analyse de systèmes embarqués, Chapter in Génération de code partir du modèle (Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, eds.), Hermes Science, 2013. [bibtex]
[6] Laurent Pautet, Bechir Zalila, Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Chapter in Model-Based Code Generation (Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, eds.), Wiley-ISTE, 2013. [bibtex]
2012
[5] Ismael Bouassida Rodriguez, Riadh Ben Halima, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures, Chapter in Business System Management and Engineering - From Open Issues to Applications [partially an outcome of the International Workshop on Business System Management and Engineering (BSME), Springer, volume 7350, 2012. [bibtex] [doi]
2011
[4] Clifton Phua, Patrice Claude Roy, Hamdi Aloulou, Jit Biswas, Andrei Tolstikov, Victor Siang-Fook Foo, Weimin Huang, Mohamed Ali Feki, Jayachandran Maniyeri, Alvin Kok-Weng Chu, others, State-of-the-art assistive technology for people with dementia, Chapter in Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives, IGI Global, 2011. [bibtex]
[3] 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]
[2] Jerome Lacouture, Ismael Bouassida Rodriguez, Jean-Paul Arcangeli, Christophe Chassot, Thierry Desprats, Khalil Drira, Francisco Garijo, Victor Noel, Michelle Sibilla, Catherine Tessier, Mission-aware adaptive communication for collaborative mobile entities, Chapter in , IGI Global, 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
2023
[249] Mariem Turki, Saoussen Cheikhrouhou, Bouthaina DAMMAK, Mouna Baklouti, Rawya Mars, Afef Dhahbi, NFT-IoT Pharma Chain: IoT Drug traceability system based on Blockchain and Non Fungible Tokens (NFTs), In Journal of King Saud University-Computer and Information Sciences, Elsevier, 2023. [bibtex]
[248] Houssem Aloulou, Hamdi Aloulou, Bassam Abdulrazak, Ahmad Hadj Kacem, Personalized, Context-Aware, and Adaptable Persuasive Approach for Encouraging Physical Activity among Older Adults, In Entertainment Computing, Elsevier, 2023. [bibtex]
[247] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Introduction to the special issue on new trends in autonomous systems engineering, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi]
[246] Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem, MAPE-K patterns for self-adaptation in cyber-physical systems, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi]
[245] Sahar Ghrab, Imene Lahyani, Sami Yangui, Mohamed Jmaiel, A core IoT ontology for automation support in edge computing, In Serv. Oriented Comput. Appl., volume 17, 2023. [bibtex] [pdf] [doi]
[244] Nesrine Khabou, Ismael Bouassida Rodriguez, Khalil Drira, Paris Avgeriou, David C. Shepherd, Wing-Kwong Chan, Raffaela Mirandola, Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications, In J. Syst. Softw., volume 195, 2023. [bibtex] [pdf] [doi]
[243] Mariam Chaabane, Ismael Bouassida Rodriguez, Hamida Belkhiria, UML design for access control architecture in smart building application, In Concurr. Comput. Pract. Exp., volume 35, 2023. [bibtex] [pdf] [doi]
2022
[242] Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel, EPMA: Elastic Platform for Microservices-based Applications: Towards Optimal Resource Elasticity, In Journal of Grid Computing, Springer Science and Business Media LLC, volume 20, 2022. [bibtex] [pdf] [doi]
[241] Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Zahir Tari, Mohamed Jmaiel, A Smart Contract-Based Access Control Framework For Smart Healthcare Systems, In The Computer Journal, 2022. (bxac183) [bibtex] [pdf] [doi]
[240] Najla Fattouch, Imen Ben Lahmar, Mouna Rekik, Khouloud Boukadi, Decision-Making Approach for an IoRT-Aware Business Process Outsourcing, In Digital, MDPI, volume 2, 2022. [bibtex]
[239] Fairouz Fakhfakh, Saoussen Cheikhrouhou, Bouthaina Dammak, Monia Hamdi, Mouna Rekik, Multi-objective approach for scheduling time-aware business processes in cloud-fog environment, In The Journal of Supercomputing, Springer, 2022. [bibtex]
[238] Bouthaina Dammak, Mariem Turki, Saoussen Cheikhrouhou, Mouna Baklouti, Rawya Mars, Afef Dhahbi, Lorachaincare: An iot architecture integrating blockchain and lora network for personal health care data monitoring, In Sensors, MDPI, volume 22, 2022. [bibtex]
[237] Hassan M Ahmed, Bessam Abdulrazak, F Guillaume Blanchet, Hamdi Aloulou, Mounir Mokhtari, Long Gaps Missing IoT Sensors Time Series Data Imputation: A Bayesian Gaussian Approach, In IEEE Access, IEEE, volume 10, 2022. [bibtex]
[236] Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem, A model transformation approach for multiscale modeling of software architectures applied to smart cities, In Concurrency and Computation: Practice and Experience, volume 34, 2022. [bibtex] [pdf] [doi]
[235] Mohamed Amine Haddar, SEALEA: Scalable and Energy Aware k-Leaders Election Algorithm in IoT Wireless Sensor Networks, In Wirel. Pers. Commun., volume 125, 2022. [bibtex] [pdf] [doi]
[234] Chékra El Fehri, Nouha Baccour, Inès Kammoun, Performance evaluation of the Over-The-Air activation procedure in a large scale LoRaWAN, In Wireless Networks, volume 28, 2022. [bibtex] [pdf] [doi]
[233] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modeling Autonomic Systems: Review, Classification, and Research Challenges, In International Journal of Software Innovation (IJSI), volume 10, 2022. [bibtex] [pdf]
[232] Saoussen Cheikhrouhou, Zakaria Maamar, Rawya Mars, Slim Kallel, A time interval-based approach for business process fragmentation over cloud and edge resources, In Serv. Oriented Comput. Appl., volume 16, 2022. [bibtex] [pdf] [doi]
[231] Maximilian Weber, Ghofrane Fersi, Robert Fromm, Faouzi Derbel, Wake-Up Receiver-Based Routing for Clustered Multihop Wireless Sensor Networks, In Sensors, volume 22, 2022. [bibtex] [pdf] [doi]
[230] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Cybersecurity attacks on CAN bus based vehicles: a review and open challenges, In Libr. Hi Tech, volume 40, 2022. [bibtex] [pdf] [doi]
[229] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems, In Innov. Syst. Softw. Eng., volume 18, 2022. [bibtex] [pdf] [doi]
[228] Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul, Model-Driven Simulation of Elastic OCCI Cloud Resources, In Comput. J., volume 65, 2022. [bibtex] [pdf] [doi]
[227] Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates, In Software: Practice and Experience, volume 52, 2022. [bibtex] [pdf] [doi]
[226] Abir Affes, Afef Mdhaffar, Chahnez Triki, Mohamed Jmaiel, Bernd Freisleben, Personalized attention-based EEG channel selection for epileptic seizure prediction, In Expert Systems with Applications, volume 206, 2022. [bibtex] [pdf] [doi]
2021
[225] Amal Gassara, Ismael Bouassida Rodriguez, Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario, In J. Inf. Secur. Appl., volume 58, 2021. [bibtex] [pdf] [doi]
[224] Seifeddine Mechti Roobaea Alroobaea Elyes Said Parminder Singh Osamah Ibrahim Khalaf Mehedi Masud Moez Krichen, A Formal Testing Model for Operating Room Control System Using Internet of Things, In Computers, Materials & Continua, volume 66, 2021. [bibtex] [pdf] [doi]
[223] Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul, Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [doi]
[222] Hamdi Aloulou, Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Slim Kallel, Guest editorial: Selected papers from the International Conference on Smart Living and Public Health, In IET Smart Cities, volume 3, 2021. [bibtex]
[221] Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem, MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Software, volume 15, 2021. [bibtex] [pdf] [doi]
[220] Amir Guidara, Ghofrane Fersi, Maher Ben Jemaa, Faouzi Derbel, A new deep learning-based distance and position estimation model for range-based indoor localization systems, In Ad Hoc Networks, volume 114, 2021. [bibtex] [pdf] [doi]
[219] Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul, Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [pdf] [doi]
[218] Mariam Lahami, Moez Krichen, A survey on runtime testing of dynamically adaptable and distributed systems, In Softw. Qual. J., volume 29, 2021. [bibtex] [pdf] [doi]
[217] Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul, A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi]
[216] Fairouz Fakhfakh, Slim Kallel, Saoussen Cheikhrouhou, Formal Verification of Cloud and Fog Systems: A Review and Research Challenges, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi]
[215] Slim Kallel, Frédéric Cuppens, Nora Boulahia-Cuppens, Ahmed Hadj Kacem, Lotfi Ben Othmane, Special issue on risk and security of smart systems, In J. Inf. Secur. Appl., volume 61, 2021. [bibtex] [pdf] [doi]
[214] Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem, MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems, In IET Softw., volume 15, 2021. [bibtex] [pdf] [doi]
[213] Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, Walid Gaaloul, Thar Baker, Restriction-based fragmentation of business processes over the cloud, In Concurr. Comput. Pract. Exp., volume 33, 2021. [bibtex] [pdf] [doi]
[212] Ghofrane Fersi, Fog computing and Internet of Things in one building block: a survey and an overview of interacting technologies, In Clust. Comput., volume 24, 2021. [bibtex] [pdf] [doi]
2020
[211] Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel, Tom Guerout, Docker-C2A : Cost-Aware Autoscaler of Docker Containers for Microservices-based Applications, In Advances in Science, Technology and Engineering Systems Journal, ASTES Journal, volume 5, 2020. [bibtex] [pdf] [doi]
[210] Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel, A formal approach to AADL model-based software engineering, In International Journal on Software Tools for Technology Transfer, volume 22, 2020. [bibtex] [doi]
[209] Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel, Towards a Formal Specification for an AADL Behavioural Subset Using the LNT Language, In International Journal of Business and Systems Research, volume 14, 2020. [bibtex] [doi]
[208] Hamaad Rafique, Roobaea Alroobaea, Bilal Ahmed Munawar, Moez Krichen, Saeed Rubaiee, Ali Kashif Bashir, Do digital students show an inclination toward continuous use of academic library applications? A case study, In The Journal of Academic Librarianship, Elsevier, 2020. [bibtex]
[207] Nabila Mansouri, Hana Bougueddima, Yousra Ben Jemaa, Efficient Depth Features for Age-Group Classification, In International Journal Of Science and Technoledge, volume 8, 2020. [bibtex] [doi]
[206] Seifeddine Mechti, Moez Krichen, Dhouha Ben Noureddine, Lamia H Belguith, A decision system for computational authors profiling: From machine learning to deep learning, In Concurrency and Computation: Practice and Experience, Wiley Online Library, 2020. [bibtex]
[205] Abir Masmoudi, Hatem Bellaaj, Khalil Drira, Mohamed Jmaiel, A co-training-based approach for the hierarchical multi-label classification of research papers, In Expert Systems, Wiley Online Library, 2020. [bibtex]
[204] Ibtihel Ben Ltaifa, Lobna Hlaoua, Lotfi Ben Romdhane, Hybrid Deep Neural Network-Based Text Representation Model to Improve Microblog Retrieval, In Cybernetics and Systems, Taylor & Francis, volume 51, 2020. [bibtex]
[203] Omar Houidi, Oussama Soualah, Wajdi Louati, Djamal Zeghlache, Dynamic VNF Forwarding Graph Extension Algorithms, In IEEE Transactions on Network and Service Management, IEEE, 2020. [bibtex]
[202] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Modeling and proving distributed algorithms for dynamic graphs, In Future Generation Computer Systems, Elsevier, 2020. [bibtex]
[201] Hamdi Aloulou, Mounir Mokhtari, Bessam Abdulrazak, Pilot Site Deployment of an IoT Solution for Older Adults’ Early Behavior Change Detection, In Sensors, Multidisciplinary Digital Publishing Institute, volume 20, 2020. [bibtex]
[200] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, Extension and adaptation of an aspect oriented programming language for real-time systems, In International Journal of Business and Systems Research (IJBSR), volume 14, 2020. [bibtex] [pdf] [doi]
[199] Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Brahim Aghezzaf, Abdeltif Elbyed, A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems, In Distributed Parallel Databases, volume 38, 2020. [bibtex] [pdf] [doi]
[198] Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel, Toward a correct and optimal time-aware cloud resource allocation to business processes, In Future Gener. Comput. Syst., volume 112, 2020. [bibtex] [doi]
[197] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Ensuring the correctness of adaptive business processes: a systematic literature review, In IJCAT, volume 62, 2020. [bibtex] [pdf] [doi]
[196] Dorsaf Zekri, Thierry Delot, Marie Thilliez, Sylvain Lecomte, Mikael Desertot, A Framework for Detecting and Analyzing Behavior Changes of Elderly People over Time Using Learning Techniques, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi]
[195] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment, In J. Network Syst. Manage., volume 28, 2020. [bibtex] [pdf] [doi]
[194] Nabila Mansouri, Automatic Age Estimation: a survey, In Journal Computación y Sistemas, volume 24, 2020. [bibtex] [pdf]
[193] Fatma Masmoudi, Zakaria Maamar, Mohamed Sellami, Ali Ismail Awad, Vanilson Arruda Burégio, A Guiding Framework for Vetting the Internet of Things, In J. Inf. Secur. Appl., volume 55, 2020. [bibtex] [doi]
[192] Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Mohamed Jmaiel, Time-aware selection approach for service composition based on pruning and improvement techniques, In Softw. Qual. J., volume 28, 2020. [bibtex] [pdf] [doi]
[191] Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem, A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi]
[190] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Vehicle Platooning Systems: Review, Classification and Validation Strategies, In Int. J. Networked Distributed Comput., volume 8, 2020. [bibtex] [pdf] [doi]
[189] Khalil Drira, Mohamed Jmaiel, New trends in adaptive smart systems, services, and architectures, In Concurr. Comput. Pract. Exp., volume 32, 2020. [bibtex] [pdf] [doi]
[188] Rateb Jabbar, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui, Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi]
[187] Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Abdeltif El byed, Ismail Assayad, DHPV: a distributed algorithm for large-scale graph partitioning, In J. Big Data, volume 7, 2020. [bibtex] [pdf] [doi]
[186] Saoussen Cheikhrouhou, Slim Kallel, Ikbel Guidara, Zakaria Maamar, Business process specification, verification, and deployment in a mono-cloud, multi-edge context, In Comput. Sci. Inf. Syst., volume 17, 2020. [bibtex] [doi]
[185] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Syst. J. Knowl. Eng., volume 37, 2020. [bibtex] [pdf] [doi]
[184] Salma Daoud, Affef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben, Q-Rank: Reinforcement Learning for Recommending Algorithms to Predict Drug Sensitivity to Cancer Therapy, In IEEE Journal of Biomedical and Health Informatics, volume 24, 2020. [bibtex] [doi]
2019
[183] Tesnim Mekki, Issam Jabri, Abderrezak Rachedi, Maher Ben Jemaa, Vehicular cloud networking: evolutionary game with reinforcement learning-based access approach, In International Journal of Bio-Inspired Computation, Inderscience Publishers (IEL), volume 13, 2019. [bibtex]
[182] Mariam Lahami, Moez Krichen, Roobaea Alroobaea, TEPaaS: test execution platform as-a-service applied in the context of e-health, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers (IEL), volume 12, 2019. [bibtex]
[181] Moez Krichen, Improving formal verification and testing techniques for internet of things and smart cities, In Mobile Networks and Applications, Springer, 2019. [bibtex]
[180] Issam Jabri, Tesnim Mekki, Abderrezak Rachedi, Maher Ben Jemaa, Vehicular fog gateways selection on the internet of vehicles: A fuzzy logic with ant colony optimization based approach, In Ad Hoc Networks, Elsevier, volume 91, 2019. [bibtex]
[179] Ben Ltaifa Ibtihel, Hlaoua Lobna, Ben Romdhane Lotfi, A Deep Learning-based Ranking Approach for Microblog Retrieval, In Procedia Computer Science, Elsevier, volume 159, 2019. [bibtex]
[178] Amir Guidara, Faouzi Derbel, Ghofrane Fersi, Sadok Bdiri, Maher Ben Jemaa, Energy-efficient on-demand indoor localization platform based on wireless sensor networks using low power wake up receiver, In Ad Hoc Networks, Elsevier, volume 93, 2019. [bibtex]
[177] Ghofrane Fersi, Maher Ben Jemaa, An analytical study of the main characteristics of Cluster-based Energy-aware Virtual Ring Routing (CLEVER): Number of clusters, number of hops and cluster diameter, In Peer-to-Peer Networking and Applications, Springer US, volume 12, 2019. [bibtex]
[176] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks, In Computación y Sistemas, volume 23, 2019. [bibtex]
[175] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Systems, volume , 2019. [bibtex] [doi]
[174] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, An overview of a novel analysis approach for enhancing context awareness in smart environments, In Information and Software Technology, volume 111, 2019. [bibtex] [pdf] [doi]
[173] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Feature models as service contracts in service oriented architecture, In International Journal of Services Technology and Management, volume 25, 2019. [bibtex] [pdf] [doi]
[172] Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem, Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019. [bibtex] [doi]
[171] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira, Executing bigraphical reactive systems, In Discrete Applied Mathematics, volume 253, 2019. [bibtex] [doi]
[170] Mariam Chaabane, Ismael Bouassida Rodriguez, Ricardo Colomo Palacios, Walid Gaaloul, Mohamed Jmaiel, A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric, In Sci. Comput. Program., volume 184, 2019. [bibtex] [doi]
2018
[169] Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel, Multi-objective design exploration approach for Ravenscar real-time systems, In Real-Time Systems, volume 54, 2018. [bibtex] [doi]
[168] Abdennaceur Ghandri, Yassine Boujelben, Maher Ben Jemaa, Adaptive MBSFN subframe allocation scheme for VBR video streaming over LTE-A networks, In Transactions on Emerging Telecommunications Technologies, Wiley Online Library, 2018. [bibtex]
[167] Adel Mahfoudh, Hedia Zardi, Mohamed Amine Haddar, Detection of dynamic and overlapping communities in social networks, In Int. J. Appl. Eng. Res, volume 13, 2018. [bibtex]
[166] Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony, Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex]
[165] Firas Kaddachi, Hamdi Aloulou, Bessam Abdulrazak, Philippe Fraisse, Mounir Mokhtari, Long-term behavior change detection approach through objective technological observations toward better adaptation of services for elderly people, In Health and Technology, Springer Berlin Heidelberg, volume 8, 2018. [bibtex]
[164] Ben Ltaifa Ibtihel, Hlaoua Lobna, Ben Jemaa Maher, A Semantic Approach for Tweet Categorization, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex]
[163] Amir Guidara, Ghofrane Fersi, Faouzi Derbel, Maher Ben Jemaa, Impacts of Temperature and Humidity variations on RSSI in indoor Wireless Sensor Networks, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex]
[162] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Exact and heuristic MapReduce scheduling algorithms for cloud federation, In Computers & Electrical Engineering, Pergamon, volume 69, 2018. [bibtex]
[161] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns, In International Journal of Computer Applications in Technology, volume 57, 2018. [bibtex] [doi]
[160] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira, A performance analysis of Orchestra scheduling for time-slotted channel hopping networks, In Internet Technology Letters, 2018. [bibtex]
[159] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira, Luigi Alfredo Grieco, Autonomous and traffic-aware scheduling for TSCH networks, In Computer Networks, volume 135, 2018. [bibtex] [doi]
[158] Nabila Mansouri, Eric Watelain, Yousra Ben Jemaa, Cina Motamed, Video-processing-based system for automated pedestrian data collection and analysis when crossing the street, In Journal of Electronic Imaging, volume 27, 2018. [bibtex] [doi]
[157] Moez Krichen, Afef Jmal Maalej, Mariam Lahami, A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBS, volume 8, 2018. [bibtex] [doi]
[156] Mehdi Khouja, Ismael Bouassida Rodriguez, Youssef Ben Halima, Samir Moalla, IT Governance in Higher Education Institutions: A Systematic Literature Review, In IJHCITP, volume 9, 2018. [bibtex] [doi]
[155] Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBSaaa, volume 8, 2018. [bibtex]
[154] Maher Ben Jemaa Ghofrane Fersi, An analytical study of the main characteristics of Cluster-based Energy-aware Virtual Ring Routing (CLEVER): Number of clusters, number of hops and cluster diameter, In Peer-to-Peer Networking and Applications, 2018. [bibtex] [doi]
[153] Farah Bellaaj Elloumi, Mohamed Sellami, Sami Bhiri, Avoiding resource misallocations in business processes, In Concurrency and Computation: Practice and Experience, 2018. [bibtex] [doi]
[152] Hajer Ayadi, Mouna Torjmen Khemakhem, Mariam Daoud, Jimmy Xiangji Huang, Maher Ben Jemaa, MF-Re-Rank: A modality feature-based Re-Ranking model for medical image retrieval, In JASIST, volume 69, 2018. [bibtex] [doi]
[151] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Data accuracy aware mobile healthcare applications, In Computers in Industry, volume 97, 2018. [bibtex] [doi]
[150] Fatma Abdennadher, Maher Ben Jemaa, Performance efficiency of a predictive scheme into publish/subscribe, In Int. J. Commun. Networks Distributed Syst., volume 21, 2018. [bibtex] [pdf] [doi]
[149] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A novel adaptation approach for collaborative ubiquitous applications, In IJAACS, volume 11, 2018. [bibtex] [doi]
2017
[148] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A novel analysis approach for the design and the development of context-aware applications, In Journal of Systems and Software, volume 133, 2017. [bibtex]
[147] Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem, A Multi-scale Modeling Approach for Systems of Systems Architectures, In SIGAPP Applied Computing Review, ACM, volume 17, 2017. [bibtex] [pdf] [doi]
[146] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A context change detection approach for ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, volume 10, 2017. [bibtex]
[145] 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]
[144] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Generating reusable, searchable and executable “architecture constraints as services, In Journal of Systems and Software, Elsevier, volume 127, 2017. [bibtex]
[143] Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel, Privacy in cloud computing environments: a survey and research challenges, In The Journal of Supercomputing, Springer, volume 73, 2017. [bibtex]
[142] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira, A bigraphical multi-scale modeling methodology for system of systems, In Computers & Electrical Engineering, volume 58, 2017. [bibtex] [doi]
[141] Mariano Vargas-Santiago, Saúl E. Pomares Hernández, Luis A. Morales Rosales, Hatem Hadj Kacem, Survey on Web Services Fault Tolerance Approaches Based on Checkpointing Mechanisms, In JSW, volume 12, 2017. [bibtex] [pdf] [doi]
[140] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira, Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms, In Wireless Personal Communications, volume 95, 2017. [bibtex] [doi]
[139] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning, In IJDET, volume 15, 2017. [bibtex] [doi]
[138] Afef Mdhaffar, Ismael Bouassida Rodriguez, Khalil Charfi, Leila Abid, Bernd Freisleben, CEP4HFP: Complex Event Processing for Heart Failure Prediction, In IEEE Transactions on NanoBioscience, volume 16, 2017. [bibtex] [doi]
[137] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem, Accountability management for multi-tenant cloud services, In International Journal of Grid and Utility Computing, volume 8, 2017. [bibtex]
[136] Zakaria Maamar, Noura Faci, Slim Kallel, Mohamed Sellami, Emir Ugljanin, Software Agents meet Internet of Things, In Internet Technology Letters, Willey, volume , 2017. [bibtex] [doi]
[135] Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem, Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents, In IJSSC, volume 7, 2017. [bibtex] [doi]
[134] Ktari Mouna, Haddar Mohamed Amine, Mosbah Mohamed, Hadj Kacem Ahmed, Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations, In RAIRO-Theor. Inf. Appl., volume 51, 2017. [bibtex] [doi]
[133] Slim Kallel, Khalil Drira, Mohamed Jmaiel, Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi]
[132] Ahmed Jemal, Riadh Ben Halima, Hend Ktait, Mohamed Jmaiel, A semantic-based representation and analysis of monitoring data for self-adaptive systems, In Int. J. Auton. Comp., volume 2, 2017. [bibtex] [doi]
[131] Nabila Mansouri, Mouhammed Aouled Issa, Yousra Ben Jemaal, Gait features fusion for efficient automatic age classificationl, In IET Computer vision, 2017. [bibtex] [doi]
[130] Nabila Mansouri, Mouhammed Aouled Issa, Yousra Ben Jemaal, Gait-based human age classification using a silhouette model, In IET Biometrics, 2017. [bibtex] [doi]
[129] Amal Gassara, Ismael Bouassida Rodriguez, Describing correct deployment architectures based on a bigraphical multi-scale modeling approach, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi]
[128] Emna Fki, Saïd Tazi, Khalil Drira, Automated and flexible composition based on abstract services for a better adaptation to user intentions, In Future Gener. Comput. Syst., volume 68, 2017. [bibtex] [pdf] [doi]
[127] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dealing with structural changes on provisioning resources for deadline-constrained workflow, In J. Supercomput., volume 73, 2017. [bibtex] [pdf] [doi]
[126] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, volume 68, 2017. [bibtex]
[125] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem, Proving Distributed Coloring of Forests in Dynamic Networks, In Computación y Sistemas, volume 21, 2017. [bibtex] [pdf] [doi]
[124] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, Reactive Performance Monitoring of Cloud Computing Environments, In Cluster Computing, volume 20, 2017. [bibtex]
[123] Nicoletta Dessì, Mariagrazia Fugini, Ismael Bouassida Rodriguez, Usman Wajid, Special issue on advanced technologies enabling adaptive and collaborative smart systems, In Future Generation Computer Systems, 2017. [bibtex]
[122] 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 JASIST, volume 68, 2017. [bibtex]
[121] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A Design Guideline for Adaptation Decisions in the Autonomic Loop, In Procedia Computer Science, volume 112, 2017. (Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference, KES-20176-8 September 2017, Marseille, France) [bibtex] [doi]
[120] Fatma Abdennadher, Maher Ben Jemaa, Towards an Optimized Scheme for Mobile Subscribers Based on Cloud Computing, In Procedia Computer Science, volume 112, 2017. [bibtex] [doi]
[119] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, An Evaluative Review and Research Challenges of the Simulation in Cloud Environment, In Int. J. Softw. Innov., volume 5, 2017. [bibtex] [pdf] [doi]
[118] Tesnim Mekki, Issam Jabri, Abderrezak Rachedi, Maher ben Jemaa, Vehicular cloud networks: Challenges, architectures, and future directions, In Vehicular Communications, Elsevier, volume 9, 2017. [bibtex]
2016
[117] 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]
[116] 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]
[115] 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]
[114] 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]
[113] 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, IJAACS, Inderscience Publishers, volume (3/4), 2016. [bibtex]
[112] 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] [doi]
[111] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [doi]
[110] 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]
[109] 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] [doi]
[108] 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]
[107] Slim Kallel, Ismail Bouassida Rodriguez, Khalil Drira, Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex]
[106] 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]
[105] 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]
[104] 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]
[103] 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]
[102] Ghofrane Fersi, A Distributed and Flexible Architecture for Internet of Things, In Procedia Computer Science, 2016. [bibtex] [doi]
[101] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [doi]
[100] 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]
[99] 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]
[98] 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]
[97] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, SoLDES: Service-oriented Lexical Database Exploitation System, In Research in Computing Science, volume 109, 2016. [bibtex]
2015
[96] Hamdi Aloulou, Mounir Mokhtari, Thibaut Tiberghien, Romain Endelin, Jit Biswas, Uncertainty handling in semantic reasoning for accurate context understanding, In Knowledge-Based Systems, Elsevier, volume 77, 2015. [bibtex]
[95] Sofien Khemakhem, Semantic web service discovery in a mobile environment, In International Journal of Internet Manufacturing and Services, volume 4, 2015. [bibtex] [doi]
[94] 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] [doi]
[93] Afef Jmal Maâlej, Moez Krichen, Study on the Limitations of WS-BPEL Compositions Under Load Conditions, In Comput. J., volume 58, 2015. [bibtex] [doi]
[92] 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]
[91] 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] [doi]
[90] 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] [doi]
[89] 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]
[88] 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]
[87] 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]
[86] Slim Kallel, Mohamed Jmaiel, Sumitra Reddy, Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [doi]
[85] 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] [doi]
[84] Ghofrane Fersi, Middleware for Internet of Things: a study, In , IEEE, 2015. [bibtex] [doi]
[83] 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] [doi]
[82] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A refinement-based approach for building valid SOA design patterns, In IJCC, volume 4, 2015. [bibtex] [doi]
[81] Nouha Baccour, Anis Koubâa, Habib Youssef, Mário Alves, Reliable link quality estimation in low-power wireless networks and its impact on tree-routing, In Ad Hoc Networks, volume 27, 2015. [bibtex] [pdf] [doi]
[80] 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] [doi]
[79] Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen, A game approach to determinize timed automata, In Formal Methods in System Design, volume 46, 2015. [bibtex] [doi]
2014
[78] 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]
[77] 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]
[76] 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]
[75] 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]
[74] 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]
[73] 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]
[72] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, A New Annotation System based on a Semantic Analysis of Learnerís Annotative Activity to Invoke Web Services, In International Journal of Metadata, Semantics and Ontologies, Inderscience, volume 9, 2014. [bibtex] [doi]
2013
[71] 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]
[70] 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]
[69] 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]
[68] Hamdi Aloulou, Mounir Mokhtari, Thibaut Tiberghien, Jit Biswas, Clifton Phua, Jin Hong Kenneth Lin, Philip Yap, Deployment of assistive living technology in a nursing home environment: methods and lessons learned, In BMC Medical Informatics and Decision Making, BioMed Central, volume 13, 2013. [bibtex]
[67] Hamdi Aloulou, Mounir Mokhtari, Thibaut Tiberghien, Jit Biswas, Philip Yap, An adaptable and flexible framework for assistive living of cognitively impaired people, In IEEE journal of biomedical and health informatics, IEEE, volume 18, 2013. [bibtex]
[66] 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]
[65] 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]
[64] 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]
[63] 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]
[62] 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]
[61] 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]
[60] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi]
[59] 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]
[58] 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]
[57] 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]
[56] 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]
[55] 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]
[54] 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]
[53] 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]
[52] 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
[51] 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]
[50] Mounir Mokhtari, Hamdi Aloulou, Thibaut Tiberghien, Jit Biswas, Daniel Racoceanu, Philip Yap, New trends to support independence in persons with mild dementia--a mini-review, In Gerontology, Karger Publishers, volume 58, 2012. [bibtex]
[49] Moez Krichen, A formal framework for black-box conformance testing of distributed real-time systems, In IJCCBS, volume 3, 2012. [bibtex] [doi]
[48] 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]
[47] 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]
[46] 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]
[45] 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]
[44] 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
[43] 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]
[42] Soumaya Ghorbel, Maher Ben Jemaa, Mohamed Chtourou, Object-based Video compression using neural networks, In , 2011. [bibtex]
[41] 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]
[40] Jit Biswas, Aung Aung Phyo Wai, Andrei Tolstikov, Lin Jin Hong Kenneth, Jayachandran Maniyeri, Foo Siang Fook Victor, Alwyn Lee, Clifton Phua, Zhu Jiaqi, Huynh Thai Hoa, others, From context to micro-context--Issues and challenges in sensorizing smart spaces for assistive living, In Procedia Computer Science, Elsevier, volume 5, 2011. [bibtex]
[39] 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
[38] 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]
[37] 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]
[36] 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]
[35] 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]
[34] 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]
[33] 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]
[32] 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]
[31] 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]
[30] 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]
[29] 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
[28] 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]
[27] 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]
[26] 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]
[25] Moez Krichen, Stavros Tripakis, Conformance testing for real-time systems, In Formal Methods in System Design, volume 34, 2009. [bibtex] [doi]
[24] 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]
[23] 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]
[22] 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]
[21] 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]
[20] 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
[19] 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]
[18] 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]
[17] 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]
[16] 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]
2007
[15] 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]
[14] 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]
[13] 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]
[12] 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]
[11] 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]
2006
[10] Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel, ForMAAD method: An experimental Design for Air Traffic Control, In International Transactions on Systems Science and Applications, volume 1, 2006. (Electronic Journal) [bibtex]
2005
[9] 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]
[8] 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]
2003
[7] 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]
[6] 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
[5] Kamel Barkaoui, Mohamed Jmaiel, Ali Mili, Guest editorial, In Journal of Systems and Software, volume 60, 2002. [bibtex] [doi]
[4] 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
[3] 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]
1996
[2] 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]
[1] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Abdessalem Mnif, Ahmed Hadj Kacem, A handshake algorithm for scheduling communications in wireless sensor networks, In Concurrency and Computation: Practice and Experience, volume . [bibtex] [doi]
Refereed Conference Papers
2023
[598] Afef Mdhaffar, Bechir Zalila, Racem Moalla, Ayoub Kharrat, Omar Rebai, Mohamed Melek Hsairi, Ahmed Sallemi, Hsouna Kobbi, Amel Kolsi, Dorsaf Chatti, Mohamed Jmaiel, Bernd Freisleben, A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning, In 2022 IEEE/ACS 19th International Conference on Computer Systems and Applications (AICCSA), volume , 2023. [bibtex] [doi]
[597] Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben, A Comparative Study of GAN Methods for Physiological Signal Generation, In Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods - ICPRAM,, SciTePress, 2023. [bibtex] [doi]
[596] Lotfi Souifi., Afef Mdhaffar., Ismael Rodriguez., Mohamed Jmaiel., Bernd Freisleben., InsectDSOT: A Neural Network for Insect Detection in Olive Trees, SciTePress, 2023. [bibtex] [doi]
[595] Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez, Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023 (Slim Kallel, Zakaria Benzadri, Ahmed Hadj Kacem, eds.), CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf]
[594] Yosr Baccari, Nesrine Khabou, Ismael Bouassida Rodriguez, Fault Diagnosis and Prognosis Modeling Methods in Predictive Maintenance: A Systematic Review, In 25th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2023 Summer, Taiyuan, Taiwan, July 5-7, 2023 (Wenai Song, Qiuxiang Yang, Simon Xu, Lizhen Fu, eds.), IEEE, 2023. [bibtex] [pdf] [doi]
[593] Sawssen Briki, Nesrine Khabou, Ismael Bouassida Rodriguez, A Comparative Analysis of Time Series Prediction Techniques a Systematic Literature Review (SLR), In Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings (Mohamed Mosbah, M. Tahar Kechadi, Ladjel Bellatreche, Faïez Gargouri, eds.), Springer, volume 14396, 2023. [bibtex] [pdf] [doi]
[592] Raouia Bouabdallah, Fairouz Fakhfakh, Proposal Generation Process for Ensuring the Negotiation within the Cloud Environment, In 19th International Wireless Communications & Mobile Computing Conference, IWCMC 2023, Marrakesh, Morocco, May 19-23, 2023, IEEE, 2023. [bibtex]
[591] Lotfi Souifi, Afef Mdhaffar, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Bernd Freisleben, InsectDSOT: A Neural Network for Insect Detection in Olive Trees, In Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 2, Lisbon, Portugal, February 22-24, 2023 (Ana Paula Rocha, Luc Steels, H. Jaap van den Herik, eds.), SCITEPRESS, 2023. [bibtex] [pdf] [doi]
[590] Mohamed Krichene, Nesrine Khabou, Ismael Bouassida Rodriguez, Prediction in Smart Environments and Administration: Systematic Literature Review, In Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3 (Leonard Barolli, ed.), Springer, volume 655, 2023. [bibtex] [pdf] [doi]
2022
[589] Nadhem Ben Ameur, Imene Lahyani, Rafika Thabet, Imen Megdiche, Jean-Christophe Steinbach, Elyes Lamine, Predicting Patient's Waiting Times in Emergency Department: A Retrospective Study in the CHIC Hospital Since 2019, In MEDI 2022 - International Conference on Model and Data Engineering, Springer Nature Switzerland, volume 1751, 2022. [bibtex] [pdf] [doi]
[588] Lotfi Souifi, Afef Mdhaffar, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Bernd Freisleben, A Systematic Literature Review on Insect Detection in Images, In 8th International Conference on Signal, Image Processing and Embedded Systems (SIGEM 2022), 2022. [bibtex] [pdf]
[587] Maximilian Weber, Ghofrane Fersi, Faouzi Derbel, Wake-up Receiver based routing protocol for indoor Wireless Sensor Networks, In 2022 18th International Conference on Network and Service Management (CNSM), 2022. [bibtex]
[586] Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem, Annotation Systems in the Medical Domain: A Literature Review, In Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27--30, 2022, Proceedings, 2022. [bibtex]
[585] Rahma Trabelsi, Fersi Ghofrane, Mohamed Jmaiel, Virtual Private Network Blockchain-based Dynamic Access control solution for inter-organisational large scale IoT networks, In 2022 17th International Conference on Risks and Security of Internet and Systems, 2022. [bibtex]
[584] Mouna Rhaiem, Mariam Chaabane, Ismael Bouassida Rodriguez, Air Quality System in Smart City: Systematic Literature Review, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022 (Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel, eds.), CEUR-WS.org, volume 3333, 2022. [bibtex] [pdf]
[583] Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija, Formal Methods for the Verification of Smart Contracts: A Review, In 15th International Conference on Security of Information and Networks, SIN 2022, Sousse, Tunisia, November 11-13, 2022, IEEE, 2022. [bibtex] [pdf] [doi]
[582] Mohamed Khalil Baazaoui, Ilef Ketata, Ghofrane Fersi, Ahmed Fakhfakh, Faouzi Derbel, Implementation of RSSI Module in Omnet++ for Investigation of WSN Simulations based on Real Environmental Conditions, In Proceedings of the 11th International Conference on Sensor Networks, SENSORNETS 2022, Online Streaming, February 7-8, 2022 (Rangarao Venkatesha Prasad, Dirk Pesch, Nirwan Ansari, César Benavente-Peces, eds.), SCITEPRESS, 2022. [bibtex] [pdf] [doi]
[581] Nadhem Ben Ameur, Imene Lahyani, Rafika Thabet, Imen Megdiche, Jean-Christophe Steinbach, Elyes Lamine, Predicting Patient's Waiting Times in Emergency Department: A Retrospective Study in the CHIC Hospital Since 2019, In Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings, Springer, volume 1751, 2022. [bibtex] [pdf] [doi]
[580] Nesrine Ouled Abdallah, Fairouz Fakhfakh, Faten Fakhfakh, Overview of Blockchain-based Seafood Supply Chain Management, In Intelligent Systems Design and Applications - 21th International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held in Delhi, India, December 12-14, 2022 (Ajith Abraham, Pranab Kumar Muhuri, Azah Kamilah Muda, Niketa Gandhi, eds.), Springer, 2022. [bibtex]
[579] Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem, Modeling IoT Design Patterns Proven Correct by Construction, In Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, Springer, volume 13287, 2022. [bibtex] [pdf] [doi]
[578] Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem, Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients, In Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, Springer, volume 13287, 2022. [bibtex] [pdf] [doi]
[577] Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes, In Proceedings of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022, volume 30, 2022. [bibtex] [pdf] [doi]
[576] Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami, A Comprehensive Review of Testing Blockchain Oriented Software, In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25-26, 2022 (Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek, eds.), SCITEPRESS, 2022. [bibtex] [pdf] [doi]
[575] Najla Fattouch, Imen Ben Lahmar, Khouloud Boukadi, Towards A Meta-Modeling Approach For An IoRT-Aware Business Process, In Proceedings of the 36th ECMS International Conference on Modelling and Simulation, ECMS 2022, Ålesund, Norway, May 30 - June 3, 2022 (Ibrahim A. Hameed, Agus Hasan, Saleh Abdel-Afou Alaliyat, eds.), European Council for Modeling and Simulation, 2022. [bibtex] [pdf] [doi]
[574] Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier, Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum, In 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022, IEEE, 2022. [bibtex] [pdf] [doi]
[573] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Limitations of static autonomous scheduling for TSCH protocol and advances in adaptive scheduling, In 12th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2022, Las Vegas, NV, USA, January 26-29, 2022, IEEE, 2022. [bibtex] [pdf] [doi]
[572] Amal Mateur, Nesrine Khabou, Ismael Bouassida Rodriguez, How to Automatically Prove a Time Series Convergence to the Gumbel Distribution?, In Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Sydney, NSW, Australia, 13-15 April 2022, Volume 1 (Leonard Barolli, Farookh Hussain, Tomoya Enokido, eds.), Springer, volume 449, 2022. [bibtex] [pdf] [doi]
[571] Chékra El Fehri, Nouha Baccour, Inès Kammoun, The cost of reliable uplink communication in large scale LoRaWAN, In 19th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2022, Abu Dhabi, United Arab Emirates, December 5-8, 2022, IEEE, 2022. [bibtex] [pdf] [doi]
[570] Mariem TURKI, Bouthaina DAMMAK, Rawya Mars, A Private Smart parking solution based on Blockchain and AI, In 2022 15th International Conference on Security of Information and Networks (SIN), volume , 2022. [bibtex] [doi]
[569] Ines Jemal, Mohamed Amine Haddar, Omar Cheikhrouhou, Adel Mahfoudhi, SWAF: A Smart Web Application Firewall Based on Convolutional Neural Network, In 2022 15th International Conference on Security of Information and Networks (SIN), volume , 2022. [bibtex] [doi]
[568] Afef Mdhaffar, Bechir Zalila, Racem Moalla, Ayoub Kharrat, Omar Rebai, Mohamed Melek Hsairi, Ahmed Sallemi, Hsouna Kobbi, Amel Kolsi, Dorsaf Chatti, Mohamed Jmaiel, Bernd Freisleben, A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning, In 2022 IEEE/ACS 19th International Conference on Computer Systems and Applications (AICCSA), 2022. [bibtex] [doi]
[567] Wajdi Elleuch, Speech Quality Evaluation for Large-Scale D2D (Device to Device) VoIP Conference, In Proceedings of the 7th International Conference on Information and Education Innovations, Association for Computing Machinery, 2022. [bibtex] [pdf] [doi]
[566] Nour Neifar, Afef Mdhaffar, Achraf Ben-Hamadou, Mohamed Jmaiel, Bernd Freisleben, Disentangling Temporal and Amplitude Variations in ECG Synthesis Using Anchored GANs, In Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Association for Computing Machinery, 2022. [bibtex] [doi]
2021
[565] Rawya Mars, Jiddou Youssouf, Saoussen Cheikhrouhou, Mariem Turki, Towards a Blockchain-based approach to fight drugs counterfeit., In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, 2021. [bibtex]
[564] Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem, A persuasive system to improve physical activities of older adults., In TACC, 2021. [bibtex]
[563] Mariam Chaabane, Khouloud Zaafouri, Ismael Bouassida Rodriguez, Towards modeling a Service-Oriented application managing a Smart City using UML 2.x, In 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2021, Bayonne, France, October 27-29, 2021, IEEE, 2021. [bibtex] [pdf] [doi]
[562] Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem, A Meta-Modeling Approach to Describe Internet of Things Architectures, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf]
[561] Yosr Sahnoun, Mariam Chaabane, Ismael Bouassida Rodriguez, Social media influence analysis Techniques Systematic Literature Review, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf]
[560] Mohamed Hedi Fourati, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf]
[559] Najla Fattouch, Imen Ben Lahmar, Khouloud Boukadi, A comprehensive architecture for an IoRT-aware Business Process outsourcing into Fog and Cloud computing, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf]
[558] Imen Abdennadher, Ismael Bouassida Rodriguez, Olfa Awled Al Hadj Abdalah, A deployment approach for Smart Building applications, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf]
[557] Souha Ben Hamouda, Wafa Gabsi, Arabic sign Language Recognition: Towards a Dual Way Communication System Between Deaf and Non-Deaf People, In 22nd IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2021, Taichung, Taiwan, November 24-26, 2021, IEEE, 2021. [bibtex] [pdf] [doi]
[556] Houda Amari, Wassef Louati, Lyes Khoukhi, Lamia Hadrich Belguith, Securing Software-Defined Vehicular Network Architecture against DDoS attack, In 46th IEEE Conference on Local Computer Networks, LCN 2021, Edmonton, AB, Canada, October 4-7, 2021, IEEE, 2021. [bibtex] [pdf] [doi]
[555] Khouloud Zaafouri, Mariam Chaabane, Ismael Bouassida Rodriguez, Systematic Literature Review on Service Oriented Architecture Modeling, In Computational Science and Its Applications - ICCSA 2021 - 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part III (Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blecic, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, eds.), Springer, volume 12951, 2021. [bibtex] [pdf] [doi]
[554] Rawya Mars, Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain, In IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021, Madrid, Spain, July 12-16, 2021, IEEE, 2021. [bibtex] [pdf] [doi]
[553] Nesrine Khabou, Ismael Bouassida Rodriguez, Oumayma Jameleddine, Amal Mateur, Gumbel Distribution Adjustment Improvement for Accurate Extreme Values Prediction, In 18th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2021, Tangier, Morocco, November 30 - Dec. 3, 2021, IEEE, 2021. [bibtex] [pdf] [doi]
[552] Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf]
[551] Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel, A Review of Container level Autoscaling for Microservices-based Applications, In 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), volume , 2021. [bibtex] [doi]
[550] Haneen Almurashi, Bushra Sayed, Ma'ab Khalid, Rahma Bouaziz, Smart Expiry Food Tracking System, In Advances on Smart and Soft Computing, Springer Singapore, 2021. [bibtex]
2020
[549] Ines Jemal, Mohamed Amine Haddar, Omar Cheikhrouhou, Adel Mahfoudhi, M-CNN: A New Hybrid Deep Learning Model for Web Security, In 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), IEEE Computer Society, volume , 2020. [bibtex] [pdf] [doi]
[548] Ilhem Khlif, Mohamed Hadj Kacem, Khalil Drira, Ahmed Hadj Kacem, A Tool for Multi-scale Modeling of Software Architectures: Application to the Smart Home for Telemonitoring Elderly People at Home, In Digital Health in Focus of Predictive, Preventive and Personalised Medicine, Springer, volume Chapter 18, 2020. [bibtex] [pdf] [doi]
[547] Sriram Srinivasan, Vinayakumar Ravi, V Sowmya, Moez Krichen, Dhouha Ben Noureddine, Shashank Anivilla, Soman Kp, Deep convolutional neural network based image spam classification, In 2020 6th Conference on Data Science and Machine Learning Applications (CDMA), 2020. [bibtex]
[546] Saeed Mian Qaisar, Moez Krichen, Fatma Jallouli, Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex]
[545] Samir Ouchani, Moez Krichen, Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex]
[544] Tesnim Mekki, Rihab Jmal, Lamia Chaari, Issam Jabri, Abderrezak Rachedi, Vehicular Fog Resource Allocation Scheme: A Multi-Objective Optimization based Approach, In 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC), 2020. [bibtex]
[543] Tesnim Mekki, Issam Jabri, Lamia Chaari, Abderrezak Rachedi, A Survey on Vehicular Fog Computing: Motivation, Architectures, Taxonomy, and Issues, In Workshops of the International Conference on Advanced Information Networking and Applications, 2020. [bibtex]
[542] Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui, A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain, In 2020 International Wireless Communications and Mobile Computing (IWCMC), 2020. [bibtex]
[541] Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui, Driver drowsiness detection model using convolutional neural networks techniques for android application, In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), 2020. [bibtex]
[540] Rateb Jabbar, Noora Fetais, Moez Krichen, Kamel Barkaoui, Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity, In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), 2020. [bibtex]
[539] Amir Guidara, Ghofrane Fersi, Faouzi Derbel, Lookup Service for Fog-based Indoor Localization Platforms using Chord Protocol, In 2020 International Wireless Communications and Mobile Computing (IWCMC), 2020. [bibtex]
[538] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, An Evaluative Review of the Formal Verification for VANET Protocols, In Proceedings of the 12th International Conference on Computational Collective Intelligence (ICCCI), 2020. [bibtex]
[537] Hanin A. Almurashi, Rahma Bouaziz, Augmented Reality and Autism Spectrum Disorder Rehabilitation: Scoping review, In IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Virtual Event, The Netherlands, December 14-18, 2020, IEEE, 2020. [bibtex] [pdf] [doi]
[536] Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem, Personalized and Contextualized Persuasion System for Older Adults? Physical Activity Promoting, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex]
[535] Ines Jemal, Mohamed Amine Haddar, Omar Cheikhrouhou, Adel Mahfoudhi, Malicious Http Request Detection Using Code-Level Convolutional Neural Network, In Risks and Security of Internet and Systems - 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers, Springer, volume 12528, 2020. [bibtex] [pdf] [doi]
[534] Najla Fattouch, Imen Ben Lahmar, Khouloud Boukadi, IoT-aware Business Process: comprehensive survey, discussion and challenges, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, 2020. [bibtex] [pdf] [doi]
[533] Rahma Bouaziz, Gaida AL-Ahmadi, Anhar AL-Lehebi, Walaa AL-Sehil, Shoog AL-Jumadii, ABDA: An Automated Behavioral Disorder Assessment Framework, In Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VI, Springer, volume 12254, 2020. [bibtex] [pdf] [doi]
[532] Dorsaf Zekri, Thierry Delot, Mikael Desertot, Sylvain Lecomte, Marie Thilliez, Using Learning Techniques to Observe Elderly's Behavior Changes over Time in Smart Home, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020 Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi]
[531] Imen Ben Lahmar, Khouloud Boukadi, Resource Allocation in Fog Computing: A Systematic Mapping Study, In Fifth International Conference on Fog and Mobile Edge Computing, FMEC, IEEE, 2020. [bibtex] [pdf] [doi]
[530] Mayara Khadhraoui, Hatem Bellaaj, Mehdi Ben Ammar, Habib Hamam, Mohamed Jmaiel, Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi]
[529] Mohamed Hadj Kacem, Imen Tounsi, Najeh Khalfi, Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi]
[528] Ghofrane Fersi, Study of Middleware for Internet of Healthcare Things and Their Applications, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi]
[527] Khalil Drira, Mohamed Jmaiel, Ismael Bouassida Rodriguez, Nesrine Khabou, Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, IEEE, 2020. [bibtex] [pdf] [doi]
[526] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Formal specification and verification of a broadcasting protocol: a refinement-based approach, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020 (Matteo Cristani, Carlos Toro, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, eds.), Elsevier, volume 176, 2020. [bibtex] [pdf] [doi]
[525] Rim Ben Fekih, Mariam Lahami, Application of Blockchain Technology in Healthcare: A Comprehensive Study, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, 2020. [bibtex] [pdf] [doi]
[524] Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem, Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi]
[523] Hamida Belkhiria, Fairouz Fakhfakh, Ismael Bouassida Rodriguez, Resolving Multi-user Conflicts in a Smart Building using RBAC, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, IEEE, 2020. [bibtex] [pdf] [doi]
[522] Nabila Mansouri, Hana Bougueddima, Yousra Ben Jemaa, Age-group Classification Using 3DHOG Descriptor Applied to Depth Maps, In Proceedings of 35th International Conference on Computers and Their Applications (Gordon Lee, Ying Jin, eds.), EasyChair, volume 69, 2020. [bibtex] [pdf] [doi]
[521] Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract, In SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, Virtual Event, Japan, November 16-19, 2020 (Jin Nakazawa, Polly Huang, eds.), ACM, 2020. [bibtex] [doi]
[520] Fatma Ellouze, Ghofrane Fersi, Mohamed Jmaiel, Blockchain for Internet of Medical Things: A Technical Review, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi]
[519] Rahma Bouaziz, Maimounah Alhejaili, Raneem Al-Saedi, Abrar Mihdhar, Jawaher Alsarrani, Using Marker Based Augmented Reality to teach autistic eating skills, In IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Virtual Event, The Netherlands, December 14-18, 2020, IEEE, 2020. [bibtex] [pdf] [doi]
2019
[518] Nabila Mansouri, Sourour Ammar, YosriKessentini, Improving Person Re-Identification by Combining Siamese Convolutional Neural Network and Re-Ranking Process, In 2019 16th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), volume , 2019. [bibtex] [doi]
[517] Mounir Mokhtari, Antoine de Marassé, Martin Kodys, Hamdi Aloulou, Cities for All Ages: Singapore Use Case, In International Conference on Human-Computer Interaction, 2019. [bibtex]
[516] Moez Krichen, Roobaea Alroobaea, Towards Optimizing the Placement of Security Testing Components for Internet of Things Architectures, In 2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA), 2019. [bibtex]
[515] Moez Krichen, Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains, In International Colloquium on Theoretical Aspects of Computing, 2019. [bibtex]
[514] Amal Gassara, Ismael Bouassida Rodriguez, A Graph Based Model for UAVs Group-Wide Collaboration Applied on an Anti-terrorism Scenario, In 14th International Conference on Risks and Security of Internet and Systems, Springer, volume 12026, 2019. [bibtex] [pdf] [doi]
[513] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, An Evaluative Review of the Formal Verification for VANET Protocols, In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), 2019. [bibtex]
[512] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, A Comprehensive Survey on Broadcasting Emergency Messages, In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), 2019. [bibtex]
[511] Mohamed Sellami, Hatem Hadj Kacem, Anderson Santana de Oliveira, Track Report of Future Internet Services and Applications (FISA'2019), In 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019 (Sumitra Reddy, ed.), IEEE, 2019. [bibtex] [pdf] [doi]
[510] Hamdi Aloulou, Mounir Mokhtari, Bessam Abdulrazak, Deployment of an IoT Solution for Early Behavior Change Detection, In International Conference on Smart Homes and Health Telematics, 2019. [bibtex]
[509] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Formal Verification approaches of Self-adaptive Systems: A Survey, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019 (Imre J. Rudas, János Csirik, Carlos Toro, János Botzheim, Robert J. Howlett, Lakhmi C. Jain, eds.), Elsevier, volume 159, 2019. [bibtex] [pdf] [doi]
[508] Mohamed Sellami, Hatem Hadj Kacem, Anderson Santana de Oliveira, Track Report of Future Internet Services and Applications (FISA'2019), In 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019 (Sumitra Reddy, ed.), IEEE, 2019. [bibtex] [pdf] [doi]
[507] Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel, Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment, In New Trends in Model and Data Engineering - MEDI International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings, Springer, 2019. [bibtex]
[506] Amine Guidara, Saúl E. Pomares Hetnández, Lil María X. Rodríguez Henríquez, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates, In 6th International Conference on Software Defined Systems, SDS 2019, Rome, Italy, June 10-13, 2019, IEEE, 2019. [bibtex] [pdf] [doi]
[505] Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel, Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment, In New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France (J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout, eds.), Springer, volume 1085, 2019. [bibtex] [doi]
[504] Fairouz Fakhfakh, A refinement-based approach for verifying dynamic changes on time-aware processes, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019, Elsevier, volume 159, 2019. [bibtex]
[503] Chékra El Fehri, Mohamed Kassab, Nouha Baccour, Slim Abdellatif, Pascal Berthou, Inès Kammoun, An Uplink Synchronization scheme for LoRaWAN Class B, In 2019 International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2019, Barcelona, Spain, October 21-23, 2019, IEEE, 2019. [bibtex] [pdf] [doi]
[502] Rim Negra, Imen Jemili, Akka Zemmari, Mohamed Mosbah, Abdelfettah Belghith, Nesrine Ouled Abdallah, Leveraging the link quality awareness for body node coordinator (BNC) placement in WBANs, In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019 (Chih-Cheng Hung, George A. Papadopoulos, eds.), ACM, 2019. [bibtex] [pdf] [doi]
[501] Hana Ben Hadj Abdallah, Wassef Louati, Ftree-CDN: Hybrid CDN and P2P Architecture for Efficient Content Distribution, In 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2019, Pavia, Italy, February 13-15, 2019, IEEE, 2019. [bibtex] [pdf] [doi]
[500] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Energy Efficient Handshake Algorithm for Wireless Sensor Networks, In Distributed Computing for Emerging Smart Networks - First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers (Imen Jemili, Mohamed Mosbah, eds.), Springer, volume 1130, 2019. [bibtex] [pdf] [doi]
[499] Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul, A Model-based Approach for the Modeling and the Verification of Railway Signaling System, In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 (Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, eds.), SciTePress, 2019. [bibtex] [doi]
[498] Afef Jmal Maâlej, Moez Krichen, Une Approche de Test de Charge de Compositions de ServicesWeb, In Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, Hammamet, Tunisie, 29-30 octobre 2019 (Ismael Bouassida Rodriguez, Abdelhak-Djamel Seriai, eds.), Éditions RNTI, volume L-9, 2019. [bibtex] [pdf]
[497] Moez Krichen, Afef Jmal Maâlej, Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge, In Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, Hammamet, Tunisie, 29-30 octobre 2019 (Ismael Bouassida Rodriguez, Abdelhak-Djamel Seriai, eds.), Éditions RNTI, volume L-9, 2019. [bibtex] [pdf]
[496] Farah Bellaaj, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri, A Transactional Approach for Reliable Elastic Cloud Resources, In 2019 IEEE International Conference on Services Computing, SCC, Milan, Italy, July 8-13, 2019, 2019. [bibtex] [pdf] [doi]
[495] Amal Abid, Saoussen Cheikhrouhou, Mohamed Jmaiel, Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment, In International Conference on Risks and Security of Internet and Systems, 2019. [bibtex]
[494] Abir Affes, Afef Mdhaffar, Chahnez Triki, Mohamed Jmaiel, Bernd Freisleben, A Convolutional Gated Recurrent Neural Network for Epileptic Seizure Prediction, In How AI Impacts Urban Living and Public Health (José Pagán, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, María Fernanda Cabrera, eds.), Springer International Publishing, 2019. [bibtex] [doi]
[493] Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul, A SAT-Based Formal Approach for Verifying Business Process Configuration, In Big Data Innovations and Applications - 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings (Muhammad Younas, Irfan Awan, Salima Benbernou, eds.), Springer, volume 1054, 2019. [bibtex] [doi]
[492] Fairouz Fakhfakh, Performance and Correctness of Mobile Cloud Computing Systems: Taxonomy and Open Challenges, In 15th International Wireless Communications & Mobile Computing Conference, IWCMC 2019, Tangier, Morocco, June 24-28, 2019, IEEE, 2019. [bibtex]
[491] Mohamed Hedi Fourati, Soumaya Marzouk, Khalil Drira, Mohamed Jmaiel, DOCKERANALYZER : Towards Fine Grained Resource Elasticity for Microservices-Based Applications Deployed with Docker, In 2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), volume , 2019. [bibtex]
2018
[490] 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, In (Layth Sliman, Ismael Bouassida Rodriguez, Kaori Yoshida, eds.), IEEE Computer Society, 2018. [bibtex] [pdf] [doi]
[489] Abdennaceur Ghandri, Yassine Boujelben, Maher Ben Jemaa, Dynamic MBSFN Subframe Allocation Algorithm for Bursty Video Traffic in LTE-Advanced Network, In IEEE WCNC, 2018. [bibtex]
[488] Abdennaceur Ghandri, Yassine Boujelben, Maher Ben Jemaa, A Low-Complexity Scheduling for Joint Unicast and Multicast Transmissions in LTE-A Network, In IEEE 14th International Wireless Communications and Mobile Computing Conference (IWCMC), 2018. [bibtex]
[487] Moez Krichen, Omar Cheikhrouhou, Mariam Lahami, Roobaea Alroobaea, Afef Jmal Maâlej, Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications, In International Conference on Smart Cities, Infrastructure, Technologies and Applications, 2018. [bibtex]
[486] Tesnim Mekki, Issam Jabri, Abderrezak Rachedi, Maher Ben Jemaa, Towards Multi-Access Edge Based Vehicular Fog Computing Architecture, In 2018 IEEE Global Communications Conference (GLOBECOM), 2018. [bibtex]
[485] Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel, Distributed and Resource-Aware Load Testing of WS-BPEL Compositions., In ICEIS (2), 2018. [bibtex]
[484] Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony, Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models, In International Conference on Current Trends in Theory and Practice of Informatics, 2018. [bibtex]
[483] Firas Kaddachi, Hamdi Aloulou, Bessam Abdulrazak, Philippe Fraisse, Mounir Mokhtari, Technological approach for early and unobtrusive detection of possible health changes toward more effective treatment, In International Conference on Smart Homes and Health Telematics, 2018. [bibtex]
[482] Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel, Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation, In OTM Confederated International Conferences" On the Move to Meaningful Internet Systems", 2018. [bibtex]
[481] Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel, Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes, In 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), 2018. [bibtex]
[480] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Geo-distributed bigdata processing for maximizing profit in federated clouds environment, In 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2018. [bibtex]
[479] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Efficient distribution of mapreduce jobs for maximizing profit on federated cloud, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018. [bibtex]
[478] Salma Daoud, Afef Mdhaffar, Bernd Freisleben, Mohamed Jmaiel, A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, ACM, 2018. [bibtex]
[477] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Formalizing compound MAPE patterns for decentralized control in self-adaptive systems, In 12th International Conference on Research Challenges in Information Science, RCIS 2018, Nantes, France, May 29-31, 2018, 2018. [bibtex] [doi]
[476] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Translation of UML models for self-adaptive systems into Event-B specifications, In Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017, 2018. [bibtex]
[475] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Distributed Computations in Wireless Sensor Networks by Local Interactions, In 17th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now) , Springer, volume 11104, 2018. [bibtex]
[474] Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, IEEE Computer Society, 2018. [bibtex]
[473] Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem, A refinement-based approach for specifying multi-scale software architectures: application to SoS, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, ACM, 2018. [bibtex] [pdf] [doi]
[472] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem, Optimal Evidence Collection for Accountability in the Cloud, In 15th International Conference on e-Business Engineering ICEBE, 2018. [bibtex]
[471] Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel, Distributed and Resource-Aware Load Testing of WS-BPEL Compositions, In Proceedings of the 20th International Conference on Enterprise Information Systems, ICEISa, SciTePress, 2018. [bibtex] [doi]
[470] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks, In The 30th International Conference on Software Engineering and Knowledge Engineering, Redwood City, California, USA, July 1-3, 2018., 2018. [bibtex]
[469] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud, In Information Systems - 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings (Marinos Themistocleous, Paulo Rupino da Cunha, eds.), Springer, volume 341, 2018. [bibtex] [pdf] [doi]
[468] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex]
[467] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh, Preserving the Correctness of Dynamic Workflows within a Cloud Environment, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex]
[466] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Elastic Multi-Tenant Business Process Based on Temporal Constraints, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2018. [bibtex] [doi]
[465] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira, Experiencing Low Power Wireless Links in Distribution Smart Grid Environments, In Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA, 2018. [bibtex] [doi]
[464] Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar, Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets, In New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY at MEDI, 2018. [bibtex] [doi]
[463] Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira, Adaptive and Reconfigurable Systems and Architectures (AROSA 2018): Summary Report, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, 2018. [bibtex] [doi]
[462] Hatem Aouadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Building Contextual Implicit Links for Image Retrieval, In Proceedings of the 20th International Conference on Enterprise Information Systems, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Volume 1., 2018. [bibtex] [doi]
[461] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Khalil Drira, Anomaly Detection and Diagnosis Scheme for Mobile Health Applications, In 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA, 2018. [bibtex] [doi]
[460] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A decision approach for energy distribution management in smart cities, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC), 2018. [bibtex] [doi]
2017
[459] M. Hachicha, R. Ben Halima, A. H. Kacem, Design and timed verification of self-adaptive systems, In 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex] [doi]
[458] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Feature model based on design pattern for the service provider in the service oriented architecture, In Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS'2017), 2017. [bibtex]
[457] F. Abdennadher, M. B. Jemaa, Resource Management for Mobile Publish/Subscribe Systems, In 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), volume , 2017. [bibtex] [doi]
[456] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Optimal MapReduce Job Scheduling algorithm across Cloud Federation, In Proceedings of 23rd Int'l Conf on Parallel and Distributed Processing Techniques and Applications (PDPTA), CSREA Press, 2017. [bibtex]
[455] Hammami Maryam, Bellaaj Hatem, Mohamed Jmaiel, Cognitive Computing for disease registry form validation: Application to tunisian Diabetes type-1 registry, In Proceedings of ESBM Conference, 2017. [bibtex]
[454] Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem, Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation, In Proceedings of 14th IEEE International Conference on Services Computing (SCC), IEEE, 2017. [bibtex]
[453] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Designing Compound MAPE Patterns for Self-adaptive Systems, In Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017), 2017. [bibtex] [doi]
[452] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, PCA-based Multivariate Anomaly Detection in Mobile Healthcare Applications, In The 21th IEEE/ACM International Conference on Distributed Simulation and real time applications (DS-RT ), 2017. [bibtex]
[451] Tesnim Mekki, Issam Jabri, Abderrezak Rachedi, Maher Ben Jemaa, Proactive and hybrid wireless network access strategy for Vehicle Cloud networks: An evolutionary game approach, In Wireless Communications and Mobile Computing Conference (IWCMC), 2017 13th International, 2017. [bibtex]
[450] Abir Masmoudi, Emna Mezghani, Hatem Bellaaj, Khalil Drira, Mohamed Jmaiel, A Web-Based Knowledge Management System for Scientific Research Team, In Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017 IEEE 26th International Conference on, 2017. [bibtex]
[449] Firas Kaddachi, Hamdi Aloulou, Bessam Abdulrazak, Philippe Fraisse, Mounir Mokhtari, Unobtrusive technological approach for continuous behavior change detection toward better adaptation of clinical assessments and interventions for elderly people, In International Conference on Smart Homes and Health Telematics, 2017. [bibtex]
[448] Firas Kaddachi, Hamdi Aloulou, Bessam Abdulrazak, Joaquim Bellmunt, Romain Endelin, Mounir Mokhtari, Philippe Fraisse, Technological Approach for Behavior Change Detection toward Better Adaptation of Services for Elderly People., In HEALTHINF, 2017. [bibtex]
[447] Hatem Bellaaj, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben, An Adaptive Scrum Model for Developing Disease Registries, In Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017) - Volume 5: HEALTHINF, Porto, Portugal, February 21-23, 2017., 2017. [bibtex]
[446] Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel, PRIARMOR: An IaaS Solution for Low-Level Privacy Enforcement in the Cloud, In Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017 IEEE 26th International Conference on, 2017. [bibtex]
[445] Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel, A Hybrid Approach for Private Data Protection in the Cloud, In International Conference on Green, Pervasive, and Cloud Computing, 2017. [bibtex]
[444] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex]
[443] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex]
[442] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem, A Formal Approach for Maintaining Forest Topologies in Dynamic Networks, In 16th International Conference on Computer and Information Science (ICIS), Springer, 2017. [bibtex]
[441] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment, In IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017. [bibtex]
[440] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment, In IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017. [bibtex]
[439] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Algorithms for Finding Maximal and Maximum Cliques: A Survey, In Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) held in Delhi, India, December 14-16, 2017, 2017. [bibtex]
[438] Mariam Chaabane, Ismael Bouassida Rodriguez, Mohamed Jmaiel, System of systems software architecture description using the ISO/IEC/IEEE 42010 standard, In Proceedings of the 32th Annual ACM Symposium on Applied Computing (SAC), 2017. [bibtex] [doi]
[437] Joaquim Bellmunt, Mounir Mokhtari, Bessam Abdulzarak, Hamdi Aloulou, Martin Kodys, Experimental Frailty Model Towards an Adaptable Service Delivery for Aging People, In 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016, 2017. [bibtex]
[436] Hamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt, Activity Recognition Enhancement Based on Ground-Truth: Introducing a New Method Including Accuracy and Granularity Metrics, In International Conference on Smart Homes and Health Telematics, 2017. [bibtex]
[435] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, Development of a parser for the AADL error model annex, In 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017, 2017. [bibtex] [doi]
[434] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Transformation of compound SOA Design Patterns, In The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 2017. [bibtex] [doi]
[433] Emna Taktak, Ismael Bouassida Rodriguez, Energy Consumption Adaptation Approach for Smart Buildings, In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), IEEE, 2017. [bibtex]
[432] Emna Taktak, Ismael Bouassida Rodriguez, Energy Consumption Adaptation Approach for Smart Buildings, In 14th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017, 2017. [bibtex] [doi]
[431] Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira, AROSA 2017: Summary Report, In Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017. [bibtex]
[430] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Design and timed verification of self-adaptive systems, In 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017 (Guobin Zhu, Shaowen Yao, Xiaohui Cui, Simon Xu, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi]
[429] N. Souissi, H. Ayadi, M. Torjmen Khemakhem, Towards Medical Image Re-ranking based on Convolutional Neural Networks, In Proceedings of the 3rd ESBM International Conference on Engineering Sciences in Biology and Medicine, 2017. [bibtex]
[428] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem, From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability, In 31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017, Taipei, Taiwan, March 27-29, 2017, 2017. [bibtex] [doi]
[427] Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel, WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions, In Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, 2017. [bibtex] [doi]
[426] Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem, Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations, In The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 2017. [bibtex] [doi]
[425] Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernandez, Ahmed Hadj Kacem, A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems, In The 14th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2017), October 30th to November 3rd, 2017, Hammemet, Tunisia, 2017. [bibtex]
[424] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A Novel Analysis Procedure for Context-Aware Applications in Ubiquitous Environments: Application to a Smart Building Case Study, In 14th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017, 2017. [bibtex] [doi]
[423] Hatem Hadj Kacem, Vanilson Arruda Burégio, Mohamed Sellami, Track Report of Future Internet Services and Applications (FISA 2017), In 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017 (Sumitra Reddy, Wojciech Cellary, Mariagrazia Fugini, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi]
[422] Afef Mdhaffar, Tarak Chaari, Kaouthar Larbi, Mohamed Jmaiel, Bernd Freisleben, IoT-based health monitoring via LoRaWAN, In IEEE EUROCON 2017 -17th International Conference on Smart Technologies, Ohrid, Macedonia, July 6-8, 2017, 2017. [bibtex]
[421] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, rMatcher: A Tool for Semantic Web Services Discovery & Publication, In 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017, 2017. [bibtex] [doi]
[420] Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems, In Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex] [doi]
[419] Imen Graja, Slim Kallel, Nawal guermouche, Ahmed Hadj Kacem, Modeling and verification of temporal properties in Cyber-Physical Systems, In Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex]
[418] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A tool for modeling SoS architectures using bigraphs, In Proceedings of the 32th Annual ACM Symposium on Applied Computing (SAC), 2017. [bibtex] [doi]
[417] Emna Fki, Imene Lahyani, Imen Abdennadher, Rania Abid, Qos-Driven Architectural Mining for Publish/Subscribe Systems Deployed on MANET, In Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Elsevier, volume 112, 2017. [bibtex] [pdf] [doi]
[416] Mariam Chaabane, Ismael Bouassida Rodriguez, Khalil Drira, Mohamed Jmaiel, Mining Approach for Software Architectures’ Description Discovery, In 14th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, Octobre 30 - November 3, 2017, 2017. [bibtex]
[415] Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel, Efficient composite event detection based on DHT protocol, In 15th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2017, London, United Kingdom, June 7-9, 2017, 2017. [bibtex] [doi]
[414] Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel, Proceedings of the IEEE International Conference on Services Computing (SCC), In Proceedings of the IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2017. [bibtex] [doi]
[413] Farah Bellaaj, Mohamed Sellami, Sami Bhiri, Zakaria Maamar, Obstacle-Aware Resource Allocation in Business Processes, In Business Information Systems - 20th International Conference, BIS 2017, Poznan, Poland, June 28-30, 2017, Proceedings, 2017. [bibtex] [doi]
[412] Hajer Ayadi, Mouna Torjmen Khemakhem, Jimmy Xiangji Huang, Mariam Daoud, Maher Ben Jemaa, Learning to Re-rank Medical Images Using a Bayesian Network-Based Thesaurus, In Advances in Information Retrieval - 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings, 2017. [bibtex]
[411] Fatma Abdennadher, Maher Ben Jemaa, Resource Management for Mobile Publish/Subscribe Systems, In 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017 (Igor V. Kotenko, Yiannis Cotronis, Masoud Daneshtalab, eds.), IEEE Computer Society, 2017. [bibtex] [pdf] [doi]
[410] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A utility-based approach for self-adaptive systems: application to a Smart Building, In Proceedings of The 14-th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2017. [bibtex] [doi]
2016
[409] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Feature model for the service provider in the service oriented architecture, In Proceedings of the IEEE 17th International Conference on Sciences and Techniques of Automatic control & computer engineering (STA'2017), 2016. [bibtex]
[408] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Modeling and Formal Specification Of Multi-scale Software Architectures, In Proceedings of the 11th International Conference on Software Engineering Advances, (ICSEA'2016), 2016. [bibtex]
[407] Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem, Software architectures: multi-scale refinement, In Proceedings of the 14th IEEE/ACIS, International Conference on Software Engineering Research, Management and Applications (SERA'2016), IEEE Computer Society, 2016. [bibtex]
[406] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, A Novel Approach for Semantic Web Service Discovery, In 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi]
[405] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Multiple Software Product Lines for Service Oriented Architecture., In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'2016), 2016. [bibtex] [doi]
[404] Amir Guidara, Faouzi Derbel, Maher Ben Jemaa, Energy-efficient model for indoor localization process based on wireless sensor networks, In 13th International Multi-Conference on Systems, Signals Devices (SSD), 2016. [bibtex] [doi]
[403] Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari, A Fault-Tolerant Handshake Algorithm for Local Computations, In 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2016. [bibtex] [doi]
[402] Afef Jmal Maalej, Moez Krichen, A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures, In Proceedings of the 10th International Workshop on Verification and Evaluation of Computer and Communication System (VECoS), CEUR-WS.org, volume 1689, 2016. [bibtex]
[401] Nizar Omheni, Ahmed Hadj Kacem, Improving Students’ Reading Comprehension Achievement through Sharing Annotations in Peer Learning Environment, In the 20th Global Chinese Conference on Computers in Education 2016. Hong Kong, 2016. [bibtex]
[400] Nizar Omheni, Ahmed Hadj Kacem, i-Read: A Collaborative Learning Environment to Support Students with Low Reading Abilities, In International Conference on Intelligent Tutoring Systems, 2016. [bibtex]
[399] Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel, Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration, In Proceedings of the 27th International Symposium on Rapid System Prototyping (RSP), 2016. [bibtex]
[398] Joaquim Bellmunt, Mounir Mokhtari, Bessam Abdulzarak, Hamdi Aloulou, Agile framework for rapid deployment in ambient assisted living environments, In Proceedings of the 18th international conference on information integration and web-based applications and services, 2016. [bibtex]
[397] Hamdi Aloulou, Bessam Abdulrazak, Romain Endelin, João Bentes, Thibaut Tiberghien, Joaquim Bellmunt, Simplifying installation and maintenance of ambient intelligent solutions toward large scale deployment, In Inclusive Smart Cities and Digital Health: 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings 14, 2016. [bibtex]
[396] Hamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt, Detecting inconsistencies in rule-based reasoning for ambient intelligence, In 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016. [bibtex]
[395] Lamia Ben Amor, Imene Lahyani, Towards Accurate Medical Data in Mobile Health Applications, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, 2016. [bibtex] [doi]
[394] Emna Taktak, Imen Abdennadher, Ismael Bouassida Rodriguez, An Adaptation Approach for Smart Buildings, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi]
[393] 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]
[392] Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem, Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents, In Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA),, IEEE Computer Society, 2016. [bibtex]
[391] Nabila Mansouri, Yousra Ben Jemaa, Eric Watelain, Optimized HOG Descriptor for on Road Cars Detection, In Proceedings of the 10th International Conference on Distributed Smart Camera, 2016. [bibtex] [doi]
[390] 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]
[389] 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]
[388] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modeling and Verifying Self-adaptive Systems:A Refinement Approach, In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016), 2016. [bibtex]
[387] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, BPMN4CPS: A BPMN Extension for modeling cyber-physical systems, In Proceedings of the 25th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, volume , 2016. [bibtex] [doi]
[386] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi]
[385] Amal Gassara, Ismael Bouassida Rodriguez, A Bigraphical Modeling Methodology for Multi-scale Reconfigurable Systems, In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi]
[384] 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]
[383] 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] [doi]
[382] 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] [doi]
[381] 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] [doi]
[380] Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2016. [bibtex] [doi]
[379] 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]
[378] Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem, A correct by construction approach for modeling and formalizing self-adaptive systems, In 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016, 2016. [bibtex] [doi]
[377] Ikbel Guidara, Imane Al Jaouhari, Nawal Guermouche, Dynamic Selection for Service Composition Based on Temporal and QoS Constraints, In IEEE International Conference on Services Computing, SCC, 2016. [bibtex] [doi]
[376] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing, In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, 2016. [bibtex] [doi]
[375] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions, In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016. Proceedings, 2016. [bibtex]
[374] 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]
[373] 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]
[372] 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]
[371] Fatma Abdennadher, Maher Ben Jemaa, DLBMS: A DYNAMIC LOAD BALANCING FOR MOBILE SUBSCRIBERS INTO PUBLISH/SUBSCRIBE SYSTEMS, In 13th International Conference Applied Computing 2016, IADIS AC 2016, MANNHEIM, GERMANY (Hans Weghorn, ed.), IADIS digital library, 2016. [bibtex]
[370] 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
[369] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A formal Approach for SOA Design Patterns Composition, In Proceedings of the ACS/IEEE 12th International Conference on Computer Systems and Applications (AICCSA), IEEE Computer Society, 2015. [bibtex]
[368] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, An Approach for SOA Design Patterns Composition, In Proceedings of the IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA), IEEE Computer Society, 2015. [bibtex]
[367] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Maher Ben Jemaa, How to Use Ants for Data Stream Clustering, In Proceedings of the IEEE Congress on Evolutionary Computation (CEC) (IEEE CEC'2015), 2015. [bibtex]
[366] Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of OCL Meta-Level Constraints into Java Meta-programs, In Proceedings of the 14th International Conference on Software Engineering Research, Management and Applications (SERA'15), Hammamet, Tunisia, Springer, 2015. [bibtex]
[365] Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem, Traduction de spécifications de contraintes d’architecture en composants exécutables, In Proceedings of the 14th French Conference on Software Architecture (CAL'15), Hammamet, Tunisia, 2015. [bibtex]
[364] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A UML-based Approach for Multi-scale Software Architectures., In Proceedings of the 17th International Conference on Enterprise Information Systems, (ICEIS'2015), SciTePress, volume 2, 2015. [bibtex]
[363] Amir Guidara, Faouzi Derbel, A real-time indoor localization platform based on wireless sensor networks, In 12th International Multi-Conference on Systems, Signals Devices (SSD), 2015. [bibtex] [doi]
[362] Mounir Mokhtari, Romain Endelin, Hamdi Aloulou, Thibaut Tiberghien, Measuring the impact of icts on the quality of life of ageing people with mild dementia, In Smart Homes and Health Telematics: 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers 12, 2015. [bibtex]
[361] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of Architecture Constraint Specifications into Components, In Proceedings of the European conference on Software Architecture (ECSA), Springer, 2015. [bibtex]
[360] Rim Teyeb Jaouachi, Mouna Torjmen Khemakhem, Nathalie Hernandez, Ollivier Haemmerlé, Maher Ben Jemaa, Semantic Annotation of Images Extracted from the Web using RDF Patterns and a Domain Ontology, In ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015, 2015. [bibtex]
[359] Rim Teyeb Jaouachi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Ollivier Haemmerlé, Nathalie Hernandez, Taking Contextual Parameters into Account and Using RDF Patterns for the Semantic Web Image Annotation, In Enterprise Information Systems - 17th International Conference, ICEIS, 2015. [bibtex]
[358] Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of Architecture Constraint Specifications into Components, In Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings, volume 9278, 2015. [bibtex]
[357] Rym Teyeb, Mouna Torjmen, Nathalie Hernandez, Ollivier Haemmerlé, Maher Ben Jemaa, Vers une annotation sémantique des images web fondée sur des patrons RDF, In CORIA 2015 - Conférence en Recherche d'Infomations et Applications - 12th French Information Retrieval Conference, Paris, France, March 18-20, 2015., 2015. [bibtex]
[356] Jit Biswas, Romain Endelin, Clifton Phua, Aung Aung Phyo Wai, Andrei Tolstikov, Zhu Jiaqi, Thibaut Tiberghien, Hamdi Aloulou, Philip Yap Lin Kiat, Mounir Mokhtari, Activity recognition in assisted living facilities with incremental, approximate ground truth, In Inclusive Smart Cities and e-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings 13, 2015. [bibtex]
[355] Joaquim Bellmunt, Thibaut Tiberghien, Mounir Mokhtari, Hamdi Aloulou, Romain Endelin, Technical challenges towards an aal large scale deployment, In Inclusive Smart Cities and e-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings 13, 2015. [bibtex]
[354] 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]
[353] Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[352] Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, A service-oriented architecture (SOA) framework for choreography verification, In 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2015. [bibtex] [doi]
[351] Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[350] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT 2015, Hualien, Taiwan, July 6-9, 2015, 2015. [bibtex] [doi]
[349] 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]
[348] 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]
[347] Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah, Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Dynamic Networks, In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),, IEEE Computer Society, 2015. [bibtex]
[346] 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]
[345] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Maher Ben Jemaa, Clustering Of Binary Data Sets Using Artificial Ants Algorithm, In The 22th International Conference on Neural Information Processing (ICONIP2015), 2015. [bibtex]
[344] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed HadjKacem, Analyzing Multi-Tenant Cloud Services’ Accountability, In 12th International Conference on e-Business Engineering, 2015. [bibtex]
[343] 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] [doi]
[342] 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] [doi]
[341] Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel, Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations, In ICTSS, 2015. [bibtex]
[340] Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[339] Nesrine Khabou, Ismael Bouassida Rodriguez, Analysis Process for Context Aware Applications in Pervasive Environments, In 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2015), IEEE, 2015. [bibtex]
[338] Karim Gasmi, Mouna Torjmen Khemakhem, Lynda Tamine, Maher Ben Jemaa, Graph-based Methods for Significant Concept Selection, In 19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, KES 2015, Singapore, 7-9 September 2015, 2015. [bibtex]
[337] 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] [doi]
[336] Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem, An Interactive Annotation System to Support the Learner with Web Services Assistance, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT, 2015. [bibtex] [doi]
[335] Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem, How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations, In Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, 2015. [bibtex] [doi]
[334] Hatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre, FISA 2015 Track Report: Future Internet Services and Applications, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi]
[333] 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] [doi]
[332] Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira, An Approach for Multiple-Instance Based Service Composition, In 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015, 2015. [bibtex] [doi]
[331] 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]
[330] 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]
[329] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE , Larnaca, Cyprus, June 15-17, 2015. [bibtex]
[328] Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs, In Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD, 2015. [bibtex]
[327] Nizar Omheni, Anis Kalboussi, mar Mazhoud, Ahmed Hadj Kacem, Automatic Recognition of Personality from Digital Annotations, In Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. [bibtex] [doi]
[326] Wafa Gabsi, Bechir Zalila, Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL, In Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 [revised selected papers from SNPD 2015, Takamatsu, Japan, June 1-3, 2015], 2015. [bibtex] [doi]
[325] 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] [doi]
[324] 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]
[323] Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, A formal pattern for dynamic networks through evolving graphs, In 12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015, IEEE Computer Society, 2015. [bibtex] [pdf] [doi]
[322] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Provisioning Approach of Cloud Resources for Dynamic Workflows, In 8th IEEE International Conference on Cloud Computing, CLOUD 2015, New York City, NY, USA, June 27 - July 2, 2015 (Calton Pu, Ajay Mohindra, eds.), IEEE Computer Society, 2015. [bibtex] [pdf] [doi]
[321] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Controlling Elasticity Dependencies For Multi-tenant Business Process, In 12th International Conference on e-Business Engineering (ICEBE), Beijing, China, October 23-25, 2015, 2015. [bibtex]
[320] 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] [doi]
[319] Nabila Belhaj, Djamel Belaïd, An Autonomic Container for the Management of Component-based Applications in Pervasive Environments, In 11th IEEE International Conference on Autonomic and Trusted Computing, 2015. [bibtex]
[318] Nabila Belhaj, Imen Ben Lahmar, Mohamed Mohamed, Djamel Belaïd, Collaborative Autonomic Management of Distributed Component-Based Applications, In On the Move to Meaningful Internet Systems: OTM 2015 Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, 2015. [bibtex]
[317] 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] [doi]
[316] 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]
[315] 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]
[314] 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
[313] 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]
[312] Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem, Formal Security Framework For Agent Based Cloud Systems, In 3rd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE'14), 2014. [bibtex]
[311] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, Interoperability of healthcare information systems, In Networks, Computers and Communications, The 2014 International Symposium on, 2014. [bibtex] [doi]
[310] Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony, Ahmed Hadj Kacem, G n ration de m ta-programmes Java partir de contraintes d'architecture OCL, In In proceedings of the French Speaking Conference on Software Engineering (CIEL'14), 2014. [bibtex]
[309] 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]
[308] Fatma Krichen, Mohamed Jmaiel, Fairouz Fakhfakh, Modes Generation of Reconfigurable Embedded Systems, In Conférence internationale francophone sur l'Architecture Logicielle, 2014. [bibtex]
[307] 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]
[306] 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]
[305] Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem, Prediction of Human Personality Traits From Annotation Activities, In Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014), SciTePress, 2014. [bibtex] [doi]
[304] Hajer Ayadi, Mouna Torjmen Khemakhem, Mariam Daoud, Jimmy Xiangji Huang, Maher Ben Jemaa, Apprentissage de classification des requêtes basée sur la confiance et la couverture, In 11ème Conférence en Recherche d'Infomations et Applications - 11th French Information Retrieval Conference (CORIA-CIFED 2014), ARIA-GRCE, 2014. [bibtex]
[303] Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem, The Annotation: A Track of Reader’s Personality Traits On Paper, In Proceedings of the 52nd Annual ACM Southeast Conference, ACM, 2014. [bibtex] [doi]
[302] 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]
[301] 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]
[300] Houda Khlif, Hatem Hadj Kacem, Saul E Pomares Hernandez, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon, A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems, In Proceedings of the 23nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014. [bibtex]
[299] 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]
[298] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [doi]
[297] 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]
[296] Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem, Multi-tenant Services Monitoring for Accountability in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [doi]
[295] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Incremental clustering of data stream using real ants behavior, In Proceedings of the 6th IEEE International Conference on Nature and Biologically Inspired Computing (NaBIC), 2014. [bibtex]
[294] Nabila Mansouri, Yousra Ben Jemaa, Cina Motamed, Antonio Pinti, Eric Watelain, A new strategy based on spatiogram similarity association for multi-pedestrian tracking, In 4th International Conference on Image Processing Theory, Tools and Applications, IPTA, 2014. [bibtex] [doi]
[293] Ahmed Derbel, Aladine Chetouani, Sylvie Treuillet, Bruno Emile, Nabila Mansouri, Yousra Ben jemaa, Interest Lower Body Point’s Detection For Markerless Gait Analysis, In Proceedings of the 4th International Conference on Image Processing Theory, Tools and Applications (IPTA), 2014. [bibtex]
[292] 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] [doi]
[291] 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]
[290] Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem, Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B, In Proceedings of the 12 th International Conference on Software Engineering and Formal Methods (SEFM), Springer Verlagkeywords=MAS, Formal, 2014. [bibtex]
[289] 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), ACM, 2014. [bibtex] [doi]
[288] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Feature model for modeling compound SOA design patterns, In Proceedings of the 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2014. [bibtex]
[287] 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]
[286] Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata, PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2014. [bibtex]
[285] 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]
[284] Imen Graja, Imen Loulou, Ahmed Hadj Kacem, SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE, 2014. [bibtex] [doi]
[283] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs, In Actes des 22 ème Journées Francophones sur les Systèmes Multi-Agents (JFSMA), 2014. [bibtex]
[282] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem, A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B, In Proceedings of the 6 th International Conference on Agents and Artificial Intelligence (ICAART), INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 2014. [bibtex]
[281] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In Proceedings of the the 2nd international workshop on Emgineering Multiagent Systems, 2014. [bibtex]
[280] Karim Gasmi, Mouna Torjmen Khemakhem, Lynda Tamine, Maher Ben Jemaa, A New Combination Method Based on Adaptive Genetic Algorithm for Medical Image Retrieval, In Information Retrieval Technology - 10th Asia Information Retrieval Societies Conference, AIRS 2014 Proceedings, 2014. [bibtex] [doi]
[279] 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]
[278] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Workflow Scheduling in Cloud Computing: A survey, In Proceedings of the 18th International conference on Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Ulm, Germany, September 01-05, 2014. [bibtex]
[277] Imen Graja, Imen Loulou, Ahmed Hadj Kacem, SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28-30 April, 2014, 2014. [bibtex] [doi]
[276] Olfa Gaddour, Anis Koubaa, Nouha Baccour, Mohamed Abid, OF-FL: QoS-aware fuzzy logic objective function for the RPL routing protocol, In 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 2014, Hammamet, Tunisia, May 12-16, 2014, IEEE, 2014. [bibtex] [pdf] [doi]
[275] Imen Ben Lahmar, Djamel Belaïd, An Autonomic Container for the Management of Component-Based Applications in Pervasive Environments, In 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, Bali, Indonesia, December 9-12, 2014, 2014. [bibtex]
[274] 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]
[273] 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]
[272] Mariam Chaabane, Ismael Bouassida Rodriguez, Construction de modËles d'interactions par Monitoring, In Deuxième conférence francophone sur les Systèmes Collaboratifs (SYSCO), 2014. [bibtex]
[271] Mariam Chaabane, Ismael Bouassida Rodriguez, Le monitoring pour la construction de la reprÈsentation graphique de l'architecture des applications orientÈes services, In HuitiËme Èdition de la ConfÈrence francophone sur l'Architecture Logicielle (CAL), 2014. [bibtex]
[270] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Enhancing Proofs of Local Computations Through Formal Event-B Modularization, In 23rd IEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises, IEEE Computer Society, 2014. [bibtex]
[269] Rahma Bouaziz Kammoun, Slim Kallel, Bernad Coulette, A Collaborative Process for Developing Secure Component based Applications, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex]
[268] Amal Abid, Mouna Torjmen Khemakhem, Soumaya Marzouk, Maher Ben Jemaa, Thierry Monteil, Khalil Drira, Toward Antifragile Cloud Computing Infrastructures, In Proceedings of the 5th International Conference on Ambient Systems, Networks and Technologies (ANT 2014), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2014), 2014. [bibtex] [doi]
[267] Fatma Abdennadher, Maher Ben Jemaa, A Selective Predictive Subscriber Mobility Using the Closest Criterion, In Proceedings of 11th International Conference on Mobile Web Information Systems, 2014. [bibtex] [doi]
[266] 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
[265] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni, A Formal Model of Learner's Annotations Dedicated to Web Services Invocation, In Proceedings of the 21st International Conference on Computers in Education (ICEE 2013), Asia-Pacific Society of Computers in Education (APSCE), 2013. [bibtex]
[264] Hajer Ayadi, Mouna Torjmen, Mariam Daoud, Maher Ben Jemaa, Jimmy Xiangji Huang, Correlating Medical-dependent Query Features with Image Retrieval Models Using Association Rules, In Proceedings of the 22nd International ACM Conference on Information and Knowledge Management (CIKM'13), 2013. [bibtex] [doi]
[263] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni, An Approach of Assistance of Learner’s Annotative Activity through Web Services, In Proceedings of the 8th International Conference on E-Learning and Games (Edutainment 2013), Springer, 2013. [bibtex]
[262] Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), 2013. [bibtex] [doi]
[261] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Building Correct by Construction SOA Design Patterns: Modeling and Refinement, In Software Architecture: Proceedings of the 7th European Conference (ECSA), Springer, volume 7957, 2013. [bibtex] [doi]
[260] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, An Approach for Modeling and Formalizing SOA Design Patterns, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[259] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Annotative Activity as a Potential Source of Web Service Invocation, In Proceedings of the 9th International Conference on Web Information Systems and Technologies (WEBIST 2013), SciTePress, 2013. [bibtex]
[258] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani, Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B, In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), ACM, 2013. [bibtex]
[257] Aung Aung Phyo Wai, Lin Jin Hong Kenneth, Alwyn Lee Vwen Yen, Clifton Phua, Thibaut Tiberghien, Hamdi Aloulou, Liu Yan, Xian Zhang, Jit Biswas, Philip Yap, Challenges, experiences and lessons learned from deploying patient monitoring and assistance system at Dementia Care Hostel, In Inclusive Society: Health and Wellbeing in the Community, and Care at Home: 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings 11, 2013. [bibtex]
[256] Romain Endelin, Hamdi Aloulou, Jos De Roo, Stéphane Renouard, Thibaut Tiberghien, Mounir Mokhtari, Implementation of Allen's interval logic with the semantic web, In Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013. [bibtex]
[255] Romain Endelin, Stéphane Renouard, Thibaut Tiberghien, Hamdi Aloulou, Mounir Mokhtari, Behavior recognition for elderly people in large-scale deployment, In Inclusive Society: Health and Wellbeing in the Community, and Care at Home: 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings 11, 2013. [bibtex]
[254] Fatma Abdennadher, Maher Ben Jemaa, Accurate prediction of mobility into publish/subscribe, In Proceedings of the 11th ACM International Symposium on Mobility Management and Wireless Access, Barcelona, Spain (Sotiris E. Nikoletseas, Ángel Cuevas Rumín, eds.), ACM, 2013. [bibtex] [pdf] [doi]
[253] Mohamed Zouari, Ismael Bouassida Rodriguez, Towards Automated Deployment of Distributed Adaptation Systems, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi]
[252] Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz, An Aspect-Oriented Approach to Enforce Security Properties in Business Processes, In ICSOC Workshops - International Workshops on Service-Oriented Computing, Springer, volume 7759, 2013. [bibtex] [doi]
[251] Wafa Gabsi, Rahma Bouaziz, Bechir Zalila, Towards an Aspect Oriented Language Compliant with Real Time Constraints, In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, IEEE Computer Society, 2013. [bibtex] [doi]
[250] Wafa Gabsi, Bechir Zalila, Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation, In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, IEEE Computer Society, 2013. [bibtex] [doi]
[249] Rim Teyeb, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Nathalie Hernandez, Ollivier Haemmerle, Multi-Factor RDF Graph based Image Annotation -Application in Cinema Domain-, In Proceedings of the Fifth International Conference on Web and Information Technologies(ICWIT 2013), 2013. [bibtex]
[248] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Position paper: Multi-tenants context-aware service composition in cloud computing, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex]
[247] Riadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati, PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[246] 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]
[245] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Clustering using chemical and colonial odors of real ants, In Proceedings of the 5thd world congress on Nature and Biologically Inspired Computing(NaBIC), 2013. [bibtex] [doi]
[244] Ahmed Derbel, Nabila Mansouri, Yousra Ben jemaa, Bruno Emile, Sylvie Treuillet, Comparative Study between Spatio/Temporal Descriptors for Pedestrians Recognition by Gait, In Proceedings of the 10th International Conference on Image Analysis and Recognition (ICIAR), 2013. [bibtex]
[243] Emna Mezghani, Riadh Ben Halima, A model driven methodology for enabling autonomic reconfiguration of service oriented architecture, In SAC, 2013. [bibtex] [doi]
[242] 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]
[241] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, Runtime testing framework for improving quality in dynamic service-based systems, In Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications (QASBA), 2013. [bibtex] [doi]
[240] Mariam Lahami, Moez Krichen, Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems, In Proceedings of the 22st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2013. [bibtex] [doi]
[239] 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]
[238] Afef Jmal Maalej, Manel Hamza, Moez Krichen, WSCLT: A Tool for WS-BPEL Compositions Load Testing, In Proceedings of the 22nd Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[237] 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]
[236] 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]
[235] Ahmed Jemal, Riadh Ben Halima, A QoS-driven Self-Adaptive Architecture for Wireless Sensor Networks, In Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2013. [bibtex] [doi]
[234] Nasreddine Hajlaoui, Issam Jabri, Maher Ben Jemaa, Analytical study of frame aggregation in error-prone channels, In Proceedings of the 9th International Wireless Communications and Mobile Computing Conference, 2013. [bibtex] [doi]
[233] Mohamed Amine Hannachi, Ismael Bouassida Rodriguez, Khalil Drira, S. E. Pomares Hernández, GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching, In GbRPR, 2013. [bibtex] [doi]
[232] Karim Gasmi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, A Conceptual Model for Word Sense Disambiguation in Medical Image Retrieval, In Proceedings of the 9th Asia Information Retrieval Societies Conference (AIRS), 2013. [bibtex] [doi]
[231] 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]
[230] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Time Estimation of a Ring-based Bootstrapping Protocol in Wireless Sensor Networks, In Proceedings of the LiveCity Workshop on Smart and Pervasive Communications for Enhanced Communities (LiveCity) in conjunction with Saconet conference, IEEE, 2013. [bibtex]
[229] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Energy-Aware Distributed Hash Table based Bootstrapping Protocol for Randomly Deployed Heterogeneous Wireless Sensor Networks, In Proceedings of the 28th International Symposium on Computer and Information Sciences (Iscis), Springer, volume 264, 2013. [bibtex] [doi]
[228] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, The optimal transmitting power in randomly deployed heterogeneous Wireless Sensor Networks for predetermined average node degree, In Proceedings of the 9th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC), IEEE, 2013. [bibtex] [doi]
[227] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Mobility and fault tolerance management of the bootstrapping in randomly deployed Wireless Sensor Networks, In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT), 2013. [bibtex]
[226] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Consistent and Efficient Bootstrapping Ring-Based Protocol in Randomly Deployed Wireless Sensor Networks, In Proceedings of the International conference on Telecommunications (ICT), IEEE, 2013. [bibtex]
[225] Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez, AROSA Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[224] Salsabil Dhouib, Riadh Ben Halima, Surveying Collaborative and Content Management Platforms for Enterprise, In Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2013. [bibtex] [doi]
[223] 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]
[222] 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]
[221] 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]
[220] 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]
[219] Wajdi Elleuch, Models for multimedia conference between browsers based on WebRTC, In Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on, 2013. [bibtex] [doi]
[218] 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]
[217] 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]
[216] Rahma Bouaziz, Slim Kallel, Bernard Coulette, An engineering process for security patterns application in component based models, In Proceedings of the 22st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex]
2012
[215] 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]
[214] 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]
[213] 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]
[212] Wiem Ben Rhaiem, Wassef Louati, Djamal Zeghlache, mhDHT: a Scalable DHT-based Name Resolution System for the Future Internet, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex]
[211] 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]
[210] 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]
[209] Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem, P/S-CoM+: a Formal Approach to Design Correct Publish/Subscribe Architectural Styles, In Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, IEEE Computer Society, 2012. [bibtex]
[208] 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]
[207] 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]
[206] Imene Lahyani, Wafa Makki, Christophe Chassot, Failure Prediction for Publish/Subscribe System on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures (AROSA 2012), IEEE Computer Society, 2012. [bibtex] [doi]
[205] 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]
[204] 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]
[203] 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]
[202] Rim Teyeb, Maher Ben Jemaa, Achraf Karray, Adaptation Of "Bees Algorithm" for QOS-based Selection And Replacement of Web Services, In Proceedings of the seventh International Conference on Software Paradigm Trends(ICSOFT 2012), 2012. [bibtex]
[201] Thibaut Tiberghien, Mounir Mokhtari, Hamdi Aloulou, Jit Biswas, Semantic reasoning in context-aware assistive environments to support ageing with dementia, In The Semantic Web--ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II 11, 2012. [bibtex]
[200] Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem, MDA-Based Approach for Implementing Secure Mobile Agent Systems, In proceedings of the International Workshop on Agent-Oriented Software Engineering (AOSE), Springer, volume 7852, 2012. [bibtex]
[199] Hamdi Aloulou, Mounir Mokhtari, Thibaut Tiberghien, Jit Biswas, Lin Jin Hong Kenneth, A semantic plug&play based framework for ambient assisted living, In Impact Analysis of Solutions for Chronic Disease Prevention and Management: 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings 10, 2012. [bibtex]
[198] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange, In 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, volume 0, 2012. [bibtex] [doi]
[197] 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]
[196] Nesrine Khabou, Ismael Bouassida Rodriguez, Towards a novel analysis approach for collaborative ubiquitous systems, In Second Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures in 21th IEEE International Conference Collaboration Technologies and Infrastructures (WETICE 2012), 2012. [bibtex] [doi]
[195] Emna Mezghani, Riadh Ben Halima, DRF4SOA: A Dynamic Reconfigurable Framework for Designing Autonomic Application Based on SOA, In Proceedings of the 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2012. [bibtex] [doi]
[194] Soumaya Marzouk, Afef Jmal Maalej, Towards Planning Policies for Self-Adaptive Orchestrated Web Services, In WETICE, 2012. [bibtex] [doi]
[193] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, Model-Based Conformance Testing of WS-BPEL Compositions, In COMPSAC Workshops, 2012. [bibtex] [doi]
[192] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, Conformance Testing of WS-BPEL Compositions under Various Load Conditions, In COMPSAC, 2012. [bibtex] [doi]
[191] 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]
[190] 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]
[189] Nasreddine Hajlaoui, Issam Jabri, Maher Ben Jemaa, Experimental study of IEEE 802.11n protocol, In Proceedings of the seventh ACM international workshop on Wireless network testbeds, experimental evaluation and characterization, 2012. [bibtex] [doi]
[188] Nasreddine Hajlaoui, Issam Jabri, On the performance of IEEE 802.11n protocol, In 5th joint IFIP Wireless and Mobile Networking Conference, 2012. [bibtex] [doi]
[187] Nasreddine Hajlaoui, Issam Jabri, Malek Taieb, Maher Ben Jemaa, A frame aggregation scheduler for QoS-sensitive applications in IEEE 802.11n WLANs, In International Conference on Communications and Information Technology, 2012. [bibtex] [doi]
[186] Wael SELLAMI, Hatem Hadj Kacem, Ahmed Hadj Kacem, BPELVT: A tool for formal validation of web service orchestrations., In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[185] Sirine REBAI, Hatem Hadj Kacem, Ahmed Hadj Kacem, Position paper: An integration approach of web service composition models: From choreography to orchestration, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[184] Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[183] 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]
[182] Ikbel Guidara, Tarak Chaari, Kaouthar Fakhfakh, Intention based semantic approach for service sourcing, In Proceedings of the ACM Symposium on Applied Computing(SAC), ACM, 2012. [bibtex] [doi]
[181] Ikbel Guidara, Kaouthar Fakhfakh, Tarak Chaari, A Semantic Scoring Approach for Service Offers, In Proceedings of the 12th International Conference on Web Engineering (ICWE), Springer, volume 7387, 2012. [bibtex] [doi]
[180] Karim Gasmi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Word Indexing Versus Conceptual Indexing in Medical Image Retrieval, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex]
[179] 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]
[178] 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]
[177] Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila, An MDE-Based Approach for Reconfigurable Embedded Systems, In 21st IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2012, Second trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2012, IEEE Computer Society, 2012. [bibtex] [doi]
[176] 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]
[175] 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]
[174] Cédric Eichler, Ismael Bouassida Rodriguez, Khalil Drira, Thierry Monteil, Patricia Stolf, Caractérisation de la reconfiguration dynamique des architectures logicielles par les grammaires de graphe, In 6ème Conférence francophone sur les Architectures Logicielles (CAL 2012), 2012. [bibtex]
[173] 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]
[172] 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]
[171] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex]
[170] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex]
[169] 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]
[168] Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem, Modeling Secure Mobile Agent Systems, In Proceedings of the 6th KES International Conference on Agent and Multi-Agent Systems. Technologies and Applications (KES-AMSTA), Springer, volume 7327, 2012. [bibtex] [doi]
2011
[167] Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem, Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles, In Proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, SciTePress Digital Library, 2011. [bibtex] [doi]
[166] Bassem Ouni, Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Placement of Hardware Tasks on FPGA Using the Bee Algorithm, In Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems, Copyright (c) SciTePress, 2011. [bibtex] [doi]
[165] 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]
[164] Ikbel Belaid, Fabrice Muller, Maher Ben jemaa, Schedulers-Driven Approach for Dynamic Placement/Scheduling of multiple DAGs onto SoPCs, In IEEE International Symposium on Rapid System Prototyping (RSP), 2011. [bibtex]
[163] Rim Teyeb, Maher Ben Jemaa, Achraf Karray, web services' discovery based on Bees Algorithm in a distributed environment, In Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management(IFIPTM 2011), 2011. [bibtex]
[162] Jiaqi Zhu, Vwen Lee, Jit Biswas, Mounir Mokhtari, Thibaut Tiberghien, Hamdi Aloulou, Context-aware Reasoning Engine with High Level Knowledge for Smart Home, In 1st International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), 2011. [bibtex]
[161] Thibaut Tiberghien, Mounir Mokhtari, Hamdi Aloulou, Jit Biswas, Jiaqi Zhu, Vwen Yen Lee, Handling User Interface Plasticity in Assistive Environment: UbiSMART Framework., In ICOST, 2011. [bibtex]
[160] Zhu Jiaqi, Lee Vwen Yen, Jit Biswas, Mounir Mokhtari, Thibaut Tiberghien, Hamdi Aloulou, Context-aware reasoning engine with high level knowledge for smart home, In 1st International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), 2011. [bibtex]
[159] 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]
[158] 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]
[157] 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]
[156] 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]
[155] 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]
[154] 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]
[153] 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]
[152] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, A New Three-Level Strategy for Off-Line Placement of Hardware Tasks on Partially and Dynamically Reconfigurable Hardware, In Algorithm-Architecture Matching for Signal and Image Processing, Springer Netherlands, volume 73, 2011. (10.1007/978-90-481-9965-5_7) [bibtex]
[151] Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem, ForMAAD: Towards a Model Driven Approach for Agent Based Application Design, In Agent-Oriented Software Engineering XI (D. Weyns, M.-P. Gleizes (Eds.), eds.), Springer-Verlag Berlin Heidelberg, volume 6788, 2011. [bibtex] [doi]
[150] 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]
[149] Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel, Graph-based Management of Communities of Web Service Registries, In WEBIST, 2011. [bibtex]
[148] Nathalie Bertrand, Amelie Stainer, Thierry Jeron, Moez Krichen, A Game Approach to Determinize Timed Automata, In FOSSACS, 2011. [bibtex] [doi]
[147] Nathalie Bertrand, Thierry Jeron, Amelie Stainer, Moez Krichen, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, In TACAS, 2011. [bibtex] [doi]
[146] Ismael Bouassida Rodriguez, Soumaya Marzouk, A. Elleuch, Equilibrage de charge sur une grille travers un modèle économique régulant l'offre et la demande de service, In 11éme édition annuelle de la Conférence Internationale sur les NOuvelles Technologies de la REpartition (NOTERE 2011), 2011. (8 p.) [bibtex] [doi]
[145] Sakkaravarthi Ramanathan, Ismael Bouassida Rodriguez, Khalil Drira, Adaptive Middleware Architecture for Group Communication Activities, In the 11th annual international conference on New Technologies of Distributed Systems (NOTERE), 2011. (7 p.) [bibtex] [doi]
[144] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Evaluating Some Contextual Factors for Image Retrieval - ReDCAD Participation at ImageCLEF Wikipedia 2011, In Cross Language Evaluation Forum (Notebook Papers/Labs/Workshop), CLEF 2011 Labs and Workshop, Notebook Papers, 2011. [bibtex]
[143] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Evaluating Some Contextual Factors for Image Retrieval - ReDCAD Participation at ImageCLEF Wikipedia 2011, In CLEF (Notebook Papers/Labs/Workshop), CLEF 2011 Labs and Workshop, Notebook Papers, 19-22 September 2011, Amsterdam, The Netherlands, 2011. [bibtex]
2010
[142] 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]
[141] Emna Fki, Said Tazi, Chantal Soule Dupuy, Towards a user intention aware service composition, In New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on, 2010. [bibtex] [doi]
[140] Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed MOSBAH, Akka ZEMMARI, Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex]
[139] Fatma Krichen, Position paper: Advances in Reconfigurable Distributed Real Time Embedded Systems, In International workshop on Distributed Architecture modeling for Novel component based Embedded systems (DANCE 2010), IEEE, 2010. [bibtex]
[138] Rim Teyeb, Maher Ben Jemaa, Achraf Karray, Using "Bees ALGORITHM" for Qos-Based Selection of Web Services, In Proceedings of the 9th International Conference on Multiple Objective Programming and Goal Programming, 2010. [bibtex]
[137] Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette, Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems, In Proceedings of the International Conference on New Technologies of Distributed Systems (NOTERE), 2010. [bibtex] [doi]
[136] Nouha Baccour, Anis Koubaa, Habib Youssef, Maissa Ben Jamaa, Rosario do Denis, Mario Alves, Leandro B.Becker, F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In 7th European Conference on Wireless Sensor Networks (EWSN 2010), Springer, 2010. [bibtex]
[135] Hatem Awadi, Mouna Torjmen, Exploitation des liens pour la recherche d'images dans des documents XML, In Proceedings of the 7th French Information Retrieval Conference CORIA 2010 - COnférence en Recherche d'Infomations et Applications, 2010. [bibtex]
[134] 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]
[133] Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata, WSRD: A Web Services Registry Description, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex] [doi]
[132] 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]
[131] German Sancho, Ismael Bouassida Rodriguez, Thierry Villemur, Said Tazi, What about collaboration in ubiquitous environments, In 10th annual international conference on New Technologies of Distributed Systems (NOTERE'10), 2010. [bibtex]
[130] Nouha Baccour, Maissa Ben Jamaa, Denis do Rosario, Anis Koubaa, Habib Youssef, Mario Alves, Leandro B. Becker, A TestBed for the Evaluation of Link Quality Estimators in Wireless Sensor Networks, In The IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - The ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks (FT-ASN), IEEE Computer Society, 2010. [bibtex] [doi]
[129] Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Orchestrating Safe Behavioural Adaptations of Component-based Systems, In Proceedings of the 6th International Conference on Autonomic and Autonomous Systems, IEEE Computer Society, 2010. [bibtex] [doi]
[128] Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A Formal Approach to Enforcing Consistency in Self-adaptive Systems, In Proceedings of the 4th European Conference on Software Architecture, Springer, 2010. [bibtex] [doi]
[127] Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem, RDyMASS: Reliable and dynamic enforcement of security policies for mobile agent systems, In International workshop on autonomous and spontaneous security (SETOP 2009) at the 14th European Symposium on Research in Computer Security (ESORICS 2009), Springer-Verlag, volume LNCS 5939, 2010. [bibtex]
[126] Soumaya Marzouk, Afef Jmal Maalej, Mohamed Jmaiel, Aspect-Oriented Checkpointing Approach of Composed Web Services, In ICWE Workshops, 2010. [bibtex] [doi]
[125] Kaouthar Fakhfakh, Tarak CHAARI, Ikbel GUIDARA, Said Tazi, A demonstration paper. ODACE SLA : An efficient tool for the automatic SLA Establishment between service clients and providers, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex]
[124] 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]
[123] 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]
[122] 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]
[121] Moez Krichen, A Formal Framework for Conformance Testing of Distributed Real-Time Systems, In OPODIS, 2010. [bibtex] [doi]
[120] 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]
[119] 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]
[118] Brahim Hamid, Fatma Krichen, Model-based engineering for dynamic reconfiguration in DRTES, In ECSA '10: Proceedings of the Fourth European Conference on Software Architecture. WORKSHOP SESSION: VIII Nordic Workshop on Model-Driven Software Engineering, ACM, 2010. [bibtex] [doi]
[117] Khalil Drira, Ismael Bouassida Rodriguez, A Demonstration of an Efficient Tool for Graph Matching and Transformation, In 10ème Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances (EGC 2010), 2010. [bibtex]
[116] 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]
[115] Ismael Bouassida Rodriguez, Demo paper: A demonstration of GMTE: the Graph Matching and Transformation Engine, In The 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), 2010. [bibtex]
[114] 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]
[113] 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]
[112] Ismael Bouassida Rodriguez, Jerome Lacouture, Khalil Drira, Semantic Driven Self-Adaptation of Communications applied to ERCMS, In The 24th IEEE International Conference on Advanced Information Networking and Applications (AINA 2010), 2010. [bibtex] [doi]
[111] Hatem Awadi, Mouna Torjmen, Exploitation des liens pour la recherche d'images dans des documents XML, In Proceedings of the 7th French Information Retrieval Conference CORIA 2010 - COnférence en Recherche d'Infomations et Applications, 2010. [bibtex]
[110] 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
[109] 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]
[108] 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]
[107] 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]
[106] 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]
[105] 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]
[104] Clifton Phua, Jit Biswas, Andrei Tolstikov, V Foo, Weimin Huang, M Jayachandran, APW Aung, PC Roy, H Aloulou, MA Feki, others, Plan recognition based on sensor produced micro-context for eldercare, In Proc. of RO-MAN 2009 Workshop on Context-Awareness in Smart environments: Background, Achievements, and Challenges, Japan, 2009. [bibtex]
[103] Hamdi Aloulou, Mohamed Ali Feki, Clifton Phua, Jit Biswas, Efficient incremental plan recognition method for cognitive assistance, In Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings 7, 2009. [bibtex]
[102] 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]
[101] German Sancho, Ismael Bouassida Rodriguez, Thierry Villemur, Said Tazi, Khalil Drira, A model-driven adaptive framework for collaborative ubiquitous systems, In the 9th annual international conference on New Technologies of Distributed Systems (NOTERE'09), 2009. [bibtex]
[100] Nouha Baccour, Anis Koubaa, Maissa Ben Jamaa, Habib Youssef, Marco Zuniga, Mario Alves, A Comparative Simulation Study of Link Quality Estimators in Wireless Sensor Networks, In 17th IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'09), IEEE, 2009. [bibtex] [doi]
[99] 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]
[98] 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]
[97] 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]
[96] 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]
[95] Ismael Bouassida Rodriguez, German Sancho, Thierry Villemur, Said Tazi, Khalil Drira, A model-driven adaptive approach for collaborative ubiquitous systems, In the 3rd workshop on Agent-oriented software engineering challenges for ubiquitous and pervasive computing (AUPC 09), ACM, 2009. [bibtex] [doi]
[94] Maher Ben Jemaa, I. Daly, W. Mansouri, L. Kamoun, Portability of an IEEE 802.11s standard open source implementation on the XOs, In the first International Conference on Communications and Networking (ComNet), 2009. [bibtex]
[93] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Off-Line Placement of Hardware Tasks on FPGA, In IEEE 19th International Conference on Field Programmable Logic and Applications (FPL), 2009. [bibtex]
[92] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Off-line Placement of Reconfigurable Zones and off-line Mapping of Harware Tasks on FPGA, In Conference on Design and Architectures for Signal and Image Processing (DASIP2009), 2009. [bibtex]
[91] 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]
[90] 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
[89] 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]
[88] 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]
[87] 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]
[86] 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]
[85] 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]
[84] 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]
[83] 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]
[82] 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]
[81] 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]
[80] 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]
[79] Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem, Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures., In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),, 2008. [bibtex]
[78] Rene Pegoraro, Riadh Ben Halima, Khalil Drira, Karim Guennoun, Joao Mauricio Rosário, A framework for monitoring and runtime recovery of web service-based applications, In 10th International Conference on Enterprise Information Systems (ICEIS 2008), 2008. [bibtex]
[77] 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]
[76] Soumaya Ghorbel, Maher Ben Jemaa, Mohamed Chtourou, SVM synthesis by hierarchical structures of learning automata application for handwritten digits recognition, In IEEE International Multi-Conference on Systems, Signals and Devices (SSD2008), 2008. [bibtex]
[75] Olga Nabuco, Riadh Ben Halima, Khalil Drira, Maria Grazia Fugini, Stefano Modafferi, Enrico Mussi, Model-Based QoS-Enabled Self-Healing Web Services, In DEXA '08: Proceedings of the 2008 19th International Conference on Database and Expert Systems Application, IEEE Computer Society, 2008. [bibtex] [doi]
2007
[74] 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]
[73] 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]
[72] 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]
[71] 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]
[70] 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]
[69] 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]
[68] 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]
[67] 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]
[66] 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]
[65] 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]
[64] 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]
[63] 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]
[62] 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]
[61] 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]
[60] 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]
[59] 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]
[58] Kaouthar Fakhfakh, Hamamache Kheddouci, Hamida Seba, Outils pour le passage à l’échelle dans la composition des protocoles métier, In , volume 0, 2007. [bibtex]
[57] 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]
[56] 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]
2006
[55] 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]
[54] 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]
[53] 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]
[52] 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]
[51] 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]
[50] 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]
[49] 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]
[48] Hakima Kadri, Rawan Ghnemat, Hatem Hadj Kacem, Cyrille Bertelle, Gerard H. E. Duchamp, Emerging Decision Support System for Geographical Information Systems., In International Conference on Economics, Law and Management ICELM2, 2006. [bibtex]
[47] Omar Cheikhrouhou, M. Laurent-Maknavicius, Maher Ben Jemaa, Nouvelle méthode d'authentification EAP-EHash, In 12ème Colloque Francophone sur l'Ingénierie des Protocoles CFIP'2006, Hermès Science et Publication, ISBN 978-2-7462-1587-0, 2006. [bibtex]
[46] Maher Ben Jemaa, Fatma Bouzid, Saber Ghribi, Conception d'un Logiciel de Localisation d'un mobile, In Workshop avec école intégrée Méthodologies et Heuristiques pour l'Optimisation des Systèmes Industriels MHOSI'2005), 2006. [bibtex]
[45] Ahmed Ben Jemaa, Maher Ben Jemaa, Yosra Ben Jemaa, Optimization of fractal image compression with genetic algorithms, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP 2006), 2006. [bibtex]
[44] M.A. Ben Ayed, Amine Samet, Soumaya Marzouk, N. Souissi, Maher Ben Jemaa, Nouri Masmoudi, New variable block size motion estimation algorithm for H264/AVC, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP), 2006. [bibtex]
2005
[43] 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]
[42] 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]
[41] 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]
[40] 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]
[39] 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]
[38] 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]
[37] 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]
[36] 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]
[35] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, On the decomposition of Boolean functions, In Boolean Functions: Cryptography and Applications, BFCA'05 (P. Valarcher JF. Michon, JB. Yunès, eds.), Publications des universités de Rouen et du Havre, 2005. [bibtex]
[34] Ines Ben Brahim, Maher Ben Jemaa, Multicast Routing Protocol for Ad Hoc Networks with a Quality of Service 'Qos-AODV', In 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2005), 2005. [bibtex]
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] 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]
[30] 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]
[29] 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]
[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]
[26] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, Algebraic erasure of letter-transitions., In Jordan International Conference on Computer Sciences and Engineering, (JICCSE), 2004. [bibtex]
2003
[25] 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]
[24] Ahmed Jmal, Mohamed Jmaiel, Ahmed Hadj Kacem, Support de communication asynchrone dédié aux agents distribués, In Actes des Journées Scientifiques Francophones JSF'03 en Electronique, Télécommunication et Informatique, 2003. [bibtex]
2002
[23] 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]
[22] 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
[21] 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]
[20] 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]
[19] 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
[18] 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]
[17] 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]
[16] 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
[15] 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]
[14] 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
[13] 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]
[12] 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]
[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] 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]
[9] 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]
[8] 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]
[7] 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
[6] Mohamed Jmaiel, A methodology for developing communication protocols, In Proceedings of the first workshop on many facets of processes, 1997. [bibtex]
1995
[5] Mohamed Jmaiel, Development of Communication Protocols by Composing and Refining Temporal Specifications, In Proceedings of the 4th Software Quality Conference, 1995. [bibtex]
[4] 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
[3] 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]
[2] 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
[1] Mohamed Jmaiel, Development of Communication Protocols, In Forschungsprojekte des Graduiertenkollegs 'Kommunikationsbasierte Systeme' (G. Hommel, ed.), 1993. [bibtex]
Masters Thesis
2012
[24] Rahma Bouaziz, Extension et adaptation d'un langage d'aspect pour les systèmes temps réel, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2012. [bibtex]
2011
[23] Sellami Wael, Une approche formelle pour la vérification des propriétés non fonctionnelles d'orchestration des services web, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2011. [bibtex]
[22] Wafa MEKKI, Définition et validation d’une approche de monitoring et d’analyse proactive des systèmes Publier/Souscrire déployés sur les réseaux mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
[21] Wafa Gabsi, Modélisation @Run.Time des Applications à Base de Composants, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
[20] Meriam MAHJOUB, Etude et expérimentation du Cloud Computing pour le monitoring des applications orientées services, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
[19] Mouna Ktari, Une technique de tolérance aux pannes franches dans les systèmes base d'agents mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
[18] Fatma Abdennadher, Traitement de la forte dynamicité dans un système publier/souscrire basé DHT, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
[17] Amal Gassara, Vérification Formelle des Propriétés non Fonctionnelles des RTES Dynamiquement Reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
[16] Alvine Boaye Belle, Conception et Développement d'un Support d'Exécution pour systèmes TR\up2E dynamiquement reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
[15] Nesrine Khabou, Définition et validation d'une approche de monitoring et d'analyse des systèmes Publier/Souscrire déployés sur MANET, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex]
2010
[14] Hatem Awadi, Exploitation des liens pour la recherche d'images dans des documents XML, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex]
[13] Sihem Loukil, Extension d'un langage de description d'architecture pour la programmation orientée aspect, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex]
[12] Maissa Ben Jamaa, An Experimental Study for the Performance Evaluation and Optimization of Link Quality Estimators in Wireless Sensor Networks, Master's thesis, The Faculty of Economics and Management of Sfax, 2010. [bibtex]
[11] Imen Tounsi, Une approche pour la modélisation et la vérification des politiques d'adaptation pour le style P/S, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2010. [bibtex]
2009
[10] Afef Mdhaffar, Définition et Validation d'une Approche d'Analyse des Performances des Services Web Mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex]
[9] Afef Jmal Maâlej, Évaluation de Politiques d'Auto-Adaptabilité basées sur la Mobilité des Services Web Orchestrés, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex]
[8] Zeineb Graja, Méthode ForMAAD: vers une approche dirigée par les modèles pour la conception d'applications à base d'agents, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2009. [bibtex]
2008
[7] Amina Chaabane, Conception d'un Service d'Évènement Distribué Basé Contenu Sécurisé, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex]
[6] Fatma Krichen, Modélisation et Raffinement du Déploiement Dynamique des Architectures Logicielles Distribuées, Master's thesis, Ecole Nationale d'Ingenieurs de Sfax, University de Sfax, Tunisie, 2008. [bibtex]
[5] Imene Lahyani, Une approche pour l'assurance des qualités de services des systèmes publier/souscrire déployés sur un réseau mobile ad-hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex]
2007
[4] 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]
2006
[3] Nouha Baccour, Conception d'une Nouvelle Strategie de Routage Dynamique pour les Reseaux Mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2006. [bibtex]
2005
[2] Slim Kallel, Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005. [bibtex]
2002
[1] Hatem Hadj Kacem, Rationalité et composition d’automate multiplicités, Master's thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2002. [bibtex]
PhD Thesis
2015
[17] Zeineb Graja, Vérification formelle des systèmes multi-agents auto-adaptatifs, PhD thesis, Université de Toulouse et Université de Sfax (FSEGS), 2015. [bibtex]
2013
[16] Soumaya Marzouk, A Policy-based Approach for Instance Migration of Composed Web Services, PhD thesis, Université de Sfax (ENIS), 2013. [bibtex]
[15] Fatma Krichen, Architectures logicielles composants reconfigurables pour les systèmes Temps Réel Répartis Embarqués (TR²E), PhD thesis, Université de Toulouse et Université de Sfax (ENIS), 2013. [bibtex]
[14] Hamdi Aloulou, Framework for ambient assistive living: handling dynamism and uncertainty in real time semantic services provisioning, PhD thesis, Evry, Institut national des télécommunications, 2013. [bibtex]
2011
[13] Slim Kallel, Specifying and Monitoring Non-functional Properties, PhD thesis, Darmstadt University of Technology, 2011. [bibtex]
[12] Ismail Bouassida Rodriguez, Dynamic Software Architecture Management for Collaborative Communicating Systems, PhD thesis, University of Sfax and University of Toulouse, 2011. [bibtex]
[11] Sofien Khemakhem, Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués, PhD thesis, Université Paul Sabatier, Toulouse-France and Université de Sfax-Tunisie, 2011. [bibtex]
[10] Kaouthar FAKHFAKH, Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service, PhD thesis, University of Toulouse and University of Sfax, 2011. [bibtex]
2010
[9] Monia Loulou, Approche Formelle pour la Spécification, la Vérification et le Déploiement des Politiques de Sécurité Dynamiques dans les Systèmes base d'Agents Mobiles, PhD thesis, Université de Sfax, 2010. [bibtex]
[8] Imen Loulou, P/S-COM : a formal method to design correct Publish/Subscribe software architectures, PhD thesis, University of Sfax, 2010. [bibtex]
2009
[7] Amira Regayeg, A formal Development Methodology of Multi-agent Applications, PhD thesis, University of Sfax, 2009. [bibtex]
[6] Riadh BEN HALIMA, Conception, implantation et expérimentation d’une architecture en bus pour l’auto-réparation des applications distribuées base de services Web, PhD thesis, Université Paul Sabatier, Toulouse-France et Université de Sfax-Tunisie, 2009. [bibtex]
2008
[5] Mohamed Hadj Kacem, Modelling of distributed applications with dynamic architecture: design and validation, PhD thesis, University of Toulouse, 2008. [bibtex]
[4] Bechir Zalila, Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture, PhD thesis, École Nationale Supérieure des Télécommunications, 2008. [bibtex]
2007
[3] Tarak Chaari, Adaptation d'applications pervasives dans des environnements multi-contextes, PhD thesis, Institut National des Sciences Appliquées de LYON, 2007. [bibtex]
2005
[2] Hatem Hadj Kacem, Contribution la Contributions la théorie et aux applications des automates multiplicités, PhD thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2005. [bibtex]
1996
[1] Mohamed Jmaiel, Development of Communication Protocols with Algebraic-Temporal Specifications, PhD thesis, Technical University of Berlin, 1996. [bibtex]
Other Publications
2022
[7] Hamdi Aloulou, Bessam Abdulrazak, Antoine de Marassé-Enouf, Mounir Mokhtari, Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27--30, 2022, Proceedings, Springer Nature, 2022. [bibtex]
2019
[6] José Pagán, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, María Fernanda Cabrera, How AI Impacts Urban Living and Public Health: 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings, Springer Nature, 2019. [bibtex]
2018
[5] Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living: 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings, Springer, 2018. [bibtex]
2017
[4] Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Enhanced Quality of Life and Smart Living: 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings, Springer, 2017. [bibtex]
2008
[3] Riadh Ben Halima, Khalil Drira, Karim Guennoun, Rene Pegoraro, Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 2. Deliverable D3.2, Technical report, , 2008. (Projet IST WS-DIAMOND N ° 516933) [bibtex]
2007
[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]
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

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