[Jou+18] Boris Tiomela JOU, Oriol VIDAL, Joe CAHILL, Fabrice ARNAL, Jean-Michel HOUSSIN, Mael BOUTIN et Duy Kha CHAU. « Architecture Options for Satellite Integration into 5G Networks ». In : *2018 European Conference on Networks and Communications (EuCNC)*. 2018. DOI : 10.1109/EuCNC.2018.8442436 (cf. p. 51).

[Kan06] Luke KANIES. « Puppet : Next-generation configuration management ». In : *The USENIX Magazine* 31.1 (fév. 2006) (cf. p. 16).

[KC03] J. O. KEPHART et D. M. CHESS. « The vision of autonomic computing ». In : *IEEE Computer* 36.1 (2003), p. 41-50 (cf. p. 7, 14).

[Ker20] KERAS. *Keras: Simple, Flexible, Powerful*. https://keras.io/, Last accessed on January 2022. 2020 (cf. p. 24).

[Kha+20] Latif U. KHAN, Ibrar YAQOOB, Nguyen H. TRAN, Zhu HAN et Choong Seon HONG. « Network Slicing : Recent Advances, Taxonomy, Requirements, and Open Research Challenges ». In : *IEEE Access* 8 (2020), p. 36009-36028. DOI : 10.1109/ACCESS.2020.2975072 (cf. p. 50).

[Khu+12] Ahmed KHURSHID, Wenxuan ZHOU, Matthew CAESAR et P. Brighten GODFREY. « VeriFlow : Verifying Network-Wide Invariants in Real Time ». In : *Proceedings of the First Workshop on Hot Topics in Software Defined Networks*. HotSDN '12. 2012, p. 49-54. DOI : 10.1145/2342441.2342452 (cf. p. 65).

[Kim+22] Taejin KIM, Sandesh Dhawaskar SATHYANARAYANA, Siqi CHEN, Youngbin IM, Xiaoxi ZHANG, Sangtae HA et Carlee JOE-WONG. « MODEMS : Optimizing Edge Computing Migrations for User Mobility ». In : *IEEE INFOCOM 2022 - IEEE Conference on Computer Communications*. 2022. DOI : 10.1109/INFOCOM48880.2022.9796680 (cf. p. 63).

[KR10] Eric KELLER et Jennifer REXFORD. « The "Platform As a Service" Model for Networking ». In : *Proceedings of the 2010 Internet Network Management Conference on Research on Enterprise Networking*. INM/WREN'10. San Jose, CA : USENIX Association, 2010, p. 4-4. URL : http://dl.acm.org/citation.cfm?id=1863133.1863137 (cf. p. 32).

[Kre+15] Diego KREUTZ, Fernando M. V. RAMOS, Paulo Esteves VERÍSSIMO, Christian Esteve ROTHENBERG, Siamak AZODOLMOLKY et Steve UHLIG. « Software-Defined Networking : A Comprehensive Survey ». In : *Proceedings of the IEEE* 103.1 (2015), p. 14-76. DOI : 10.1109/JPROC.2014.2371999 (cf. p. 8, 32).

[KW17] Thomas N. KIPF et Max WELLING. *Semi-Supervised Classification with Graph Convolutional Networks*. arXiv 1609.02907. 2017. arXiv : 1609.02907 [cs.LG] (cf. p. 27).

[Lab+19] Romain LABORDE, Sravani Teja BULUSU, Ahmad Samer WAZAN, François BARRÈRE et Abdelmalek BENZEKRI. « Logic-Based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements ». In : *Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing*. SAC '19. Limassol, Cyprus, 2019 (cf. p. 20).

[Lan22] P4 LANGUAGE CONSORTIUM. *P4 Language Specification*. Version 1.2.3. Juill. 2022 (cf. p. 8).

[Lav+09] Emmanuel LAVINAL, Noemie SIMONI, Meng SONG et Bertrand MATHIEU. « A next-generation service overlay architecture ». In : *Annals of Telecommunications* 64.3-4 (2009). Springer, p. 175-185. DOI : 10.1007/s12243-008-0082-x (cf. p. 9).
[LDR06] Emmanuel LAVINAL, Thierry DESPRATS et Yves RAYNAUD. « A generic multi-agent conceptual framework towards self-management ». In : *IEEE/IFIP International Network Operations and Management Symposium (NOMS 2006)*. Avr. 2006, p. 394-403 (cf. p. 7).

