Publications by Types
 
Publication by dates | Conference A*

Search:

By Type:

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


Refereed Articles
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, 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]
[209] 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]
[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] 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]
[14] Mohamed Jmaiel, Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 5, 2007. [bibtex]
[13] Ahmed Hadj Kacem, 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]


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