research
∙
07/21/2023
Software defined networking flow admission and routing under minimal security constraints
In recent years, computer networks and telecommunications in general hav...
share
research
∙
08/25/2021
Toward Formal Data Set Verification for Building Effective Machine Learning Models
In order to properly train a machine learning model, data must be proper...
research
∙
07/15/2021
Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture
This paper presents the design and architecture of a network emulator wh...
research
∙
11/29/2020
Short-Term Flow-Based Bandwidth Forecasting using Machine Learning
This paper proposes a novel framework to predict traffic flows' bandwidt...
research
∙
09/22/2020
Priority Flow Admission and Routing in SDN: Exact and Heuristic Approaches
This paper proposes a novel admission and routing scheme which takes int...
research
∙
09/21/2020
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators
A novel model-based approach to verify dynamic networks is proposed; the...
research
∙
06/07/2019
Identifying Operational Data-paths in Software Defined Networking Driven Data-planes
In this paper, we propose an approach that relies on distributed traffic...
research
∙
06/07/2019
Verifying SDN Data Path Requests
Software Defined Networking (SDN) is a pillar technology for network vir...
research
∙
03/26/2018