[LHM10] Bob LANTZ, Brandon HELLER et Nick McKEOWN. « A Network in a Laptop : Rapid Prototyping for Software-defined Networks ». In : *Proceedings of the 9th ACM SIGCOMM Workshop on Hot Topics in Networks*. Hotnets-IX. Monterey, California : ACM, 2010, 19 :1-19 :6. ISBN : 978-1-4503-0409-2. DOI : 10.1145/1868447.1868466 (cf. p. 43).

[Liu+18] Jed LIU, William HALLAHAN, Cole SCHLESINGER, Milad SHARIF, Jeongkeun LEE, Robert SOULÉ, Han WANG, Călin CAŞCAVAL, Nick McKEOWN et Nate FOSTER. « P4v : Practical Verification for Programmable Data Planes ». In : *Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication*. SIGCOMM '18. 2018, p. 490-503. DOI : 10.1145/3230543.3230582 (cf. p. 65).

[LQL12] Akash LAL, Shaz QADEER et Shuvendu LAHIRI. « Corral : A Solver for Reachability Modulo Theories ». In : *Computer-Aided Verification (CAV)*. Juill. 2012. URL : https://www.microsoft.com/en-us/research/publication/corral-a-solver-for-reachability-modulo-theories-2/ (cf. p. 21).

[LS08] Emmanuel LAVINAL et Noëmie SIMONI. « Dynamic and Adaptive Composition of SIP-Based Services ». In : *IEEE International Conference on Communications (ICC 2008)*. 2008 (cf. p. 9, 48, 49).

[LVB14] David LEBRUN, Stefano VISSICCHIO et Olivier BONAVENTURE. « Towards test-driven software defined networking ». In : *2014 IEEE Network Operations and Management Symposium (NOMS)*. 2014. DOI : 10.1109/NOMS.2014.6838225 (cf. p. 21, 66).

[Mac+21] Robert MACDAVID, Carmelo CASCONE, Pingping LIN, Badhrinath PADMANABHAN, Ajay THAKUR, Larry PETERSON, Jennifer REXFORD et Oguz SUNAY. « A P4-Based 5G User Plane Function ». In : *Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)*. SOSR '21. 2021, p. 162-168. DOI : 10.1145/3482898.3483358 (cf. p. 62).

[MB17] Pavel MACH et Zdenek BECVAR. « Mobile Edge Computing : A Survey on Architecture and Computation Offloading ». In : *IEEE Communications Surveys & Tutorials* 19.3 (2017), p. 1628-1656. DOI : 10.1109/COMST.2017.2682318 (cf. p. 61).

[McK+08] Nick McKEOWN, Tom ANDERSON, Hari BALAKRISHNAN, Guru PARULKAR, Larry PETERSON, Jennifer REXFORD, Scott SHENKER et Jonathan TURNER. « Open-Flow : Enabling Innovation in Campus Networks ». In : *SIGCOMM Comput. Commun. Rev.* 38.2 (mars 2008), p. 69-74. DOI : 10.1145/1355734.1355746 (cf. p. 8).

[McK21] Nick McKEOWN. *The Network will be programmed by many, operated by a few*. The Networking Channel, https://youtu.be/-cvNw1g5kJc, Last accessed on August 2022. Mars 2021 (cf. p. 64).

[Med+17] Ahmed M. MEDHAT, Tarik TALEB, Asma ELMANGOUSH, Giuseppe A. CARELLA, Stefan COVACI et Thomas MAGEDANZ. « Service Function Chaining in Next Generation Networks : State of the Art and Research Challenges ». In : *IEEE Communications Magazine* 55.2 (2017). DOI : 10.1109/MCOM.2016.1600219RP (cf. p. 39).

[Mij+16] Rashid MIJUMBI, Joan SERRAT, Juan-Luis GORRICHO, Niels BOUTEN, Filip DE TURCK et Raouf BOUTABA. « Network Function Virtualization : State-of-the-Art and Research Challenges ». In : *IEEE Communications Surveys & Tutorials* 18.1 (2016), p. 236-262. DOI : 10.1109/COMST.2015.2477041 (cf. p. 8).
[Min15] MININET. *Emulator for rapid prototyping of Software Defined Networks*. http://mininet.org, Last accessed on September 2021. 2015 (cf. p. 21, 43).

