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

Projektinformationen

SyNET

ID Finanzhilfevereinbarung: 851809

DOI

10.3030/851809

EK-Unterschriftsdatum 18 September 2019

Startdatum 1 November 2019

Enddatum 31 Oktober 2025

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 500 000,00

EU-Beitrag

€ 1 500 000,00

Koordiniert durch

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (6)

Snowcap: Synthesizing Network-Wide Configuration Updates

Autoren: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Veröffentlicht in: ACM SIGCOMM, Ausgabe Yearly, 2021
Herausgeber: ACM

Predicting Specification Violations During BGP Convergence

Autoren: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Veröffentlicht in: ACM CoNEXT Student Workshop, Ausgabe Yearly, 2023
Herausgeber: ACM
DOI: 10.1145/3630202.3630235

Causality Analysis in Control Plane Verification

Autoren: Yu Chen; Tibor Schneider; Laurent Vanbever
Veröffentlicht in: ACM CoNEXT Student Workshop, Ausgabe Yearly, 2023
Herausgeber: ACM
DOI: 10.1145/3630202.3630237

Generating representative, live network traffic out of millions of code repositories

Autoren: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Veröffentlicht in: ACM HotNets, Ausgabe Yearly, 2022
Herausgeber: ACM
DOI: 10.1145/3563766.3564084

Metha: Network Verifiers Need To Be Correct Too!

Autoren: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Veröffentlicht in: USENIX NSDI, Ausgabe Yearly, 2021
Herausgeber: USENIX Association

On the Complexity of Network-Wide Configuration Synthesis

Autoren: Tibor Schneider; Roland Schmid; Laurent Vanbever
Veröffentlicht in: IEEE International Conference on Network Protocols, Ausgabe Yearly, 2022
Herausgeber: IEEE
DOI: 10.1109/icnp55882.2022.9940325