Research

Current interests

Models for the Specification and Analysis of Real-Time Embedded Systems : Nov. 2010: Habilitation à Diriger des Recherches - Logical Time in Model-Driven Engineering for Embedded Systems
Dec. 2000: PhD in Computer Science - Modelling and Performance evaluation of digital hardware architectures

Doctoral supervision

PhD juries