Tesnim Abdellatif

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 2

Top Topics

Mathematical Foundations

Security Concerns

Biometric Template

Top Venues

Math. Struct. Comput. Sci.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Maher Boughdiri, Takoua Abdellatif, Tesnim Abdellatif
Blockchain Survey for Security and Privacy in the e-Health Ecosystem. CRiSIS (2022)
Tesnim Abdellatif, Kei-Léo Brousmiche
Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models. NTMS (2018)
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
Rigorous implementation of real-time systems - from theory to application. Math. Struct. Comput. Sci. 23 (4) (2013)
Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. 60 (12) (2012)
Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès
Correct Implementation of Open Real-Time Systems. EUROMICRO-SEAA (2011)
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
Model-based implementation of real-time applications. EMSOFT (2010)