Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

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

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

Verifying maximum link loads in a changing world (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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! (opens in new window)

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 (opens in new window)

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

Transient Forwarding Anomalies and How to Find Them (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0