Ahmed Ben Ali

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Computation Tree Logic

Segmentation Errors

Top Venues

Publications

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)
Asma Ben Abdallah, Abdelaziz Kallel, Mouna Dammak, Ahmed Ben Ali
Olive tree and shadow instance segmentation based on Detectron2. ATSIP (2022)
Salma Bradai, Amal Gassara, Ahmed Ben Ali, Philippe Genestier, Michel Giordani
A Generic Blockchain-based Exchange Place. BRAINS (2020)