111 citations · 528 across the 50 of their papers we have counts for
Showing cs.NIShow all
2 papers · 1 filter
cs.NI2022★ 33 cited
Prognosis: Closed-Box Analysis of Network Protocol Implementations
Tiago Ferreira, Harrison Brewton, Loris D'Antoni +1
We present Prognosis, a framework offering automated closed-box learning and analysis of models of network protocol implementations. Prognosis can learn models that vary in abstrac…
cs.NI2020
Actor-Based Model Checking for SDN Networks
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel +3
Software-Defined Networking (SDN) is a networking paradigm that has become increasingly popular in the last decade. The unprecedented control over the global behavior of the networ…