A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks

Automated optimal firewall orchestration and configuration in virtualized networks.

Towards a fully automated and optimized network security functions orchestration.

A VNF modeling approach for verification purposes

A framework for verification-oriented user-friendly network function modeling

Virtual network embedding with formal reachability assurance.

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

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

A framework for user-friendly verification-oriented VNF modeling

Automated Security Management for Virtual Services