[MIR22] Atri MUKHOPADHYAY, George IOSIFIDIS et Marco RUFFINI. « Migration-Aware Network Services With Edge Computing ». In : *IEEE Transactions on Network and Service Management* 19.2 (2022), p. 1458-1471. DOI : 10.1109/TNSM.2021.3139857 (cf. p. 63).

[MLF20] El-Heithem MOHAMMEDI, Emmanuel LAVINAL et Guillaume FLEURY. « Configuration faults detection in IP Virtual Private Networks based on machine learning ». In : *3rd International Conference on Machine Learning for Networking (MLN 2020)*. Nov. 2020 (cf. p. 9, 25).

[MLF22] El-Heithem MOHAMMEDI, Emmanuel LAVINAL et Guillaume FLEURY. « Detecting and locating configuration errors in IP VPNs with Graph Neural Networks ». In : *34th IEEE/IFIP Network Operations and Management Symposium (NOMS 2022)*. Workshop on Analytics for Network and Service Management (ANNET). Avr. 2022. DOI : 10.1109/NOMS54207.2022.9789800 (cf. p. 9, 29).

[Mon+12] Christopher MONSANTO, Nate FOSTER, Rob HARRISON et David WALKER. « A Compiler and Run-time System for Network Programming Languages ». In : *SIGPLAN Not*. 47.1 (jan. 2012), p. 217-230. ISSN : 0362-1340. DOI : 10.1145/2103621.2103685 (cf. p. 31).

[Mon+13] Christopher MONSANTO, Joshua REICH, Nate FOSTER, Jennifer REXFORD et David WALKER. « Composing Software-defined Networks ». In : *Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation*. nsdi’13. Lombard, IL : USENIX Association, 2013, p. 1-14. URL : http://dl.acm.org/citation.cfm?id=2482626.2482629 (cf. p. 31, 32).

[NGM16] NGMN. *Description of Network Slicing Concept*. NGMN 5G Project Requirements & Architecture, Version 1.0. Next Generations Mobile Networks, 2016 (cf. p. 50).

[NIS08] NIST. *JSIP: Java SIP specification Reference Implementation*. v1.2. https://github.com/usnistgov/jsip, Last accessed on August 2022. 2008 (cf. p. 49).

[Nok19] NOKIA. *5G network slicing: automation, assurance and optimization of 5G transport slices*. https://youtu.be/beM1FYnOBqI, Last accessed on June 2022. 2019 (cf. p. 50).

[Nöt+18] Andres NÖTZLI, Jehandad KHAN, Andy FINGERHUT, Clark BARRETT et Peter ATHANAS. « P4pktgen: Automated Test Case Generation for P4 Programs ». In : *Proceedings of the Symposium on SDN Research*. SOSR ’18. 2018. DOI : 10.1145/3185467.3185497 (cf. p. 66).

[ONF12] ONF. *OpenFlow Switch Specification Version 1.3.0*. Open Networking Foundation. Juin 2012 (cf. p. 43).

[Pfa+15] Ben PFAFF, Justin PETTIT, Teemu KOPONEN, Ethan J. JACKSON, Andy ZHOU, Jarno RAJAHALME, Jesse GROSS, Alex WANG, Jonathan STRINGER, Pravin SHELAR, Keith AMIDON et Martin CASADO. « The Design and Implementation of Open VS-witch ». In : *Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation*. NSDI’15. Oakland, CA : USENIX Association, 2015 (cf. p. 43).

[POX13] POX. *The POX network software platform*. https://github.com/noxrepo/pox, Last accessed on September 2021. 2013 (cf. p. 40).

[Pro21] Project PRONTO. *Creating an open source end-to-end programmable and verifiable network*. https://prontoproject.org/, Last accessed on August 2022. 2021 (cf. p. 63, 64).
[Rag+12] Barath RAGHAVAN, Martin CASADO, Teemu KOPONEN, Sylvia RATNASAMY, Ali GHODSI et Scott SHENKER. « Software-Defined Internet Architecture : Decoupling Architecture from Infrastructure ». In : Proceedings of the 11th ACM Workshop on Hot Topics in Networks. HotNets-XI. 2012, p. 43-48. DOI : 10.1145/2390231.2390239 (cf. p. 8).

