Tesnim Abdellatif

According to our database, Tesnim Abdellatif authored at least 7 papers between 2010 and 2022.

Collaborative distances:

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

2022

Blockchain Survey for Security and Privacy in the e-Health Ecosystem.

Maher Boughdiri, Takoua Abdellatif, Tesnim Abdellatif

Proceedings of the Risks and Security of Internet and Systems, 2022

2018

Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models.

Tesnim Abdellatif, Kei-Léo Brousmiche

Proceedings of the 9th IFIP International Conference on New Technologies, 2018

2013

Rigorous implementation of real-time systems - from theory to application.

Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis

Math. Struct. Comput. Sci., 2013

2012

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

Tesnim Abdellatif

PhD thesis, 2012

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

2011

Correct Implementation of Open Real-Time Systems.

Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Model-based implementation of real-time applications.

Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis

Proceedings of the 10th International conference on Embedded software, 2010