Mohamed Jmaiel

334 papers A 4B 24C 91Misc 17Journal 91Unranked 100
YearRankTypeTitle / Venue / Authors
2025 J jnl
A privacy-preserving traceability system for self-sovereign identity-based inter-organizational business processes.
Comput. Stand. Interfaces
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2025 — conf
AI-Driven and QoS-Aware Orchestration of Interdependent Services in the Cloud Continuum.
ICSOC (2)
Henda Sfaxi, Dia Jean Cédric Sanou, Imene Lahyani, Sami Yangui, Mohamed Jmaiel
2025 B conf
Blockchain-Powered Certificate Verification Enhanced by Self-Sovereign Identity and Off-Chain Caching.
IWCMC
Saoussen Cheikhrouhou, Mariem Turki, Slim Kallel, Amal Abid, Mohamed Jmaiel
2025 J jnl
Cloud Elasticity of Microservices-Based Applications: A Survey.
Concurr. Comput. Pract. Exp.
Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel
2025 J jnl
Deep generative models for physiological signals: A systematic literature review.
Artif. Intell. Medicine
Nour Neifar, Afef Mdhaffar, Achraf Ben-Hamadou, Mohamed Jmaiel
2025 C conf
Energy-Saving Approaches for 5G and Beyond: New Classification and Analysis.
CoDIT
Hasna Fourati, Rihab Maaloul, Lamia Chaari, Mohamed Jmaiel
2025 — conf
FedKD4DD: Federated Knowledge Distillation for Depression Detection.
ICAART (3)
Aslam Jlassi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2025 J jnl
Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review.
IEEE Access
Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel
2025 — conf
Leveraging Incremental Domain Adaptation in Olive Disease Detection.
AIAI (2)
Emna Guermazi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2025 J jnl
Lightweight blockchain-based access control with efficient revocation for fog-enabled IoT.
Innov. Syst. Softw. Eng.
Fatma Ellouze, Ghofrane Fersi, Mohamed Jmaiel
2025 J jnl
RL4CEP: reinforcement learning for updating CEP rules.
Complex Intell. Syst.
Afef Mdhaffar, Ghassen Baklouti, Yassine Rebai, Mohamed Jmaiel, Bernd Freisleben
2025 J jnl
SmartGuard: Verifying Safety and Compliance of Ethereum Smart Contracts.
SN Comput. Sci.
Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel
2024 — conf
A Framework for the Automatic Conversion of Text Into Sign Language.
ICSOC Workshops (2)
Souha Ben Hamouda, Mohamed Jmaiel, Wafa Gabsi, Bechir Zalila
2024 J jnl
A Smart Contract-Based Access Control Framework For Smart Healthcare Systems.
Comput. J.
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Zahir Tari, Mohamed Jmaiel
2024 — conf
A fog and blockchain-based distributed Virtual Private Networks (VPN).
DCOSS-IoT
Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel
2024 J jnl
An efficient energy saving scheme using reinforcement learning for 5G and beyond in H-CRAN.
Ad Hoc Networks
Hasna Fourati, Rihab Maaloul, Nessrine Trabelsi, Lamia Chaari, Mohamed Jmaiel
2024 — conf
Comprehensive Overview: Ethereum Smart Contract Security Testing for Reentrancy Issues.
ICSOC Workshops (2)
Marwa Mnasri, Afef Jmal Maâlej, Mohamed Jmaiel
2024 C conf
DiffECG: A Versatile Probabilistic Diffusion Model for ECG Signals Synthesis.
SERA
Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel
2024 — conf
Dynamic Blockchain-Based Access Control for Internet of Things.
ICSOC Workshops (2)
Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel
2024 — conf
EduCheck: Ensuring Diploma Authenticity Using Blockchain Technology.
ICSOC Workshops (2)
Mariem Turki, Slim Kallel, Mohamed Jmaiel
2024 — conf
Knowledge Distillation for Object Detection Using YOLO-NAS.
ICSOC Workshops (1)
Emna Guermazi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2024 — conf
LIDL4Oliv: A Lightweight Incremental Deep Learning Model for Classifying Olive Diseases in Images.
ICAART (2)
Emna Guermazi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2024 J jnl
Leveraging Statistical Shape Priors in GAN-Based ECG Synthesis.
IEEE Access
Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2024 B conf
Lightweight WEB3 interface for secure IoMT-Blockchain integration.
IWCMC
Fatma Ellouze, Ghofrane Fersi, Mohamed Jmaiel
2024 J jnl
MulKD: Multi-layer Knowledge Distillation via collaborative learning.
Eng. Appl. Artif. Intell.
Emna Guermazi, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2024 — conf
Towards an Automated Verification Approach for ERC-Based Smart Contracts.
ICSOC (2)
Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel
2024 C conf
Towards the Standardization of Disease Registry Form Structure.
ICT4AWE
Fatimetou Sidina, Hatem Bellaaj, Mohamed Jmaiel
2024 — conf
TraSSI: A Confidential Traceability System for Self-sovereign Identity-Based Processes.
ICSOC Workshops (2)
Amal Abid, Slim Kallel, Mohamed Jmaiel
2023 C conf
A Comparative Study of GAN Methods for Physiological Signal Generation.
ICPRAM
Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2023 J jnl
A core IoT ontology for automation support in edge computing.
Serv. Oriented Comput. Appl.
Sahar Ghrab, Imene Lahyani, Sami Yangui, Mohamed Jmaiel
2023 — conf
A review of usable EEG-based solutions for epileptic seizure prediction.
TACC
Abir Affes, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2023 J jnl
Access control in Internet of Things: A survey.
Comput. Secur.
Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel
2023 J jnl
An Efficient Energy-Saving Scheme Using Genetic Algorithm for 5G Heterogeneous Networks.
IEEE Syst. J.
Hasna Fourati, Rihab Maaloul, Lamia Fourati, Mohamed Jmaiel
2023 J jnl
Deep Generative Models for Physiological Signals: A Systematic Literature Review.
CoRR
Nour Neifar, Afef Mdhaffar, Achraf Ben-Hamadou, Mohamed Jmaiel
2023 J jnl
DiffECG: A Generalized Probabilistic Diffusion Model for ECG Signals Synthesis.
CoRR
Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel
2023 C conf
Formal Modeling and Verification of ERC Smart Contracts: Application to NFT.
ISCC
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
2023 C conf
Formal Verification of Smart Contracts Based on Model Checking: An Overview.
WETICE
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
2023 — conf
InsectDSOT: A Neural Network for Insect Detection in Olive Trees.
ICAART (2)
Lotfi Souifi, Afef Mdhaffar, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Bernd Freisleben
2023 J jnl
Introduction to the special issue on new trends in autonomous systems engineering.
J. Supercomput.
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2023 — conf
Misbehavior detection systems in IoT environment: A survey.
TACC
Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel
2023 — ed.
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.
TACC
Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel
2023 C ed.
Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers
CRiSIS
Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens
2023 C conf
Towards Microservices-Aware Autoscaling: A Review.
ISCC
Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel
2022 C conf
A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes.
FedCSIS
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2022 C conf
A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning.
AICCSA
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 J jnl
Accountable privacy preserving attribute-based access control for cloud services enforced using blockchain.
Int. J. Inf. Sec.
Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel
2022 — conf
An Energy Efficient Scheme Using Heuristic Algorithms for 5G H-CRAN.
AINA (1)
Hasna Fourati, Rihab Maaloul, Lamia Chaari, Mohamed Jmaiel
2022 Misc conf
Disentangling temporal and amplitude variations in ECG synthesis using anchored GANs.
SAC
Nour Neifar, Afef Mdhaffar, Achraf Ben-Hamadou, Mohamed Jmaiel, Bernd Freisleben
2022 J jnl
EPMA: Elastic Platform for Microservices-based Applications: Towards Optimal Resource Elasticity.
J. Grid Comput.
Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel
2022 J jnl
Leveraging Statistical Shape Priors in GAN-based ECG Synthesis.
CoRR
Nour Neifar, Achraf Ben-Hamadou, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2022 — conf
Limitations of static autonomous scheduling for TSCH protocol and advances in adaptive scheduling.
CCWC
Sana Rekik, Nouha Baccour, Mohamed Jmaiel
2022 J jnl
Masking for better discovery: Weakly supervised complementary body regions mining for person re-identification.
Expert Syst. Appl.
Mahmoud Ghorbel, Sourour Ammar, Yousri Kessentini, Mohamed Jmaiel
2022 J jnl
NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates.
Softw. Pract. Exp.
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2022 J jnl
Personalized attention-based EEG channel selection for epileptic seizure prediction.
Expert Syst. Appl.
Abir Affes, Afef Mdhaffar, Chahnez Triki, Mohamed Jmaiel, Bernd Freisleben
2022 — ed.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021.
TACC
Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez
2022 B conf
Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum.
COMPSAC
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier
2022 C conf
Virtual Private Network Blockchain-based Dynamic Access Control Solution for Inter-organisational Large Scale IoT Networks.
CRiSIS
Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel
2021 — conf
A Multi-view Active Learning Approach for the Hierarchical Multi-label Classification of Research Papers.
AINA (2)
Abir Masmoudi, Hatem Bellaaj, Mohamed Jmaiel
2021 C conf
A Review of Container level Autoscaling for Microservices-based Applications.
WETICE
Mohamed Hedi Fourati, Soumaya Marzouk, Mohamed Jmaiel
2021 J jnl
A co-training-based approach for the hierarchical multi-label classification of research papers.
Expert Syst. J. Knowl. Eng.
Abir Masmoudi, Hatem Bellaaj, Khalil Drira, Mohamed Jmaiel
2021 J jnl
A model-based approach for multi-level privacy policies derivation for cloud services.
Int. J. Secur. Networks
Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel
2021 J jnl
Comprehensive survey on self-organizing cellular network approaches applied to 5G networks.
Comput. Networks
Hasna Fourati, Rihab Maaloul, Lamia Chaari, Mohamed Jmaiel
2021 B conf
Connected Medical Kiosks to Counter COVID-19: Needs, Architecture & Design Guidelines.
IWCMC
Lamia Chaari Fourati, Slim Rekhis, Samiha Ayed, Mohamed Jmaiel
2021 J jnl
From generating process views over inter-organizational business processes to achieving their temporal consistency.
Computing
Slim Kallel, Saoussen Cheikhrouhou, Zakaria Maamar, Nawal Guermouche, Mohamed Jmaiel
2021 — ed.
Pattern Recognition and Artificial Intelligence - 4th Mediterranean Conference, MedPRAI 2020, Hammamet, Tunisia, December 20-22, 2020, Proceedings
MedPRAI
Chawki Djeddi, Yousri Kessentini, Imran Siddiqi, Mohamed Jmaiel
2021 — conf
TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results.
TACC
Mohamed Hedi Fourati, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2021 — conf
Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone.
TACC
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2020 J jnl
A formal approach to AADL model-based software engineering.
Int. J. Softw. Tools Technol. Transf.
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
2020 J jnl
AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems.
Expert Syst. J. Knowl. Eng.
Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel
2020 C conf
Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report.
WETICE
Khalil Drira, Mohamed Jmaiel, Ismael Bouassida Rodriguez, Nesrine Khabou
2020 C conf
Blockchain for Internet of Medical Things: A Technical Review.
ICOST
Fatma Ellouze, Ghofrane Fersi, Mohamed Jmaiel
2020 — conf
Fusing Local and Global Features for Person Re-identification Using Multi-stream Deep Neural Networks.
MedPRAI
Mahmoud Ghorbel, Sourour Ammar, Yousri Kessentini, Mohamed Jmaiel, Ahmed Chaari
2020 Misc conf
How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract.
SenSys
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2020 C conf
Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach.
ICOST
Mayara Khadhraoui, Hatem Bellaaj, Mehdi Ben Ammar, Habib Hamam, Mohamed Jmaiel
2020 J jnl
New trends in adaptive smart systems, services, and architectures.
Concurr. Comput. Pract. Exp.
Khalil Drira, Mohamed Jmaiel
2020 J jnl
Q-Rank: Reinforcement Learning for Recommending Algorithms to Predict Drug Sensitivity to Cancer Therapy.
IEEE J. Biomed. Health Informatics
Salma Daoud, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2020 C ed.
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
ICOST
Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel
2020 J jnl
Time-aware selection approach for service composition based on pruning and improvement techniques.
Softw. Qual. J.
Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Mohamed Jmaiel
2020 J jnl
Toward a correct and optimal time-aware cloud resource allocation to business processes.
Future Gener. Comput. Syst.
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel
2019 C conf
A Convolutional Gated Recurrent Neural Network for Epileptic Seizure Prediction.
ICOST
Abir Affes, Afef Mdhaffar, Chahnez Triki, Mohamed Jmaiel, Bernd Freisleben
2019 J jnl
A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric.
Sci. Comput. Program.
Mariam Chaabane, Ismael Bouassida Rodriguez, Ricardo Colomo-Palacios, Walid Gaaloul, Mohamed Jmaiel
2019 J jnl
An overview of a novel analysis approach for enhancing context awareness in smart environments.
Inf. Softw. Technol.
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2019 C conf
DL4DED: Deep Learning for Depressive Episode Detection on Mobile Devices.
ICOST
Afef Mdhaffar, Fedi Cherif, Yousri Kessentini, Manel Maalej, Jihen Ben Thabet, Mohamed Maalej, Mohamed Jmaiel, Bernd Freisleben
2019 C conf
DOCKERANALYZER : Towards Fine Grained Resource Elasticity for Microservices-Based Applications Deployed with Docker.
PDCAT
Mohamed Hedi Fourati, Soumaya Marzouk, Khalil Drira, Mohamed Jmaiel
2019 J jnl
Executing bigraphical reactive systems.
Discret. Appl. Math.
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira
2019 — conf
Improving Person Re-identification by Background Subtraction Using Two-Stream Convolutional Networks.
ICIAR (1)
Mahmoud Ghorbel, Sourour Ammar, Yousri Kessentini, Mohamed Jmaiel
2019 C conf
Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment.
CRiSIS
Amal Abid, Saoussen Cheikhrouhou, Mohamed Jmaiel
2018 — conf
A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions.
ICEIS (Revised Selected Papers)
Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel
2018 Misc conf
A decision approach for energy distribution management in smart cities.
SAC
Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2018 Misc conf
A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs.
SAC
Salma Daoud, Afef Mdhaffar, Bernd Freisleben, Mohamed Jmaiel
2018 J jnl
A novel adaptation approach for collaborative ubiquitous applications.
Int. J. Auton. Adapt. Commun. Syst.
Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2018 J jnl
A performance analysis of Orchestra scheduling for time-slotted channel hopping networks.
Internet Technol. Lett.
Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira
2018 B conf
A semantic approach for constructing valid composition scenarios of linguistic Web services.
KES
Mariem Neji, Bilel Gargouri, Mohamed Jmaiel
2018 C conf
Adaptive and Reconfigurable Systems and Architectures (AROSA 2018): Summary Report.
WETICE
Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira
2018 Misc conf
An adaptive neuro-fuzzy inference system for improving data quality in disease registries.
SAC
Hatem Bellaaj, Afef Mdhaffar, Mohamed Jmaiel, Sondes Hdiji Mseddi, Bernd Freisleben
2018 Misc conf
An ocarina extension for AADL formal semantics generation.
SAC
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
2018 B conf
Anomaly Detection and Diagnosis Scheme for Mobile Health Applications.
AINA
Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Khalil Drira
2018 J jnl
Autonomous and traffic-aware scheduling for TSCH networks.
Comput. Networks
Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira, Luigi Alfredo Grieco
2018 J jnl
Data accuracy aware mobile healthcare applications.
Comput. Ind.
Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel
2018 C conf
Experiencing Low Power Wireless Links in Distribution Smart Grid Environments.
AICCSA
Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira
2018 B conf
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.
AINA
Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2018 J jnl
Multi-objective design exploration approach for Ravenscar real-time systems.
Real Time Syst.
Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel
2018 J jnl
Real-time and energy aware opportunistic mobile crowdsensing framework based on people's connectivity habits.
Comput. Networks
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
2018 — conf
Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation.
OTM Conferences (1)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2017 B conf
A Design Guideline for Adaptation Decisions in the Autonomic Loop.
KES
Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2017 C conf
A Hybrid Approach for Private Data Protection in the Cloud.
GPC
Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel
2017 C conf
A Novel Analysis Procedure for Context-Aware Applications in Ubiquitous Environments: Application to a Smart Building Case Study.
AICCSA
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2017 C conf
A Utility-Based Approach for Self-Adaptive Systems: Application to a Smart Building.
AICCSA
Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2017 C conf
A Web-Based Knowledge Management System for Scientific Research Team.
WETICE
Abir Masmoudi, Emna Mezghani, Hatem Bellaaj, Khalil Drira, Mohamed Jmaiel
2017 J jnl
A bigraphical multi-scale modeling methodology for system of systems.
Comput. Electr. Eng.
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira
2017 J jnl
A context change detection approach for ubiquitous environments.
Int. J. Auton. Adapt. Commun. Syst.
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2017 J jnl
A novel analysis approach for the design and the development of context-aware applications.
J. Syst. Softw.
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2017 J jnl
A semantic-based representation and analysis of monitoring data for self-adaptive systems.
Int. J. Auton. Comput.
Ahmed Jemal, Riadh Ben Halima, Hend Ktait, Mohamed Jmaiel
2017 Misc conf
A tool for modeling SoS architectures using bigraphs.
SAC
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2017 C conf
AROSA 2017: Summary Report.
WETICE
Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira
2017 — conf
An Adaptive Scrum Model for Developing Disease Registries.
HEALTHINF
Hatem Bellaaj, Afef Mdhaffar, Mohamed Jmaiel, Bernd Freisleben
2017 J jnl
An approach based on runtime models for developing dynamically adaptive systems.
Future Gener. Comput. Syst.
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2017 — conf
Composite Event Handling over a Distributed Event-Based System.
SERA (selected papers)
Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel
2017 C conf
Development of a parser for the AADL error model annex.
ICIS
Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel
2017 C conf
Efficient composite event detection based on DHT protocol.
SERA
Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel
2017 J jnl
Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems.
Comput. Electr. Eng.
Slim Kallel, Khalil Drira, Mohamed Jmaiel
2017 — conf
IoT-based health monitoring via LoRaWAN.
EUROCON
Afef Mdhaffar, Tarak Chaari, Kaouthar Larbi, Mohamed Jmaiel, Bernd Freisleben
2017 C conf
Mining Approach for Software Architectures' Description Discovery.
AICCSA
Mariam Chaabane, Ismael Bouassida Rodriguez, Khalil Drira, Mohamed Jmaiel
2017 — conf
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process.
SCC
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2017 C conf
PCA-based multivariate anomaly detection in mobile healthcare applications.
DS-RT
Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel
2017 C conf
PRIARMOR: An IaaS Solution for Low-Level Privacy Enforcement in the Cloud.
WETICE
Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel
2017 J jnl
Privacy in cloud computing environments: a survey and research challenges.
J. Supercomput.
Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel
2017 J jnl
Reactive performance monitoring of Cloud computing environments.
Clust. Comput.
Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2017 Misc conf
System of systems software architecture description using the ISO/IEC/IEEE 42010 standard.
SAC
Mariam Chaabane, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2017 C conf
Tools of Epidemiologic Research Protocol Creation: A Survey.
AICCSA
Mayara Khadhraoui, Hatem Bellaaj, Jihene Maatoug, Mohamed Jmaiel
2017 J jnl
Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms.
Wirel. Pers. Commun.
Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira
2016 — conf
An Overview of a Decision Approach for Autonomic Applications Architectural Adaptation.
HPCC/SmartCity/DSS
Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2016 J jnl
Analytical decisional model for latency aware publish/subscribe systems on MANET.
J. Syst. Softw.
Imene Lahyani, Mohamed Jmaiel, Christophe Chassot
2016 C conf
Arosa Track Report.
WETICE
Slim Kallel, Khalil Drira, Mohamed Jmaiel
2016 C conf
AspectAda: An aspect oriented extension of ada for real-time systems.
ICIS
Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel
2016 B conf
Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments.
AINA
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2016 C conf
EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems.
SERA
Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel
2016 C conf
Efficient parallel multi-objective optimization for real-time systems software design exploration.
RSP
Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel
2016 J jnl
Encoding Bigraphical Reactive Systems into Graph Transformation Systems.
Electron. Notes Discret. Math.
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira
2016 C conf
Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing.
AICCSA
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
2016 Misc conf
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance.
Ada-Europe
Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel
2016 — conf
Formal Verification of Time-Aware Cloud Resource Allocation in Business Process.
OTM Conferences
Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel
2016 B conf
Holistic link quality estimation-based routing metric for RPL networks in smart grids.
PIMRC
Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira
2016 — conf
OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems.
ICC 2016
Ahmed Jemal, Hend Ktait, Riadh Ben Halima, Mohamed Jmaiel
2016 C ed.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016.
VECoS
Mohamed Ghazel, Mohamed Jmaiel
2016 Misc conf
Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing.
SoftCOM
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
2016 — conf
Recursive and Rolling Windows for Medical Time Series Forecasting: A Comparative Study.
CSE/EUC/DCABES
Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel
2016 J jnl
Safe and efficient runtime testing framework applied in dynamic and distributed systems.
Sci. Comput. Program.
Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2016 J jnl
SoLDES: Service-oriented Lexical Database Exploitation System.
Res. Comput. Sci.
Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel
2016 J jnl
Special issue Editorial: New technologies of distributed systems.
Concurr. Comput. Pract. Exp.
Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel
2016 J jnl
The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA.
Serv. Oriented Comput. Appl.
Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel
2016 C conf
Towards ODRAH: An ontology-based data reliability assessment in mobile health.
AICCSA
Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel
2016 J jnl
Web Services Description and Discovery for Mobile Crowdsensing: Survey and Future Guidelines.
Int. J. Inf. Syst. Model. Des.
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
2015 — conf
A Semantic Driven Approach for an Automated Composition Based on Abstract Services.
ICEBE
Emna Fki, Saïd Tazi, Mohamed Jmaiel
2015 C conf
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes.
ICTAC
Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari
2015 Misc conf
A multi-scale modeling approach for software architecture deployment.
SAC
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2015 C conf
AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures.
WETICE
Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2015 B conf
Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization.
ICECCS
Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel
2015 J jnl
Context analysis approach for context aware applications deployed on pervasive environments.
EAI Endorsed Trans. Context aware Syst. Appl.
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2015 C conf
Designing energy efficient Smart Buildings in ubiquitous environments.
ISDA
Imen Abdennadher, Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2015 J jnl
Development of reconfigurable distributed embedded systems with a model-driven approach.
Concurr. Comput. Pract. Exp.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Bernard Coulette
2015 J jnl
Enabling Technologies: Infrastructure for Collaborative Enterprises.
Comput. J.
Slim Kallel, Mohamed Jmaiel, Sumitra Reddy
2015 Misc conf
From AADL Model to LNT Specification.
Ada-Europe
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
2015 A conf
Heuristic Based Time-Aware Service Selection Approach.
ICWS
Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel
2015 J jnl
Latency-aware publish/subscribe systems on MANET.
Int. J. Wirel. Mob. Comput.
Imene Lahyani, Mohamed Jmaiel, Khalil Drira, Christophe Chassot
2015 B conf
Low-Power link quality estimation in smart grid environments.
IWCMC
Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira
2015 — conf
Monitoring of Service-Oriented Applications for the Reconstruction of Interactions Models.
ICCSA (1)
Mariam Chaabane, Fatma Krichen, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2015 C conf
Requirement-based lexical web service generation.
ISDA
Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel
2015 C conf
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations.
ICTSS
Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
2015 J jnl
Semantic-based approach to improve the description and the discovery of Linguistic Web Services.
Eng. Appl. Artif. Intell.
Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel
2015 J jnl
The temporal perspective in business process modeling: a survey and research challenges.
Serv. Oriented Comput. Appl.
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2015 J jnl
Time-Dependent QoS Aware Best Service Combination Selection.
Int. J. Web Serv. Res.
Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Mohamed Jmaiel, Saïd Tazi
2015 — conf
Towards a Decision Approach for Autonomic Systems Adaptation.
MobiWac
Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Mariano Vargas-Santiago, Saúl E. Pomares Hernández
2015 C conf
Towards patterns-based Linguistic Web Service composition.
AICCSA
Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel
2015 — conf
Une étude de la décision pour l'adaptation autonomique des systèmes.
CAL
Imen Abdennadher, Mohamed Jmaiel
2015 C conf
XPath translation to enhance the semantic matching of fine-grained Web service security policies.
AICCSA
Monia Ben Brahim, Tarak Chaari, Mohamed Jmaiel
2014 — conf
A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus.
ANT/SEIT
Nesrine Khabou, Ismael Bouassida Rodriguez, Ghada Gharbi, Mohamed Jmaiel
2014 C conf
An Efficient Service Selection Approach with Time-Dependent QoS.
WETICE
Ikbel Guidara, Tarak Chaari, Mohamed Jmaiel
2014 C conf
Analytical Decisional Model for Publish/Subscribe Systems on MANET.
WETICE
Imene Lahyani, Mohamed Jmaiel, Christophe Chassot
2014 — conf
CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing.
NETYS
Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2014 C conf
CEP4Cloud: Complex Event Processing for Self-Healing Clouds.
WETICE
Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2014 J jnl
D-CEP4CMA: a dynamic architecture for cloud performance monitoring and analysis via complex event processing.
Int. J. Big Data Intell.
Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2014 B conf
DAT: Dependency Analysis Tool for Service Based Business Processes.
AINA
Olfa Bouchaala, Mohamed Yangui, Samir Tata, Mohamed Jmaiel
2014 — ch.
EasyLoc: Plug-and-Play RSS-Based Localization in Wireless Sensor Networks.
Cooperative Robots and Sensor Networks
Maissa Ben Jamâa, Anis Koubaa, Nouha Baccour, Yasir Kayani, Khaled Al-Shalfan, Mohamed Jmaiel
2014 — conf
Energy Saving in WSN Using Monitoring Values Prediction.
ANT/SEIT
Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel
2014 — conf
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes.
IEEE SCC
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2014 B conf
Greedy Flooding in Redoubtable Sensor Networks.
AINA
Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari
2014 — conf
Middleware for Dynamically Adaptive Systems.
ARCS
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2014 — conf
Monitoring of Quality of Service in Dynamically Adaptive Systems.
ICAIS
Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2014 A conf
On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes.
ICSOC
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2014 A conf
Pruning Based Service Selection Approach Under QoS and Temporal Constraints.
ICWS
Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel
2014 — conf
Q-learning-based data replication for highly dynamic distributed hash tables.
NOF
Souhir Feki, Wassef Louati, Nadia Masmoudi, Mohamed Jmaiel
2014 C conf
Regularity of movement based approach for M2M services discovery.
ISNCC
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
2014 — conf
Threshold-based context change detection for ubiquitous environments.
ICCASA
Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2014 C conf
Toward a Verification of Time-Centric Business Process Models.
WETICE
Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2013 C ed.
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Hammamet, Tunisia, June 17-20, 2013
WETICE
Sumitra Reddy, Mohamed Jmaiel
2013 — conf
A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis.
CloudCom (2)
Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2013 — conf
A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes.
EC-Web
Olfa Bouchaala, Samir Tata, Mohamed Jmaiel
2013 — conf
A Survey on Time-aware Business Process Modeling.
ICEIS (3)
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2013 J jnl
A policy-based approach for strong mobility of composed Web services.
Serv. Oriented Comput. Appl.
Soumaya Marzouk, Mohamed Jmaiel
2013 J jnl
AO4AADL: Aspect oriented extension for AADL.
Central Eur. J. Comput. Sci.
Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel
2013 — conf
Automated Significant Load Testing for WS-BPEL Compositions.
ICST Workshops
Afef Jmal Maâlej, Manel Hamza, Moez Krichen, Mohamed Jmaiel
2013 — conf
Conformance testing for quality assurance of clustering architectures.
QASBA@ISSTA
Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel
2013 J jnl
Managing Architectural Reconfiguration at Runtime.
Int. J. Web Portals
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2013 C conf
OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services.
CLOSER
Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel
2013 — conf
Runtime Adaptation of Component Based Systems.
NETYS
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2013 — conf
Runtime testing framework for improving quality in dynamic service-based systems.
QASBA@ISSTA
Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2013 C conf
Semantic Matching to Achieve Software Component Discovery and Composition.
WEBIST
Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel
2013 — conf
Time-Aware Automatic Process View Generation.
ICEBE
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2013 C conf
Toward a Time-centric modeling of Business Processes in BPMN 2.0.
iiWAS
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2013 B conf
Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs.
ECSA
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2013 J jnl
Towards a semantic-driven and scalable publish/subscribe framework.
Int. J. Internet Protoc. Technol.
Amina Chaabane, Codé Diop, Wassef Louati, Mohamed Jmaiel, Jorge R. Gomez-Montalvo, Ernesto Exposito
2013 J jnl
Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems.
Concurr. Comput. Pract. Exp.
Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel
2013 — conf
Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems.
EUROMICRO-SEAA
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2013 Misc conf
WSCCT: a tool for WS-BPEL compositions conformance testing.
SAC
Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel
2012 C conf
A Comprehensive Survey on Intra and Inter Organizational Agreements.
WETICE
Ikbel Guidara, Tarak Chaari, Kaouthar Fakhfakh, Mohamed Jmaiel
2012 — conf
A Middleware for Reconfigurable Distributed Real-Time Embedded Systems.
SERA (selected papers)
Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid
2012 Misc conf
A flexible approach for service composition using service patterns.
SAC
Emna Fki, Mohamed Jmaiel, Chantal Soulé-Dupuy, Saïd Tazi
2012 C conf
AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures.
WETICE
Mohamed Jmaiel, Slim Kallel
2012 C conf
An Ontology-Based Approach for Linguistic Web Service Description.
WETICE
Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel
2012 C conf
Analytical Framework for QoS Aware Publish/subscribe System Deployed on MANET.
ISPA
Imene Lahyani, Lamia Ben Amor, Mohamed Jmaiel, Khalil Drira, Christophe Chassot
2012 B conf
Conformance Testing of WS-BPEL Compositions under Various Load Conditions.
COMPSAC
Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel
2012 — conf
Design-Time Verification of Reconfigurable Real-time Embedded Systems.
HPCC-ICESS
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
2012 C conf
Enhancing Linguistic Web Service Description with Non-functional NLP Properties.
ICSOFT
Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel
2012 — conf
Model-Based Conformance Testing of WS-BPEL Compositions.
COMPSAC Workshops
Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel
2012 J jnl
Modeling and enforcing invariants of dynamic software architectures.
Softw. Syst. Model.
Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel
2012 C conf
Predictive Schemes for QoS Awareness of Publish/Subscribe Systems on MANET.
ISPDC
Imene Lahyani, Mouna Gassara, Mohamed Jmaiel, Christophe Chassot
2012 C conf
QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET.
PDP
Imene Lahyani, Nesrine Khabou, Mohamed Jmaiel
2012 C conf
Semantic matching of web services security policies.
CRiSIS
Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel
2012 — ed.
Service-Oriented Computing - ICSOC 2011 Workshops - ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
ICSOC Workshops
George Pallis, Mohamed Jmaiel, Anis Charfi, Sven Graupner, Yücel Karabulut, Sam Guinea, Florian Rosenberg, Quan Z. Sheng, Cesare Pautasso, Sonia Ben Mokhtar
2012 C conf
Towards Self Healing Publish/Subscribe System on MANET.
WETICE
Imene Lahyani, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Christophe Chassot
2012 C conf
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems.
ICTSS
Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel
2012 C conf
Towards a verification approach for reconfigurable embedded systems.
ISCC
Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel
2012 — conf
Towards an ontology and DHT-based publish/subscribe scalable system.
ICC
Amina Chaabane, Wassef Louati, Mohamed Jmaiel, Jorge R. Gomez-Montalvo, Codé Diop, Ernesto Exposito
2012 C conf
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.
ICTSS
Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel
2012 — conf
Vers une approche d'analyse et de diagnostic pour les architectures M2M autonomes et sensibles au contexte.
CAL
Imene Lahyani, Lamia Ben Amor, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2011 — conf
A Comparative Study of the Current Cloud Computing Technologies and Offers.
NCCA
Meriam Mahjoub, Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel
2011 — conf
A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems.
CAL
Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2011 J jnl
A survey on software checkpointing and mobility techniques in distributed systems.
Concurr. Comput. Pract. Exp.
Soumaya Marzouk, Mohamed Jmaiel
2011 C conf
AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring.
CIT
Afef Mdhaffar, Riadh Ben Halima, Ernst Juhnke, Mohamed Jmaiel, Bernd Freisleben
2011 C conf
Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011.
WETICE
Khalil Drira, Mohamed Jmaiel
2011 — conf
Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network.
AINA Workshops
Imene Lahyani, Mohamed Jmaiel
2011 C conf
Graph-based Management of Communities of Web Service Registries.
WEBIST
Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel
2011 — conf
Modeling and Managing Communities of Web Service Registries.
WEBIST (Selected Papers)
Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel
2011 — conf
Semantic Matching of WS-SecurityPolicy Assertions.
ICSOC Workshops
Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel
2011 B conf
Towards a Model-Based Approach for Reconfigurable DRE Systems.
ECSA
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
2010 — conf
A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures.
BSME
Ismael Bouassida Rodriguez, Riadh Ben Halima, Khalil Drira, Christophe Chassot, Mohamed Jmaiel
2010 — conf
A Runtime Performance Analysis for Web Service-Based Applications.
ICWE Workshops
Afef Mdhaffar, Soumaya Marzouk, Riadh Ben Halima, Mohamed Jmaiel
2010 — conf
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications.
SERA (selected papers)
Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira
2010 J jnl
A large-scale monitoring and measurement campaign for web services-based applications.
Concurr. Comput. Pract. Exp.
Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel
2010 J jnl
A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars.
Int. J. Auton. Comput.
Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Karim Guennoun, Mohamed Jmaiel
2010 J jnl
An Integration Ontology for Components Composition.
Int. J. Web Portals
Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel
2010 — conf
Aspect-Oriented Checkpointing Approach of Composed Web Services.
ICWE Workshops
Soumaya Marzouk, Afef Jmal Maâlej, Mohamed Jmaiel
2010 — conf
Graph grammar-based transformation for context-aware architectures supporting group communication.
CAL
Ismael Bouassida Rodriguez, Christophe Chassot, Mohamed Jmaiel
2010 — conf
Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers.
AINA Workshops
Kaouthar Fakhfakh, Saïd Tazi, Khalil Drira, Tarak Chaari, Mohamed Jmaiel
2010 — conf
Intention Driven Service Composition with Patterns.
ICEIS (3)
Emna Fki, Chantal Soulé-Dupuy, Saïd Tazi, Mohamed Jmaiel
2010 — conf
Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services.
NOTERE
Soumaya Marzouk, Mohamed Jmaiel
2010 — conf
Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs.
CAL
Kaouthar Fakhfakh, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel, Ikbel Guidara
2010 — ed.
NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings
NOTERE
Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel
2010 J jnl
ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements.
Int. J. Syst. Serv. Oriented Eng.
Kaouthar Fakhfakh, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel, Khalil Drira
2010 J jnl
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.
J. Syst. Softw.
Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem
2010 — conf
Security Mapping to Enhance Matching Fine-Grained Security Policies.
NDT (1)
Monia Ben Brahim, Maher Ben Jemaa, Mohamed Jmaiel
2010 B conf
Toward an Aspect Oriented ADL for Embedded Systems.
ECSA
Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel
2010 C conf
Towards the reuse of lingware systems: a proposed approach with a practical experiment.
iiWAS
Nabil Baklouti, Sonia Bouaziz, Bilel Gargouri, Chafik Aloulou, Mohamed Jmaiel
2010 B conf
Using Recommendation to Limit Search Space in Web Services Discovery.
AINA
Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel
2009 — conf
A Secure Content-Based Publish/Subscribe Middleware.
ITNG
Amina Chaabane, Mohamed Jmaiel
2009 — conf
A collaborative distributed video indexing.
ICTA
Mohamed Heni Frikha, Mohamed Jmaiel, Walid Mahdi
2009 J jnl
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
Int. J. Inf. Comput. Secur.
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe
2009 — conf
A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems.
WICSA/ECSA
Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel
2009 — conf
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.
FSEN
Mohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira
2009 J jnl
Dynamic security framework for mobile agent systems: specification, verification and enforcement.
Int. J. Inf. Comput. Secur.
Monia Loulou, Mohamed Jmaiel, Mohamed Mosbah
2009 C conf
Experiments results and large scale measurement data for web services performance assessment.
ISCC
Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel
2009 — conf
From Formal Access Control Policies to Runtime Enforcement Aspects.
ESSoS
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose
2009 — conf
Periodic Checkpointing for Strong Mobility of Orchestrated Web Services.
SERVICES I
Soumaya Marzouk, Afef Jmal Maâlej, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2009 C conf
Security aware content-based publish/subscribe system.
ISCC
Amina Chaabane, Mohamed Jmaiel
2009 — conf
Specifying and Monitoring Temporal Properties in Web Services Compositions.
ECOWS
Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel
2008 A conf
A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services.
ICWS
Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel
2008 C conf
A UML rule-based approach for describing and checking dynamic software architectures.
AICCSA
Mohammed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira
2008 C conf
A formal security framework for mobile agent systems: Specification and verification.
CRiSIS
Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah
2008 J jnl
An experimental evaluation of SEC+, an enhanced search engine for component-based software development.
ACM SIGSOFT Softw. Eng. Notes
Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel
2008 J jnl
An experimental evaluation of SEC+, an enhanced search engine for component-based software development.
ACM SIGSOFT Softw. Eng. Notes
Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel
2008 C conf
Aspect-based enforcement of formal delegation policies.
CRiSIS
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
2008 C ed.
CRiSIS '08, Third International Conference on Risks and Security of Internet and Systems, Tozeur, Tunisia, October 28-30, 2008
CRiSIS
Mohamed Jmaiel, Mohamed Mosbah
2008 J jnl
Context-aware adaptation for group communication support applications with dynamic architecture
CoRR
Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel
2008 C conf
Electing a leader in the local computation model using mobile agents.
AICCSA
Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2008 — conf
Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism.
CSTST
Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed Jmaiel
2008 Misc conf
Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.
ICDCN
Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2008 C conf
Towards Making WSRF Based Web Services Strongly Mobile.
WETICE
Soumaya Marzouk, Mohamed Jmaiel
2008 — conf
Towards modelling and analysis of a coordination protocol for dynamic software adaptation.
CSTST
Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2007 B conf
A Distributed Computational Model for Mobile Agents.
PRIMA
Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2007 — conf
A Formal Approach to prevent Attacks on Mobile Agent Systems.
SECURWARE
Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel
2007 C conf
A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties.
WETICE
Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel
2007 C conf
A Serialisation Based Approach for Processes Strong Mobility.
DAIS
Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel
2007 — conf
A serialization based approach for strong mobility of shared object.
PPPJ
Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel
2007 C conf
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
COORDINATION
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
2007 J jnl
ForMAAD: A formal method for agent-based application design.
Web Intell. Agent Syst.
Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel
2007 B conf
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.
ECSA
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2007 — conf
LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use.
LTC
Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel
2007 J jnl
SEC+: an enhanced search engine for component-based software development.
ACM SIGSOFT Softw. Eng. Notes
Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel
2007 — conf
Using Aspects for Enforcing Formal Architectural Invariants.
FACS
Slim Kallel, Anis Charfi, Mohamed Jmaiel
2006 — conf
An UML-Based Approach for Validation of Software Architecture Descriptions.
TEAA
Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2006 C conf
Compositional specification of event-based software architectural styles.
AICCSA
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2006 Misc conf
Describing dynamic software architectures using an extended UML model.
SAC
Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2006 J jnl
ForMAAD Method: An Experimental Design for Air Traffic Control.
Int. Trans. Syst. Sci. Appl.
Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel
2006 Misc conf
SEC: a search engine for component based software development.
SAC
Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel
2005 C conf
A formal model for mobile agent systems using Z.
AICCSA
Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel
2005 — conf
Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures.
ICEIS (3)
Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2005 — conf
Graphical simulation of the dynamic evolution of the software architectures specified in Z.
IWPSE
Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira
2005 — conf
Towards a Formal Methodology for Designing Multi-agent Applications.
MATES
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2005 — conf
Towards a UML profile for the description of dynamic software architectures.
COEA
Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2005 C conf
Towards a formal methodology for developing multi-agent applications using temporal Z.
AICCSA
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2005 — conf
Using UML2.0 and GG for Describing the Dynamic of Software Architectures.
ICITA (1)
Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2004 — conf
Formalization of Cooperation in MAS: Towards a Generic Conceptual Model.
IBERAMIA
Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel
2004 B conf
Specification and Design of Multi-agent Applications Using Temporal Z.
PRIMA
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2004 — conf
Specification and Verification of Multi-Agent Applications using Temporal Z.
IAT
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2004 — conf
Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.
ICPS
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2003 J jnl
An approach to the formal specification of lingware.
Nat. Lang. Eng.
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
2003 J jnl
Development of communication protocols using algebraic and temporal specifications.
Comput. Networks
Mohamed Jmaiel, Peter Pepper
2002 — conf
A multi-agent approach for genetic algorithm implementation.
SMC (2)
Ilhem Kallel, Mohamed Jmaiel, Adel M. Alimi
2002 B conf
An Operational Semantics for Negotiating Agents.
PRIMA
Mohamed Jmaiel, Ahmed Hadj Kacem
2002 J jnl
Guest editorial.
J. Syst. Softw.
Kamel Barkaoui, Mohamed Jmaiel, Ali Mili
2001 J jnl
A Belief-Goal-Role Theory for Multiagent Systems.
Int. J. Pattern Recognit. Artif. Intell.
Walid Chainbi, Abdelmajid Ben Hamadou, Mohamed Jmaiel
2001 C conf
An Environment for Formal Lingware Engineering.
AICCSA
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
2001 C conf
An Environment for Formal Specification and Verification of Lingware.
IEA/AIE
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
2001 C conf
Cooperative Systems for Information Sharing and Exchange.
WETICE
Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem
2001 — conf
Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster).
JFIADSMA
Mohamed Jmaiel, Ahmed Hadj Kacem
2000 C conf
A Unified Algebraic Framework for Specifying Communication Protocols.
ICFEM
Mohamed Jmaiel
2000 B conf
Using a Formal Approach to Evaluate Grammars.
LREC
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
1999 C conf
A Formal Approach to Lingware Development.
IEA/AIE
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
1998 — conf
Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems.
DAI
Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou
1998 — conf
Vers l'utilisation des méthodes formelles pour le développement de linguiciels.
COLING-ACL
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
1996 — —
Development of communication protocols with algebraic temporal specifications.
Mohamed Jmaiel
1996 J jnl
Specification of communication protocols using temporal logic.
J. Syst. Softw.
Mohamed Jmaiel
1995 — conf
An algebraic-temporal specification of a CSMA/CD-protocol.
PSTV
Mohamed Jmaiel