Testing and Verification for Software Defined Networks. Presentation. The 7th ,
, HSST 2017 in cooperation with TOCSYC Network, Halmstad University, 2017.
Towards Testing and Verification in SDN. Poster presentation, IMT, Télécom ParisTech, 2017. ,
Towards Testing and Verification in Software Defined Networks. Poster and presentation, Journée doctorants Samovar, 2017. ,
, DigiCosme Spring School on Formal Methods and Machine Learning. ForMaL, 2019.
, GT LTP Langages Types et Preuves du GdR GPL du CNRS. ENSIIE, 2018.