Deep and Automated SDN Data Plane Analysis. - Wejdene Saied; Nihel Ben Youssef Ben Souayeh; Amina Saadaoui; Adel Bouhoula (SoftCOM, 2019)

A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations. - Wejdene Saied; Adel Bouhoula (CNSM, 2020)

A Comprehensive Solution for the Analysis, Validation and Optimization of SDN Data-Plane Configurations. - Wejdene Saied; Faouzi Jaïdi; Adel Bouhoula (CNSM, 2020)