Tesnim Abdellatif

Centre National de la Recherche Scientifique, Verimag

Papers

Total Citations

H-Index

About

Tesnim Abdellatif is a researcher specializing in formal methods, real-time systems, and component-based software engineering, with a particular focus on bridging the gap between theoretical rigor and practical implementation in complex software systems. Her work addresses one of the most persistent challenges in computer science: ensuring that real-time systems behave correctly and efficiently when deployed on real hardware. Her most cited contribution, "Rigorous Design of Robot Software: A Formal Component-Based Approach" (2012, 33 citations), demonstrates her ability to apply formal methods to safety-critical domains such as robotics, where software correctness is paramount. This work reflects her broader research agenda of developing principled design methodologies that are both theoretically sound and practically applicable. Abdellatif has also made meaningful strides in tackling the implementation challenges of real-time systems, recognizing that meeting timing constraints depends heavily on execution platform characteristics — a problem she addresses in both her 2013 and 2011 publications. Her research on open real-time systems further extends this work by accounting for dynamic environmental interactions during execution. While her citation counts remain modest, her work occupies an important niche at the intersection of formal verification and systems engineering, offering students and practitioners valuable frameworks for building dependable, time-critical software.