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...
share
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
Verifying SDN Data Path Requests
Software Defined Networking (SDN) is a pillar technology for network vir...
research
∙
03/26/2018