Rim Ben Fekih

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Temporal Properties

Pspace Complete

Top Venues

Publications

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)
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier
Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. COMPSAC (2022)
Rim Ben Fekih, Mariam Lahami
Application of Blockchain Technology in Healthcare: A Comprehensive Study. ICOST (2020)