Section: Dissemination

Teaching - Supervision - Juries

Supervision

• Jean-Pierre Talpin is the supervisor of Simon Lunel's thesis on "Timed contract algebras for correct by construction real-time system design" and co-supervisor of Imré Frotier de la Mésselière with Mines ParisTech until June 2015.

Juries

Jean-Pierre Talpin served as Referee (rapporteur) for the HDR Thesis defense of Claire Paggetti , entitled "Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs".

Jean-Pierre Talpin served as Referee (rapporteur) for the PhD. Thesis Defence of

• Elie Richa, Telecom ParisTech, entitled "Qualification of Source Code Generators in the Avionics Domain : Automated Testing of Model Transformation Chains".

• Ahlem Triki, Université de Grenoble , entitled "Distributed Implementations of Timed Component-based Systems".

• Yu Bai, TU Kaiserslautern , entitled "Model-based Design of Embedded Systems by Desynchronization".