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

Informazioni relative al progetto

SyNET

ID dell’accordo di sovvenzione: 851809

DOI

10.3030/851809

Data della firma CE 18 Settembre 2019

Data di avvio 1 Novembre 2019

Data di completamento 31 Ottobre 2025

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 500 000,00

Contributo UE

€ 1 500 000,00

Coordinato da

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (6)

Snowcap: Synthesizing Network-Wide Configuration Updates

Autori: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Pubblicato in: ACM SIGCOMM, Numero Yearly, 2021
Editore: ACM

Predicting Specification Violations During BGP Convergence

Autori: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Pubblicato in: ACM CoNEXT Student Workshop, Numero Yearly, 2023
Editore: ACM
DOI: 10.1145/3630202.3630235

Causality Analysis in Control Plane Verification

Autori: Yu Chen; Tibor Schneider; Laurent Vanbever
Pubblicato in: ACM CoNEXT Student Workshop, Numero Yearly, 2023
Editore: ACM
DOI: 10.1145/3630202.3630237

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

Autori: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Pubblicato in: ACM HotNets, Numero Yearly, 2022
Editore: ACM
DOI: 10.1145/3563766.3564084

Metha: Network Verifiers Need To Be Correct Too!

Autori: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Pubblicato in: USENIX NSDI, Numero Yearly, 2021
Editore: USENIX Association

On the Complexity of Network-Wide Configuration Synthesis

Autori: Tibor Schneider; Roland Schmid; Laurent Vanbever
Pubblicato in: IEEE International Conference on Network Protocols, Numero Yearly, 2022
Editore: IEEE
DOI: 10.1109/icnp55882.2022.9940325