verification, placement, VNF
Automated optimal firewall orchestration and configuration in virtualized networks.
Towards a fully automated and optimized network security functions orchestration.
Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks.
Virtual network embedding with formal reachability assurance.
Formally verified latency-aware VNF placement in Industrial Internet of Things.