Il effectue sa recherche au sein de l'équipe IRT de l'IRIT. Il utilise les méthodes formelles pour évaluer les délais de transmission pire cas (WCTT) sur les réseaux embarqués critiques, tels que l'AFDX (avion), CAN (voiture), Spacewire (satellites), ou sur les réseaux sur puce (NoC) des pluri-coeurs.