A. Berriri, Testing and Verification for Software Defined Networks. Presentation. The 7th

, HSST 2017 in cooperation with TOCSYC Network, Halmstad University, 2017.

A. Berriri, Towards Testing and Verification in SDN. Poster presentation, IMT, Télécom ParisTech, 2017.

A. Berriri, 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.