Rafik Henia

Rafik Henia received the graduation degree from the Technical University of Braunschweig (TUBS), Braunschweig, Germany, in 2003. He was a Research Assistant with the Institute of Computer and Network Engineering, TUBS, with research topics related to the timing verification for real-time embedded systems. Since 2009, he has been a Research Engineer with the Critical Embedded Systems Laboratory, Thales Research and Technology, Palaiseau, France. He researches on several Research and Development projects with Thales avionics, aerospace, telecommunication and defence divisions, whose goals deal with model-based performance design and verification of real-time embedded systems. He was involved in several national and European research projects.