News

LNCS 10471

FMICS-AVoCS 2017

I was co-chair of the programme committee for the joint FMICS and AVoCS conferences, which took place from 18 to 20 September 2017 in Turin, Italy.

Teaching

I teach in the DUT technology bachelor programme at the Networks and Telecommunications department of the Technology Institute of Villetaneuse, Université Paris 13, as well as in the Master ICT at the University of Science and Technology in Hanoï (USTH), Vietnam. For more information about my lectures, refer to the relevant section on the french version of my web page (enseignement).

Videos

Tutorial on Parametric verification

Conférence: Sécurité, Sûreté et Confidentialité
10 mai 2016, Université Paris 13 (in french)

Tutorial on Symmetric nets