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

Project Information

SyNET

Grant agreement ID: 851809

DOI

10.3030/851809

Project closed

EC signature date 18 September 2019

Start date 1 November 2019

End date 31 October 2025

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 500 000,00

EU contribution

€ 1 500 000,00

Coordinated by

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

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

Conference proceedings (10)

Verifying maximum link loads in a changing world

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

Snowcap: Synthesizing Network-Wide Configuration Updates

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

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

Taming the transient while reconfiguring BGP

Author(s): Tibor Schneider, Roland Schmid, Stefano Vissicchio, Laurent Vanbever
Published in: Proceedings of the ACM SIGCOMM 2023 Conference, 2025, Page(s) 77-93
Publisher: ACM
DOI: 10.1145/3603269.3604855

Causality Analysis in Control Plane Verification

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

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

Probabilistic Routing Algebras for QoS Routing

Author(s): Jean Mégret, Tibor Schneider, Laurent Vanbever
Published in: Proceedings of the ACM SIGCOMM 2025 Posters and Demos, 2025, Page(s) 85-87
Publisher: ACM
DOI: 10.1145/3744969.3748432

Guided Exploration of Control-Plane Routing States

Author(s): Tibor Schneider, Jean Mégret, Laurent Vanbever
Published in: 2025 IEEE 33rd International Conference on Network Protocols (ICNP), 2025, Page(s) 1-12
Publisher: IEEE
DOI: 10.1109/icnp65844.2025.11192328

Metha: Network Verifiers Need To Be Correct Too!

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

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

Peer reviewed articles (1)

Transient Forwarding Anomalies and How to Find Them

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