Salma Bradai

17 papers C 7Misc 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
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 J jnl
Optimizing blockchain performance in multi-use case marketplaces.
Innov. Syst. Softw. Eng.
Salma Bradai, Amal Gassara, Khaled Taouil, Moez Hachicha, Ghayth Farhat
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
Benchmarking Large Language Models for Ethereum Smart Contract Development.
BRAINS
Etienne Daspe, Mathis Durand, Julien Hatin, Salma Bradai
2024 C conf
Investing in Renewable Energy: Securing Solar Panels Marketplace by NFT.
CRiSIS
Moez Hachicha, Salma Bradai
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
2023 C conf
Blockchain-Based Exchange Place: Genericity vs Performance.
CRiSIS
Salma Bradai, Amal Gassara, Khaled Taouil, Badii Louati
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
2020 — conf
A Generic Blockchain-based Exchange Place.
BRAINS
Salma Bradai, Amal Gassara, Ahmed Ben Ali, Philippe Genestier, Michel Giordani
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
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
Efficient composite event detection based on DHT protocol.
SERA
Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel
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
Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing.
SoftCOM
Salma Bradai, Sofien Khemakhem, 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
2014 C conf
Regularity of movement based approach for M2M services discovery.
ISNCC
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel