Salma Bradai

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 10

Top Topics

Spatio Temporal Databases

Event Detection

Web Service Discovery

Top Venues

SERA (selected papers)

Publications

Salma Bradai, Amal Gassara, Khaled Taouil, Badii Louati
Blockchain-Based Exchange Place: Genericity vs Performance. CRiSIS (2023)
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
Formal Verification of Smart Contracts Based on Model Checking: An Overview. WETICE (2023)
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. ISCC (2023)
Salma Bradai, Amal Gassara, Ahmed Ben Ali, Philippe Genestier, Michel Giordani
A Generic Blockchain-based Exchange Place. BRAINS (2020)
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
Real-time and energy aware opportunistic mobile crowdsensing framework based on people's connectivity habits. Comput. Networks 142 (2018)
Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel
Efficient composite event detection based on DHT protocol. SERA (2017)
Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel
Composite Event Handling over a Distributed Event-Based System. SERA (selected papers) (2017)
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
Web Services Description and Discovery for Mobile Crowdsensing: Survey and Future Guidelines. Int. J. Inf. Syst. Model. Des. 7 (4) (2016)
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing. SoftCOM (2016)
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing. AICCSA (2016)
Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel
Regularity of movement based approach for M2M services discovery. ISNCC (2014)