Mehdi Talbi

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 2

Top Topics

Optimal Stopping

Search Heuristics

Specific Problems

Top Venues

SIAM J. Control. Optim.

Publications

Mehdi Talbi, Nizar Touzi, Jianfeng Zhang
Viscosity Solutions for Obstacle Problems on Wasserstein Space. SIAM J. Control. Optim. 61 (3) (2023)
Mehdi Talbi, Nizar Touzi, Jianfeng Zhang
Dynamic Programming Equation for the Mean Field Optimal Stopping Problem. SIAM J. Control. Optim. 61 (4) (2023)
Mehdi Talbi, Mohamed Mejri, Adel Bouhoula
Specification and evaluation of polymorphic shellcode properties using a new temporal logic. J. Comput. Virol. 5 (3) (2009)
Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula
Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols. ARES (2009)
Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. ICICS (2008)
Mehdi Talbi, Meriam Ben Ghorbel, Mohamed Mejri
Intrusion Detection Prototype Based on ADM-Logic. J. Softw. 3 (2) (2008)
Meriam Ben Ghorbel, Mehdi Talbi, Mohamed Mejri
Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic. ARES (2007)