7 citations · 7 across the 4 of their papers we have counts for
Showing cs.NIShow all
2 papers · 1 filter
cs.NI2026
Self-evolving network verifiers
Ioannis Protogeros, Tibor Schneider, Laurent Vanbever
Symbolic network verifiers can reason about correctness across vast spaces of routing inputs and failures, but only for the protocols and features an expert has encoded by hand. Cr…
cs.NI2025
The Effects of iBGP Convergence
Roland Schmid, Tibor Schneider, Georgia Fragkouli +1
Analyzing violations of forwarding properties is a classic networking problem. However, existing work is either tailored to the steady state -- and not to transient states during i…