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

Informations projet

SyNET

N° de convention de subvention: 851809

DOI

10.3030/851809

Projet clôturé

Date de signature de la CE 18 Septembre 2019

Date de début 1 Novembre 2019

Date de fin 31 Octobre 2025

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 500 000,00

Contribution de l’UE

€ 1 500 000,00

Coordonné par

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (10)

Verifying maximum link loads in a changing world

Auteurs: Schneider, Tibor; id_orcid0000-0003-2858-9120; Vissicchio, Stefano; Vanbever, Laurent
Publié dans: Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI ’25), 2025, ISBN 978-1-939133-46-5
Éditeur: USENIX Association
DOI: 10.3929/ethz-b-000711664

Snowcap: Synthesizing Network-Wide Configuration Updates

Auteurs: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Publié dans: ACM SIGCOMM, Numéro Yearly, 2021
Éditeur: ACM
DOI: 10.1145/3452296.3472915

Predicting Specification Violations During BGP Convergence

Auteurs: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Publié dans: ACM CoNEXT Student Workshop, Numéro Yearly, 2023
Éditeur: ACM
DOI: 10.1145/3630202.3630235

Taming the transient while reconfiguring BGP

Auteurs: Tibor Schneider, Roland Schmid, Stefano Vissicchio, Laurent Vanbever
Publié dans: Proceedings of the ACM SIGCOMM 2023 Conference, 2025, Page(s) 77-93
Éditeur: ACM
DOI: 10.1145/3603269.3604855

Causality Analysis in Control Plane Verification

Auteurs: Yu Chen; Tibor Schneider; Laurent Vanbever
Publié dans: ACM CoNEXT Student Workshop, Numéro Yearly, 2023
Éditeur: ACM
DOI: 10.1145/3630202.3630237

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

Auteurs: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Publié dans: ACM HotNets, Numéro Yearly, 2022
Éditeur: ACM
DOI: 10.1145/3563766.3564084

Probabilistic Routing Algebras for QoS Routing

Auteurs: Jean Mégret, Tibor Schneider, Laurent Vanbever
Publié dans: Proceedings of the ACM SIGCOMM 2025 Posters and Demos, 2025, Page(s) 85-87
Éditeur: ACM
DOI: 10.1145/3744969.3748432

Guided Exploration of Control-Plane Routing States

Auteurs: Tibor Schneider, Jean Mégret, Laurent Vanbever
Publié dans: 2025 IEEE 33rd International Conference on Network Protocols (ICNP), 2025, Page(s) 1-12
Éditeur: IEEE
DOI: 10.1109/icnp65844.2025.11192328

Metha: Network Verifiers Need To Be Correct Too!

Auteurs: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Publié dans: USENIX NSDI, Numéro Yearly, 2021
Éditeur: USENIX Association
DOI: 10.3929/ethz-b-000491509

On the Complexity of Network-Wide Configuration Synthesis

Auteurs: Tibor Schneider; Roland Schmid; Laurent Vanbever
Publié dans: IEEE International Conference on Network Protocols, Numéro Yearly, 2022
Éditeur: IEEE
DOI: 10.1109/icnp55882.2022.9940325

Peer reviewed articles (1)

Transient Forwarding Anomalies and How to Find Them

Auteurs: Schmid, Roland; id_orcid0000-0002-3278-4220; Schneider, Tibor; id_orcid0000-0003-2858-9120; Fragkouli, Georgia; Vanbever, Laurent
Publié dans: Proceedings of the ACM on Networking, 3 (CoNEXT2), 2025, ISSN 2834-5509
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.3929/ethz-b-000747785