Ahmed Ben Ali

According to our database, Ahmed Ben Ali authored at least 3 papers between 2020 and 2022.

Collaborative distances:

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

2022

Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

Olive tree and shadow instance segmentation based on Detectron2.

Asma Ben Abdallah, Abdelaziz Kallel, Mouna Dammak, Ahmed Ben Ali

Proceedings of the 6th International Conference on Advanced Technologies for Signal and Image Processing, 2022

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