24 citations · 24 across the 4 of their papers we have counts for
Showing cs.NIShow all
2 papers · 1 filter
cs.NI2020
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…
cs.NI2020
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:…