We have 3 of 15 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
It is shown with a sampling based experiment that the solution with the best MLU fares the worst under strong traffic variations, and that it is worth to minimize not only the MLU but also the number of rerouted paths.
This work presents GhostBuster, a runtime system which monitors the execution of BGP routers and verifies their compliance with the protocol specification, and fully implemented GhostBuster is fully implemented and used to detect bugs in production routers.
Automating model growth shifts the hard problem from writing verification systems to systematically testing them; this work proposes a research agenda for trusting and harnessing automatically evolved verifiers.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
