Concepedia

Network Verification

Network Verification is a formal method for ensuring network configurations adhere to specified policies and operational requirements by mathematically proving the correctness of network behavior under all possible traffic conditions and failure scenarios.

321

Publications

14.8K

Citations

904

Authors

321

Institutions

Publications per year

2017–2026

112

Parents

Publications

321

Abstractions for network update

Mark Reitblatt, Nate Foster, Jennifer Rexford et al. · 2012 · 580 citations · Full text

, , +11

Proofs of Networks of Processes

Jayadev Misra, K. Mani Chandy · IEEE Transactions on Software Engineering · 1981 · 497 citations

, , +16

VeriFlow: verifying network-wide invariants in real time

Ahmed Khurshid, Xuan Kelvin Zou, Wenxuan Zhou et al. · 2013 · 477 citations

, , +17

Real time network policy checking using header space analysis

Peyman Kazemian, Michael T. Chang, Hongyi Zeng et al. · 2013 · 456 citations

, , +12

Distributed network protocols

A. Segall · IEEE Transactions on Information Theory · 1983 · 443 citations

, , +13

1–5 of 321

Authors

904

  1. KA
    Katerina Argyraki

    École Polytechnique Fédérale de Lausanne, Switzerland

    9 publications · 281 citations

    9

    h-index

  2. NF
    Nate Foster

    Cornell University, United States

    8 publications · 1.1K citations

    8

    h-index

  3. DW
    David Walker

    Princeton University, United States

    6 publications · 1.1K citations

    7

    h-index

  4. GV
    George Varghese

    University of California San Diego, United States

    7 publications · 782 citations

    7

    h-index

  5. NB
    Nikolaj Bjørner

    Microsoft (United States), United States

    7 publications · 503 citations

    7

    h-index

1–5 of 904

Institutions

321

  1. Cornell University

    Ithaca, United States

    13 h-index

    33 publications

    2.8K citations

  2. Princeton University

    Princeton, United States

    11 h-index

    30 publications

    4K citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    10 h-index

    33 publications

    5.2K citations

  4. The University of Texas at Austin

    Austin, United States

    10 h-index

    18 publications

    2.2K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    10 h-index

    18 publications

    1.3K citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    25 publications

    636 citations

  7. Microsoft (United States)

    Redmond, United States

    9 h-index

    14 publications

    756 citations

  8. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    8 h-index

    31 publications

    2.4K citations

1–8 of 321

Venues

  1. arXiv (Cornell University)

    Repository · 18 publications · 817 citations

    15

    h-index

  2. ACM SIGCOMM Computer Communication Review

    CCR · 8 publications · 471 citations

    8

    h-index

  3. IEEE/ACM Transactions on Networking

    TON · 7 publications · 287 citations

    7

    h-index

  4. Networked Systems Design and Implementation

    Conference · 5 publications · 180 citations

    5

    h-index

  5. ACM SIGPLAN Notices

    4 publications · 140 citations

    4

    h-index

1–5