Biblio

Export 3 results:
Filters: Author is Nikolaj Bjørner  [Clear All Filters]
2022
Krishnaswamy U, Singh R, Bjørner N, Raj H.  2022.  Decentralized cloud wide-area network traffic engineering with BLASTSHIELD. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :325--338.
2017
Ryzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G.  2017.  Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
2015
Lopes NP, Bjørner N, Godefroid P, Jayaraman K, Varghese G.  2015.  Checking Beliefs in Dynamic Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :499--512.