Skip to content
RDL
Network
Ecosystem
Switch app
TR
About
FAQ
Sign in
Get started
Abstract Interpretation of Stateful Networks — Kalev Alpernas (2018) | RDL Network
Back
Cite
Save
Save for later
Share
Home
Publications
Abstract Interpretation of Stateful Networks
Shared by
Scott Shenker
University of California, Berkeley
Abstract Interpretation of Stateful Networks
Chapter In A Book
2018
en
Authors
+4 more
KA
Kalev Alpernas
RM
Roman Manevich
AP
Aurojit Panda
Discussion
(0)
Sign in
to like and join the discussion.
No comments yet. Be the first to comment.
Related publications
Preprint
2017
Abstract Interpretation of Stateful Networks
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
Article
2017
Modular Safety Verification for Stateful Networks.
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
Article
2017
Abstractions for Verifying Isolation Properties in Stateful Networks
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
Article
2018
Elastic Scaling of Stateful Network Functions.
Shinae Woo
,
Justine Sherry
,
Sangjin Han
,
Sue-Bok Moon
,
Sylvia Ratnasamy
,
Scott Shenker
Chapter in a book
2016
Some Complexity Results for Stateful Network Verification
Yaron Velner
,
Kalev Alpernas
,
Aurojit Panda
,
Alexander Rabinovich
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
.webp){kind=small}
Discussion(0)
No comments yet. Be the first to comment.