Tesnim Abdellatif
According to our database1,
Tesnim Abdellatif
authored at least 7 papers
between 2010 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Risks and Security of Internet and Systems, 2022
2018
Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models.
Proceedings of the 9th IFIP International Conference on New Technologies, 2018
2013
Math. Struct. Comput. Sci., 2013
2012
Implémentation rigoureuse des systèmes temps-réels. (Rigorous Implementation of Real-Time Systems).
PhD thesis, 2012
Robotics Auton. Syst., 2012
2011
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
2010
Proceedings of the 10th International conference on Embedded software, 2010