Publications

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

In NOMS 2020
Automated optimal firewall orchestration and configuration in virtualized networks.

In ICCCS 2019
Towards a fully automated and optimized network security functions orchestration.

IJECE
A VNF modeling approach for verification purposes

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

In CNSM 2018
Virtual network embedding with formal reachability assurance.

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

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

In COMPSAC 2017
A framework for user-friendly verification-oriented VNF modeling

In NFV-SDN 2019
Automated Security Management for Virtual Services