Regularity of movement based approach for M2M services discovery. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (ISNCC, 2014)

Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (AICCSA, 2016)

Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (SoftCOM, 2016)

Web Services Description and Discovery for Mobile Crowdsensing: Survey and Future Guidelines. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (Int. J. Inf. Syst. Model. Des., 2016)

Efficient composite event detection based on DHT protocol. - Amina Chaabane; Salma Bradai; Wassef Louati; Mohamed Jmaiel (SERA, 2017)

Composite Event Handling over a Distributed Event-Based System. - Amina Chaabane; Salma Bradai; Wassef Louati; Mohamed Jmaiel (SERA (selected papers), 2017)

Real-time and energy aware opportunistic mobile crowdsensing framework based on people's connectivity habits. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (Comput. Networks, 2018)

A Generic Blockchain-based Exchange Place. - Salma Bradai; Amal Gassara; Ahmed Ben Ali; Philippe Genestier; Michel Giordani (BRAINS, 2020)

Blockchain-Based Exchange Place: Genericity vs Performance. - Salma Bradai; Amal Gassara; Khaled Taouil; Badii Louati (CRiSIS, 2023)

Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (ISCC, 2023)

Formal Verification of Smart Contracts Based on Model Checking: An Overview. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (WETICE, 2023)

Benchmarking Large Language Models for Ethereum Smart Contract Development. - Etienne Daspe; Mathis Durand; Julien Hatin; Salma Bradai (BRAINS, 2024)

Investing in Renewable Energy: Securing Solar Panels Marketplace by NFT. - Moez Hachicha; Salma Bradai (CRiSIS, 2024)

Towards an Automated Verification Approach for ERC-Based Smart Contracts. - Rim Ben Fekih; Mariam Lahami; Mohamed Salem El Eze; Salma Bradai; Mohamed Jmaiel (ICSOC (2), 2024)

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. - Rim Ben Fekih; Mariam Lahami; Salma Bradai; Mohamed Jmaiel (IEEE Access, 2025)

Optimizing blockchain performance in multi-use case marketplaces. - Salma Bradai; Amal Gassara; Khaled Taouil; Moez Hachicha; Ghayth Farhat (Innov. Syst. Softw. Eng., 2025)