23 citations · 40 across the 17 of their papers we have counts for
3 papers · 1 filter
Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix)
Vasileios Klimis, George Parisis, Bernhard Reus
Software-defined networking (SDN) enables advanced operation and management of network deployments through (virtually) centralised, programmable controllers, which deploy network f…
Internet Traffic Volumes Are Not Gaussian -- They Are Log-Normal: An 18-Year Longitudinal Study With Implications for Modelling and Prediction (Complete Version)
Mohammed Alasmar, Richard Clegg, Nickolay Zakhleniuk +1
Getting good statistical models of traffic on network links is a well-known, often-studied problem. A lot of attention has been given to correlation patterns and flow duration. The…
Towards Model Checking Real-World Software-Defined Networks (version with appendix)
Vasileios Klimis, George Parisis, Bernhard Reus
In software-defined networks (SDN), a controller program is in charge of deploying diverse network functionality across a large number of switches, but this comes at a great risk:…