Model-based implementation of real-time applications. - Tesnim Abdellatif; Jacques Combaz; Joseph Sifakis (EMSOFT, 2010)

Correct Implementation of Open Real-Time Systems. - Tesnim Abdellatif; Jacques Combaz; Marc Poulhiès (EUROMICRO-SEAA, 2011)

Rigorous design of robot software: A formal component-based approach. - Tesnim Abdellatif; Saddek Bensalem; Jacques Combaz; Lavindra de Silva; Félix Ingrand (Robotics Auton. Syst., 2012)

Implémentation rigoureuse des systèmes temps-réels. (Rigorous Implementation of Real-Time Systems). - Tesnim Abdellatif (2012)

Rigorous implementation of real-time systems - from theory to application. - Tesnim Abdellatif; Jacques Combaz; Joseph Sifakis (Math. Struct. Comput. Sci., 2013)

Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models. - Tesnim Abdellatif; Kei-Léo Brousmiche (NTMS, 2018)

Blockchain Survey for Security and Privacy in the e-Health Ecosystem. - Maher Boughdiri; Takoua Abdellatif; Tesnim Abdellatif (CRiSIS, 2022)