Salma Bradai

According to our database, Salma Bradai authored at least 16 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Optimizing blockchain performance in multi-use case marketplaces.

Salma Bradai, Amal Gassara, Khaled Taouil, Moez Hachicha, Ghayth Farhat

Innov. Syst. Softw. Eng., June, 2025

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review.

Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel

IEEE Access, 2025

2024

Towards an Automated Verification Approach for ERC-Based Smart Contracts.

Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel

Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024

Investing in Renewable Energy: Securing Solar Panels Marketplace by NFT.

Moez Hachicha, Salma Bradai

Proceedings of the Risks and Security of Internet and Systems, 2024

Benchmarking Large Language Models for Ethereum Smart Contract Development.

Etienne Daspe, Mathis Durand, Julien Hatin, Salma Bradai

Proceedings of the 6th Conference on Blockchain Research & Applications for Innovative Networks and Services , 2024

2023

Formal Verification of Smart Contracts Based on Model Checking: An Overview.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

Formal Modeling and Verification of ERC Smart Contracts: Application to NFT.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Proceedings of the IEEE Symposium on Computers and Communications, 2023

Blockchain-Based Exchange Place: Genericity vs Performance.

Salma Bradai, Amal Gassara, Khaled Taouil, Badii Louati

Proceedings of the Risks and Security of Internet and Systems, 2023

2020

A Generic Blockchain-based Exchange Place.

Salma Bradai, Amal Gassara, Ahmed Ben Ali, Philippe Genestier, Michel Giordani

Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

2018

Real-time and energy aware opportunistic mobile crowdsensing framework based on people's connectivity habits.

Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel

Comput. Networks, 2018

2017

Composite Event Handling over a Distributed Event-Based System.

Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel

Proceedings of the Software Engineering Research, 2017

Efficient composite event detection based on DHT protocol.

Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel

Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

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

Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing.

Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel

Proceedings of the 24th International Conference on Software, 2016

Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing.

Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2014

Regularity of movement based approach for M2M services discovery.

Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel

Proceedings of the International Symposium on Networks, Computers and Communications, 2014