[Rei+13] Mark REITBLATT, Marco CANINI, Arjun GUHA et Nate FOSTER. « FatTire : Declarative Fault Tolerance for Software-defined Networks ». In : Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking. HotSDN '13. Hong Kong, China : ACM, 2013, p. 109-114. ISBN : 978-1-4503-2178-5. DOI : 10.1145/2491185.2491187 (cf. p. 31).

[RK03] Bhaskaran RAMAN et Randy H. KATZ. « An architecture for highly available wide-area service composition ». In : Computer Communication Journal 26.15 (sept. 2003), p. 1727-1740 (cf. p. 48).

[RM14] L. ROKACH et O. MAIMON. Data Mining With Decision Trees : Theory And Applications. 2nd. World Scientific, 2014 (cf. p. 24).

[RN19] S. RUSSELL et P. NORVIG. Artificial Intelligence : A Modern Approach. 4th. Pearson, 2019 (cf. p. 24).

[Ros+02] J. ROSENBERG, H. SCHULZRINNE, G. CAMARILLO, A. JOHNSTON, J. PETERSON, R. SPARKS, M. HANDLEY et E. SCHOOLER. SIP : Session Initiation Protocol. IETF RFC 3261. Juin 2002 (cf. p. 49).

[RR06] E. ROSEN et Y. REKHTER. BGP / MPLS IP Virtual Private Networks (VPNs). RFC 4364. RFC Editor, fév. 2006. URL : https://www.rfc-editor.org/rfc/rfc4364.txt (cf. p. 22).

[Ryu14] RYU. *Ryu component-based software defined networking framework*. https://ryu-sdn.org, Last accessed on September 2021. 2014 (cf. p. 40).

[Ryz+17] Leonid RYZHYK, Nikolaj BJØRNER, Marco CANINI, Jean-Baptiste JEANNIN, Cole SCHLESINGER, Douglas B. TERRY et George VARGHESE. « Correct by Construction Networks Using Stepwise Refinement ». In : Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation. NSDI'17. Boston, MA, USA : USENIX Association, 2017 (cf. p. 20, 65).

[Sch15] Jürgen SCHMIDHUBER. « Deep learning in neural networks : An overview ». In : Neural Networks 61 (2015), p. 85-117. ISSN : 0893-6080. DOI : 10.1016/j.neunet.2014.09.003 (cf. p. 24).

[Sci20] SCIKIT-LEARN. *Scikit-learn : Machine Learning in Python*. https://scikit-learn.org/, Last accessed on January 2022. 2020 (cf. p. 24).

[SCL05] John SHERWOOD, Andrew CLARK et David LYNAS. *Enterprise Security Architecture : A Business-Driven Approach*. CRC Press, 2005 (cf. p. 19).

[SD-21] Project SD-FABRIC. *Open source full-stack programmable network fabric optimized for edge cloud, 5G, and industry 4.0 applications*. ONF, https://opennetworking.org/sd-fabric/, Last accessed on August 2022. 2021 (cf. p. 62).

[SK17] Martin SIMONOVSKY et Nikos KOMODAKIS. « Dynamic Edge-Conditioned Filters in Convolutional Neural Networks on Graphs ». In : 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017). Juill. 2017 (cf. p. 28).

[SM18] Seema SHARMA et Deepti MEHROTRA. « Comparative Analysis of Multi-label Classification Algorithms ». In : First International Conference on Secure Cyber Computing and Communication (ICSCCC). 2018. DOI : 10.1109/ICSCCC.2018.8703285 (cf. p. 24).
[Sou+14] Robert SOULÉ, Shrutarshi BASU, Parisa Jalili MARANDI, Fernando PEDONE, Robert KLEINBERG, Emin Gun SIRER et Nate FOSTER. « Merlin : A Language for Provisioning Network Resources ». In : *Proceedings of the 10th ACM International on Conference on Emerging Networking Experiments and Technologies*. CoNEXT '14. Sydney, Australia : ACM, 2014, p. 213-226. ISBN : 978-1-4503-3279-8. DOI : 10.1145/2674005.2674989 (cf. p. 31, 32).

[Tal+17] Tarik TALEB, Konstantinos SAMDANIS, Badr MADA, Hannu FLINCK, Sunny DUTTA et Dario SABELLA. « On Multi-Access Edge Computing : A Survey of the Emerging 5G Network Edge Cloud Architecture and Orchestration ». In : *IEEE Communications Surveys & Tutorials* 19.3 (2017), p. 1657-1681. DOI : 10.1109/COMST.2017.2705720 (cf. p. 61).

