| 2026 | IWCMC | An Optimized Pairing-Based Threshold Proxy Re-Encryption Scheme for Scalable Medical Data Sharing in IoT/Fog Environments. | Fatma Ellouze, Ghofrane Fersi, Mohamed Jmaiel |
| 2025 | AIAI | Leveraging Incremental Domain Adaptation in Olive Disease Detection. | Emna Guermazi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben |
| 2025 | CoDIT | Energy-Saving Approaches for 5G and Beyond: New Classification and Analysis. | Hasna Fourati, Rihab Maaloul, Lamia Chaari, Mohamed Jmaiel |
| 2025 | ICAART | FedKD4DD: Federated Knowledge Distillation for Depression Detection. | Aslam Jlassi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben |
| 2025 | ICSOC | AI-Driven and QoS-Aware Orchestration of Interdependent Services in the Cloud Continuum. | Henda Sfaxi, Dia Jean Cdric Sanou, Imene Lahyani, Sami Yangui, Mohamed Jmaiel |
| 2025 | IWCMC | Blockchain-Powered Certificate Verification Enhanced by Self-Sovereign Identity and Off-Chain Caching. | Saoussen Cheikhrouhou, Mariem Turki, Slim Kallel, Amal Abid, Mohamed Jmaiel |
| 2024 | DCOSS | A fog and blockchain-based distributed Virtual Private Networks (VPN). | Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel |
| 2024 | ICAART | LIDL4Oliv: A Lightweight Incremental Deep Learning Model for Classifying Olive Diseases in Images. | Emna Guermazi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben |
| 2024 | ICSOC | TraSSI: A Confidential Traceability System for Self-sovereign Identity-Based Processes. | Amal Abid, Slim Kallel, Mohamed Jmaiel |
| 2024 | ICSOC | Towards an Automated Verification Approach for ERC-Based Smart Contracts. | Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel |
| 2024 | ICSOC | Knowledge Distillation for Object Detection Using YOLO-NAS. | Emna Guermazi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben |
| 2024 | ICSOC | A Framework for the Automatic Conversion of Text Into Sign Language. | Souha Ben Hamouda, Mohamed Jmaiel, Wafa Gabsi, Bechir Zalila |
| 2024 | ICSOC | Comprehensive Overview: Ethereum Smart Contract Security Testing for Reentrancy Issues. | Marwa Mnasri, Afef Jmal Malej, Mohamed Jmaiel |
| 2024 | ICSOC | Dynamic Blockchain-Based Access Control for Internet of Things. | Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel |
| 2024 | ICSOC | EduCheck: Ensuring Diploma Authenticity Using Blockchain Technology. | Mariem Turki, Slim Kallel, Mohamed Jmaiel |
| 2024 | IWCMC | Lightweight WEB3 interface for secure IoMT-Blockchain integration. | Fatma Ellouze, Ghofrane Fersi, Mohamed Jmaiel |
| 2024 | SERA | DiffECG: A Versatile Probabilistic Diffusion Model for ECG Signals Synthesis. | Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel |
| 2023 | ICAART | InsectDSOT: A Neural Network for Insect Detection in Olive Trees. | Lotfi Souifi, Afef Mdhaffar, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Bernd Freisleben |
| 2023 | ICPRAM | A Comparative Study of GAN Methods for Physiological Signal Generation. | Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben |
| 2023 | ISCC | Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
| 2023 | ISCC | Towards Microservices-Aware Autoscaling: A Review. | Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel |
| 2023 | WETICE | Formal Verification of Smart Contracts Based on Model Checking: An Overview. | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
| 2022 | AICCSA | A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning. | 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 |
| 2022 | AINA | An Energy Efficient Scheme Using Heuristic Algorithms for 5G H-CRAN. | Hasna Fourati, Rihab Maaloul, Lamia Chaari, Mohamed Jmaiel |
| 2022 | COMPSAC | Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier |
| 2022 | CRiSIS | Virtual Private Network Blockchain-based Dynamic Access Control Solution for Inter-organisational Large Scale IoT Networks. | Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel |
| 2022 | FedCSIS | A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes. | Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel |
| 2022 | SAC | Disentangling temporal and amplitude variations in ECG synthesis using anchored GANs. | Nour Neifar, Afef Mdhaffar, Achraf Ben-Hamadou, Mohamed Jmaiel, Bernd Freisleben |
| 2021 | AINA | A Multi-view Active Learning Approach for the Hierarchical Multi-label Classification of Research Papers. | Abir Masmoudi, Hatem Bellaaj, Mohamed Jmaiel |
| 2021 | IWCMC | Connected Medical Kiosks to Counter COVID-19: Needs, Architecture & Design Guidelines. | Lamia Chaari Fourati, Slim Rekhis, Samiha Ayed, Mohamed Jmaiel |
| 2021 | WETICE | A Review of Container level Autoscaling for Microservices-based Applications. | Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel |
| 2020 | ICOST | Blockchain for Internet of Medical Things: A Technical Review. | Fatma Ellouze, Ghofrane Fersi, Mohamed Jmaiel |
| 2020 | ICOST | Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach. | Mayara Khadhraoui, Hatem Bellaaj, Mehdi Ben Ammar, Habib Hamam, Mohamed Jmaiel |
| 2020 | SENSYS | How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract. | Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel |
| 2020 | WETICE | Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report. | Khalil Drira, Mohamed Jmaiel, Ismael Bouassida Rodriguez, Nesrine Khabou |
| 2019 | CRiSIS | Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment. | Amal Abid, Saoussen Cheikhrouhou, Mohamed Jmaiel |
| 2019 | ICOST | A Convolutional Gated Recurrent Neural Network for Epileptic Seizure Prediction. | Abir Affes, Afef Mdhaffar, Chahnez Triki, Mohamed Jmaiel, Bernd Freisleben |
| 2019 | ICOST | DL4DED: Deep Learning for Depressive Episode Detection on Mobile Devices. | Afef Mdhaffar, Fedi Cherif, Yousri Kessentini, Manel Maalej, Jihen Ben Thabet, Mohamed Maalej, Mohamed Jmaiel, Bernd Freisleben |
| 2019 | PDCAT | DOCKERANALYZER : Towards Fine Grained Resource Elasticity for Microservices-Based Applications Deployed with Docker. | Mohamed Hedi Fourati, Soumaya Marzouk, Khalil Drira, Mohamed Jmaiel |
| 2018 | AICCSA | Experiencing Low Power Wireless Links in Distribution Smart Grid Environments. | Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira |
| 2018 | AINA | Anomaly Detection and Diagnosis Scheme for Mobile Health Applications. | Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Khalil Drira |
| 2018 | AINA | Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. | Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel |
| 2018 | KES | A semantic approach for constructing valid composition scenarios of linguistic Web services. | Mariem Neji, Bilel Gargouri, Mohamed Jmaiel |
| 2018 | SAC | A decision approach for energy distribution management in smart cities. | Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2018 | SAC | An adaptive neuro-fuzzy inference system for improving data quality in disease registries. | Hatem Bellaaj, Afef Mdhaffar, Mohamed Jmaiel, Sondes Hdiji Mseddi, Bernd Freisleben |
| 2018 | SAC | A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs. | Salma Daoud, Afef Mdhaffar, Bernd Freisleben, Mohamed Jmaiel |
| 2018 | SAC | An ocarina extension for AADL formal semantics generation. | Hana Mkaouar, Bechir Zalila, Jrme Hugues, Mohamed Jmaiel |
| 2018 | WETICE | Adaptive and Reconfigurable Systems and Architectures (AROSA 2018): Summary Report. | Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira |
| 2017 | AICCSA | A Utility-Based Approach for Self-Adaptive Systems: Application to a Smart Building. | Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2017 | AICCSA | Mining Approach for Software Architectures' Description Discovery. | Mariam Chaabane, Ismael Bouassida Rodriguez, Khalil Drira, Mohamed Jmaiel |
| 2017 | AICCSA | A Novel Analysis Procedure for Context-Aware Applications in Ubiquitous Environments: Application to a Smart Building Case Study. | Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2017 | AICCSA | Tools of Epidemiologic Research Protocol Creation: A Survey. | Mayara Khadhraoui, Hatem Bellaaj, Jihene Maatoug, Mohamed Jmaiel |
| 2017 | GPC | A Hybrid Approach for Private Data Protection in the Cloud. | Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel |
| 2017 | KES | A Design Guideline for Adaptation Decisions in the Autonomic Loop. | Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2017 | SAC | System of systems software architecture description using the ISO/IEC/IEEE 42010 standard. | Mariam Chaabane, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2017 | SAC | A tool for modeling SoS architectures using bigraphs. | Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2017 | WETICE | PRIARMOR: An IaaS Solution for Low-Level Privacy Enforcement in the Cloud. | Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel |
| 2017 | WETICE | A Web-Based Knowledge Management System for Scientific Research Team. | Abir Masmoudi, Emna Mezghani, Hatem Bellaaj, Khalil Drira, Mohamed Jmaiel |
| 2017 | WETICE | AROSA 2017: Summary Report. | Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira |
| 2017 | SERA | Efficient composite event detection based on DHT protocol. | Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel |
| 2017 | SERA | Composite Event Handling over a Distributed Event-Based System. | Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel |
| 2016 | AICCSA | Towards ODRAH: An ontology-based data reliability assessment in mobile health. | Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel |
| 2016 | AICCSA | Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing. | Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel |
| 2016 | AINA | Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments. | Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2016 | HPCC | An Overview of a Decision Approach for Autonomic Applications Architectural Adaptation. | Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2016 | PIMRC | Holistic link quality estimation-based routing metric for RPL networks in smart grids. | Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira |
| 2016 | WETICE | Arosa Track Report. | Slim Kallel, Khalil Drira, Mohamed Jmaiel |
| 2016 | RSP | Efficient parallel multi-objective optimization for real-time systems software design exploration. | Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel |
| 2016 | SERA | EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems. | Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel |
| 2016 | SOFTCOM | Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing. | Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel |
| 2015 | AICCSA | Towards patterns-based Linguistic Web Service composition. | Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel |
| 2015 | AICCSA | XPath translation to enhance the semantic matching of fine-grained Web service security policies. | Monia Ben Brahim, Tarak Chaari, Mohamed Jmaiel |
| 2015 | ICCSA | Monitoring of Service-Oriented Applications for the Reconstruction of Interactions Models. | Mariam Chaabane, Fatma Krichen, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2015 | ICECCS | Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization. | Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel |
| 2015 | ICTAC | A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. | Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari |
| 2015 | ICWS | Heuristic Based Time-Aware Service Selection Approach. | Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Sad Tazi, Mohamed Jmaiel |
| 2015 | ISDA | Designing energy efficient Smart Buildings in ubiquitous environments. | Imen Abdennadher, Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2015 | ISDA | Requirement-based lexical web service generation. | Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel |
| 2015 | IWCMC | Low-Power link quality estimation in smart grid environments. | Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira |
| 2015 | SAC | A multi-scale modeling approach for software architecture deployment. | Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2015 | WETICE | AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. | Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2014 | AINA | Greedy Flooding in Redoubtable Sensor Networks. | Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari |
| 2014 | AINA | DAT: Dependency Analysis Tool for Service Based Business Processes. | Olfa Bouchaala, Mohamed Yangui, Samir Tata, Mohamed Jmaiel |
| 2014 | ANT | Energy Saving in WSN Using Monitoring Values Prediction. | Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel |
| 2014 | ANT | A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus. | Nesrine Khabou, Ismael Bouassida Rodriguez, Ghada Gharbi, Mohamed Jmaiel |
| 2014 | ICSOC | On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. | Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel |
| 2014 | ICWS | Pruning Based Service Selection Approach Under QoS and Temporal Constraints. | Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Sad Tazi, Mohamed Jmaiel |
| 2014 | ISNCC | Regularity of movement based approach for M2M services discovery. | Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel |
| 2014 | WETICE | Toward a Verification of Time-Centric Business Process Models. | Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel |
| 2014 | WETICE | An Efficient Service Selection Approach with Time-Dependent QoS. | Ikbel Guidara, Tarak Chaari, Mohamed Jmaiel |
| 2014 | WETICE | Analytical Decisional Model for Publish/Subscribe Systems on MANET. | Imene Lahyani, Mohamed Jmaiel, Christophe Chassot |
| 2014 | WETICE | CEP4Cloud: Complex Event Processing for Self-Healing Clouds. | Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben |
| 2013 | CLOSER | OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services. | Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel |
| 2013 | CloudCom | A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis. | Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben |
| 2013 | ECSA | Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs. | Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2013 | IIWAS | Toward a Time-centric modeling of Business Processes in BPMN 2.0. | Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel |
| 2013 | ICST | Automated Significant Load Testing for WS-BPEL Compositions. | Afef Jmal Malej, Manel Hamza, Moez Krichen, Mohamed Jmaiel |
| 2013 | ISSTA | Runtime testing framework for improving quality in dynamic service-based systems. | Mariam Lahami, Moez Krichen, Mohamed Jmaiel |
| 2013 | ISSTA | Conformance testing for quality assurance of clustering architectures. | Afef Jmal Malej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel |
| 2013 | SAC | WSCCT: a tool for WS-BPEL compositions conformance testing. | Afef Jmal Malej, Moez Krichen, Mohamed Jmaiel |
| 2013 | WEBIST | Semantic Matching to Achieve Software Component Discovery and Composition. | Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel |
| 2012 | COMPSAC | Conformance Testing of WS-BPEL Compositions under Various Load Conditions. | Afef Jmal Malej, Moez Krichen, Mohamed Jmaiel |
| 2012 | COMPSAC | Model-Based Conformance Testing of WS-BPEL Compositions. | Afef Jmal Malej, Moez Krichen, Mohamed Jmaiel |
| 2012 | CRiSIS | Semantic matching of web services security policies. | Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel |
| 2012 | HPCC | Design-Time Verification of Reconfigurable Real-time Embedded Systems. | Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel |
| 2012 | ICSoft | Enhancing Linguistic Web Service Description with Non-functional NLP Properties. | Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel |
| 2012 | ISCC | Towards a verification approach for reconfigurable embedded systems. | Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel |
| 2012 | ISPA | Analytical Framework for QoS Aware Publish/subscribe System Deployed on MANET. | Imene Lahyani, Lamia Ben Amor, Mohamed Jmaiel, Khalil Drira, Christophe Chassot |
| 2012 | ISPDC | Predictive Schemes for QoS Awareness of Publish/Subscribe Systems on MANET. | Imene Lahyani, Mouna Gassara, Mohamed Jmaiel, Christophe Chassot |
| 2012 | PDP | QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET. | Imene Lahyani, Nesrine Khabou, Mohamed Jmaiel |
| 2012 | SAC | A flexible approach for service composition using service patterns. | Emna Fki, Mohamed Jmaiel, Chantal Soul-Dupuy, Sad Tazi |
| 2012 | WETICE | An Ontology-Based Approach for Linguistic Web Service Description. | Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel |
| 2012 | WETICE | A Comprehensive Survey on Intra and Inter Organizational Agreements. | Ikbel Guidara, Tarak Chaari, Kaouthar Fakhfakh, Mohamed Jmaiel |
| 2012 | WETICE | AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. | Mohamed Jmaiel, Slim Kallel |
| 2012 | WETICE | Towards Self Healing Publish/Subscribe System on MANET. | Imene Lahyani, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Christophe Chassot |
| 2012 | SERA | A Middleware for Reconfigurable Distributed Real-Time Embedded Systems. | Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid |
| 2011 | AINA | Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network. | Imene Lahyani, Mohamed Jmaiel |
| 2011 | ECSA | Towards a Model-Based Approach for Reconfigurable DRE Systems. | Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel |
| 2011 | ICSOC | Semantic Matching of WS-SecurityPolicy Assertions. | Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel |
| 2011 | WEBIST | Graph-based Management of Communities of Web Service Registries. | Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
| 2011 | WEBIST | Modeling and Managing Communities of Web Service Registries. | Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
| 2011 | WETICE | Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011. | Khalil Drira, Mohamed Jmaiel |
| 2010 | AINA | Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers. | Kaouthar Fakhfakh, Sad Tazi, Khalil Drira, Tarak Chaari, Mohamed Jmaiel |
| 2010 | AINA | Using Recommendation to Limit Search Space in Web Services Discovery. | Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
| 2010 | ECSA | Toward an Aspect Oriented ADL for Embedded Systems. | Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel |
| 2010 | IIWAS | Towards the reuse of lingware systems: a proposed approach with a practical experiment. | Nabil Baklouti, Sonia Bouaziz, Bilel Gargouri, Chafik Aloulou, Mohamed Jmaiel |
| 2010 | ICWE | Aspect-Oriented Checkpointing Approach of Composed Web Services. | Soumaya Marzouk, Afef Jmal Malej, Mohamed Jmaiel |
| 2010 | ICWE | A Runtime Performance Analysis for Web Service-Based Applications. | Afef Mdhaffar, Soumaya Marzouk, Riadh Ben Halima, Mohamed Jmaiel |
| 2010 | SERA | A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications. | Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira |
| 2009 | ISCC | Security aware content-based publish/subscribe system. | Amina Chaabane, Mohamed Jmaiel |
| 2009 | ISCC | Experiments results and large scale measurement data for web services performance assessment. | Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel |
| 2009 | SERVICES | Periodic Checkpointing for Strong Mobility of Orchestrated Web Services. | Soumaya Marzouk, Afef Jmal Malej, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2008 | AICCSA | Electing a leader in the local computation model using mobile agents. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2008 | AICCSA | A UML rule-based approach for describing and checking dynamic software architectures. | Mohammed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira |
| 2008 | CRiSIS | Aspect-based enforcement of formal delegation policies. | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
| 2008 | CRiSIS | A formal security framework for mobile agent systems: Specification and verification. | Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah |
| 2008 | ICDCN | Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2008 | ICWS | A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. | Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel |
| 2008 | WETICE | Towards Making WSRF Based Web Services Strongly Mobile. | Soumaya Marzouk, Mohamed Jmaiel |
| 2007 | Coordination | Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
| 2007 | DAIS | A Serialisation Based Approach for Processes Strong Mobility. | Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel |
| 2007 | ECSA | Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
| 2007 | PRIMA | A Distributed Computational Model for Mobile Agents. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2007 | WETICE | A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties. | Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel |
| 2006 | AICCSA | Compositional specification of event-based software architectural styles. | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
| 2006 | SAC | Describing dynamic software architectures using an extended UML model. | Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
| 2006 | SAC | SEC: a search engine for component based software development. | Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel |
| 2005 | AICCSA | A formal model for mobile agent systems using Z. | Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel |
| 2005 | AICCSA | Towards a formal methodology for developing multi-agent applications using temporal Z. | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
| 2005 | ICITA | Using UML2.0 and GG for Describing the Dynamic of Software Architectures. | Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |
| 2004 | PRIMA | Specification and Design of Multi-agent Applications Using Temporal Z. | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
| 2002 | PRIMA | An Operational Semantics for Negotiating Agents. | Mohamed Jmaiel, Ahmed Hadj Kacem |
| 2002 | SMC | A multi-agent approach for genetic algorithm implementation. | Ilhem Kallel, Mohamed Jmaiel, Adel M. Alimi |
| 2001 | AICCSA | An Environment for Formal Lingware Engineering. | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
| 2001 | WETICE | Cooperative Systems for Information Sharing and Exchange. | Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem |
| 2000 | ICFEM | A Unified Algebraic Framework for Specifying Communication Protocols. | Mohamed Jmaiel |
| 2000 | LREC | Using a Formal Approach to Evaluate Grammars. | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
| 1998 | ACL | Vers l'utilisation des mthodes formelles pour le dveloppement de linguiciels. | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |