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

Información del proyecto

SyNET

Identificador del acuerdo de subvención: 851809

DOI

10.3030/851809

Proyecto cerrado

Fecha de la firma de la CE 18 Septiembre 2019

Fecha de inicio 1 Noviembre 2019

Fecha de finalización 31 Octubre 2025

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 500 000,00

Aportación de la UE

€ 1 500 000,00

Coordinado por

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (10)

Verifying maximum link loads in a changing world

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

Snowcap: Synthesizing Network-Wide Configuration Updates

Autores: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Publicado en: ACM SIGCOMM, Edición Yearly, 2021
Editor: ACM
DOI: 10.1145/3452296.3472915

Predicting Specification Violations During BGP Convergence

Autores: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Publicado en: ACM CoNEXT Student Workshop, Edición Yearly, 2023
Editor: ACM
DOI: 10.1145/3630202.3630235

Taming the transient while reconfiguring BGP

Autores: Tibor Schneider, Roland Schmid, Stefano Vissicchio, Laurent Vanbever
Publicado en: Proceedings of the ACM SIGCOMM 2023 Conference, 2025, Página(s) 77-93
Editor: ACM
DOI: 10.1145/3603269.3604855

Causality Analysis in Control Plane Verification

Autores: Yu Chen; Tibor Schneider; Laurent Vanbever
Publicado en: ACM CoNEXT Student Workshop, Edición Yearly, 2023
Editor: ACM
DOI: 10.1145/3630202.3630237

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

Autores: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Publicado en: ACM HotNets, Edición Yearly, 2022
Editor: ACM
DOI: 10.1145/3563766.3564084

Probabilistic Routing Algebras for QoS Routing

Autores: Jean Mégret, Tibor Schneider, Laurent Vanbever
Publicado en: Proceedings of the ACM SIGCOMM 2025 Posters and Demos, 2025, Página(s) 85-87
Editor: ACM
DOI: 10.1145/3744969.3748432

Guided Exploration of Control-Plane Routing States

Autores: Tibor Schneider, Jean Mégret, Laurent Vanbever
Publicado en: 2025 IEEE 33rd International Conference on Network Protocols (ICNP), 2025, Página(s) 1-12
Editor: IEEE
DOI: 10.1109/icnp65844.2025.11192328

Metha: Network Verifiers Need To Be Correct Too!

Autores: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Publicado en: USENIX NSDI, Edición Yearly, 2021
Editor: USENIX Association
DOI: 10.3929/ethz-b-000491509

On the Complexity of Network-Wide Configuration Synthesis

Autores: Tibor Schneider; Roland Schmid; Laurent Vanbever
Publicado en: IEEE International Conference on Network Protocols, Edición Yearly, 2022
Editor: IEEE
DOI: 10.1109/icnp55882.2022.9940325

Peer reviewed articles (1)

Transient Forwarding Anomalies and How to Find Them

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