Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

From Network Verification to Synthesis: Breaking New Ground in Network Automation

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Snowcap: Synthesizing Network-Wide Configuration Updates (opens in new window)

Author(s): Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Published in: ACM SIGCOMM, Issue Yearly, 2021
Publisher: ACM
DOI: 10.1145/3452296.3472915

Predicting Specification Violations During BGP Convergence (opens in new window)

Author(s): Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Published in: ACM CoNEXT Student Workshop, Issue Yearly, 2023
Publisher: ACM
DOI: 10.1145/3630202.3630235

Causality Analysis in Control Plane Verification (opens in new window)

Author(s): Yu Chen; Tibor Schneider; Laurent Vanbever
Published in: ACM CoNEXT Student Workshop, Issue Yearly, 2023
Publisher: ACM
DOI: 10.1145/3630202.3630237

Generating representative, live network traffic out of millions of code repositories (opens in new window)

Author(s): Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Published in: ACM HotNets, Issue Yearly, 2022
Publisher: ACM
DOI: 10.1145/3563766.3564084

Metha: Network Verifiers Need To Be Correct Too! (opens in new window)

Author(s): Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Published in: USENIX NSDI, Issue Yearly, 2021
Publisher: USENIX Association
DOI: 10.3929/ethz-b-000491509

On the Complexity of Network-Wide Configuration Synthesis (opens in new window)

Author(s): Tibor Schneider; Roland Schmid; Laurent Vanbever
Published in: IEEE International Conference on Network Protocols, Issue Yearly, 2022
Publisher: IEEE
DOI: 10.1109/icnp55882.2022.9940325

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0