Towards 5G Software-Defined Ecosystems: Technical Challenges, Business Sustainability and Policy Issues, 2016. ,
Network Function Virtualization: Challenges and Opportunities for Innovations, IEEE Communications Magazine, vol.53, issue.2, pp.90-97, 2015. ,
Network Function Virtualization: State-of-the-art and Research Challenges, IEEE Communications Surveys & Tutorials, vol.18, issue.1, pp.236-262, 2015. ,
, , pp.2019-2027
, , pp.2019-2028
, OpenNebula, pp.2019-2027
, OpenStack, pp.2019-2027
Performance of network virtualization in cloud computing infrastructures: The openstack case, 2014 IEEE 3rd International Conference on Cloud Networking (CloudNet), pp.132-137, 2014. ,
Improving openstack networking: Advantages and performance of native sdn integration, 2018 IEEE International Conference on Communications (ICC), pp.1-6, 2018. ,
, Heat: Openstack orchestration engine, pp.2019-2027
, HOT Core Specification, pp.2019-2027
, HOT Types Specification, pp.2019-2027
Formal Verification Approaches and Standards in the Cloud Computing: A Comprehensive and Systematic Review, Computer Standards & Interfaces, vol.58, pp.1-22, 2018. ,
Virtual Network Embedding with Formal Reachability Assurance, 2018 14th International Conference on Network and Service Management (CNSM), pp.368-372, 2018. ,
, Heat validation tools: information about the dry-run option, pp.2019-2027
Components as Location Graphs, International Conference on Formal Aspects of Component Software, pp.3-23, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01094208
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework, 39th IFIP Int. Conf. Formal Techniques for Distributed Objects, Components, and Systems (FORTE), ser, vol.11535, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02313751
SafeDPi: A Language for Controlling Mobile Code, International Conference on Foundations of Software Science and Computation Structures, pp.241-256, 2004. ,
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, International Workshop on Global Computing, pp.146-178, 2004. ,
A Classification Framework for Software Component Models, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.593-615, 2010. ,
, Software Abstractions: Logic, Language, and Analysis, 2012.
, Automating first-order relational logic, ACM SIGSOFT Software Engineering Notes, vol.25, issue.6, pp.130-139, 2000.
, Cloudify, pp.2019-2027
, Docker Compose, pp.2019-2027