[Ten20] TENSORFLOW. *An end-to-end open source machine learning platform*. https://www.tensorflow.org/, Last accessed on January 2022. 2020 (cf. p. 24).

[VAH10] Andreas VOELLMY, Ashish AGARWAL et Paul HUDAK. *Nettle : Functional Reactive Programming for OpenFlow Networks*. Rapp. tech. YALEU/DCS/RR-1431. Yale University, juill. 2010 (cf. p. 31).

[Ven+21] Pier Luigi VENTRE, Stefano SALSANO, Marco POLVERINI, Antonio CIANFRANI, Ahmed ABDELSALAM, Clarence FILSFILS, Pablo CAMARILLO et Francois CLAD. « Segment Routing : A Comprehensive Survey of Research Activities, Standardization Efforts, and Implementation Results ». In : *IEEE Communications Surveys & Tutorials* 23.1 (2021), p. 182-221. DOI : 10.1109/COMST.2020.3036826 (cf. p. 63).

[VKF12] Andreas VOELLMY, Hyojoon KIM et Nick FEAMSTER. « Procera : A Language for High-level Reactive Network Control ». In : *Proceedings of the First Workshop on Hot Topics in Software Defined Networks*. HotSDN '12. Helsinki, Finland : ACM, 2012, p. 43-48. ISBN : 978-1-4503-1477-0. DOI : 10.1145/2342441.2342451 (cf. p. 31).

[Voe+13] Andreas VOELLMY, Junchang WANG, Y Richard YANG, Bryan FORD et Paul HUDAK. « Maple : Simplifying SDN Programming Using Algorithmic Policies ». In : *SIGCOMM Comput. Commun. Rev.* 43.4 (août 2013), p. 87-98. ISSN : 0146-4833. DOI : 10.1145/2534169.2486030 (cf. p. 32).

[Wu+21] Zonghan WU, Shirui PAN, Fengwen CHEN, Guodong LONG, Chengqi ZHANG et Philip S. YU. « A Comprehensive Survey on Graph Neural Networks ». In : *IEEE Transactions on Neural Networks and Learning Systems* 32.1 (2021), p. 4-24. DOI : 10.1109/TNNLS.2020.2978386 (cf. p. 26).

[Yan+21] Song YANG, Fan LI, Stojan TRAJANOVSKI, Ramin YAHYAPOUR et Xiaoming FU. « Recent Advances of Resource Allocation in Network Function Virtualization ». In : *IEEE Transactions on Parallel and Distributed Systems* 32.2 (2021), p. 295-314. DOI : 10.1109/TPDS.2020.3017001 (cf. p. 65).

[YAN10] YANG. *M. Bjorklund. YANG - A Data Modeling Language for the Network Configuration Protocol (NETCONF)*. RFC 6020. RFC Editor, oct. 2010. URL : https://rfc-editor.org/rfc/rfc6020.txt (cf. p. 16).

[Yin+11] Zuoning YIN, Xiao MA, Jing ZHENG, Yuanyuan ZHOU, Lakshmi N. BAIRAVASUNDARAM et Shankar PASUPATHY. « An Empirical Study on Configuration Errors in Commercial and Open Source Systems ». In : *Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles*. SOSP '11. Cascais, Portugal, 2011 (cf. p. 14).
[Zen+12] Hongyi ZENG, Peyman KAZEMIAN, George VARGHESE et Nick McKEOWN. « Automatic Test Packet Generation ». In : *Proceedings of the 8th International Conference on Emerging Networking Experiments and Technologies*. CoNEXT '12. Nice, France : Association for Computing Machinery, 2012, p. 241-252. ISBN : 9781450317757. DOI : 10.1145/2413176.2413205 (cf. p. 21, 66).

[Zho+20] Jie ZHOU, Ganqu CUI, Shengding HU, Zhengyan ZHANG, Cheng YANG, Zhiyuan LIU, Lifeng WANG, Changcheng LI et Maosong SUN. « Graph neural networks : A review of methods and applications ». In : *AI Open* 1 (2020), p. 57-81. ISSN : 2666-6510. DOI : 10.1016/j.aiopen.2021.01.001 (cf. p. 26).