N. Feamster and H. Kim, Software-Defined Networks: Improving Network Management with SDN, IEEE Communications Magazine, 2013.

N. Schnepf, S. Merz, R. Badonnel, and A. Lahmadi, Towards Generation of SDN Policies for Protecting Android Environments based on Automata Learning, Proceedings of the 16th Network Operations and Management Symposium (IEEE/IFIP NOMS'18), 2018.

N. Foster, M. J. Freedman, A. Guha, R. Harrison, N. P. Kata et al., Languages for Software-Defined Networks, 2016.

N. Foster, M. J. Freedman, R. Harrison, C. Monsanto, and D. Walker, Frenetic, a Network Programming Language, Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11), 2011.

E. Al-shaer and S. Al-haj, FlowChecker, Configuration Analysis and Verification of Federated OpenFlow Infrastructures, Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration (CCS'10), 2010.

T. Ball, N. Bjørner, A. Gember, S. Itzhaky, A. Karbyshev et al., Vericon: Towards Verifying Controller Programs in Software-Defined Networks, Proc. 35th ACM SIGPLAN Intl. Conf. Programming Language Design (PLDI'14), pp.282-293, 2014.

H. Kim, J. Reich, A. Gupta, M. Shahbaz, N. Feamster et al., Kinetic: Verifiable Dynamic Network Control, Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (NSDI'15), 2015.

A. Lahmadi, F. Beck, E. Finickel, and O. Festor, A platform for the analysis and visualization of network flow data of android environments, IFIP/IEEE International Symposium on Integrated Network Management (IM), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242911

N. Schnepf, S. Merz, R. Badonnel, and A. Lahmadi, Automated factorization of security chains in software-defined networks, Proceedings of the 16th IFIP/IEEE Symposium on Integrated Network and Service Management, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02111656

, Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks, Proceedings of the 18th International Workshop on Automated Verification of Critical Systems (AVOCS'18), 2018.