Nawel Hamdi

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 1

Top Topics

Retrieval Systems

Decision Support

Automated Verification

Natural Resources

Top Venues

Publications

Nawel Hamdi, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman
A Survey on SLA Management Using Blockchain Based Smart Contracts. ISDA (2021)
Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane
An On-the-Fly Approach for the Verification of Opacity in Critical Systems. WETICE (2014)