verification, placement, VNF

Firewall Configuration

Automated optimal firewall orchestration and configuration in virtualized networks.

Security Function Orchestration

Towards a fully automated and optimized network security functions orchestration.

5G Function Split

Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks.

Virtual Network Embedding

Virtual network embedding with formal reachability assurance.

Industrial Internet of Things

Formally verified latency-aware VNF placement in Industrial Internet of Things.